forked from KeYProject/key
-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
change gradle github action to new syntax
- Loading branch information
Showing
7 changed files
with
45 additions
and
49 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -19,10 +19,10 @@ jobs: | |
java-version: 21 | ||
distribution: 'corretto' | ||
cache: 'gradle' | ||
- name: Setup Gradle | ||
uses: gradle/actions/[email protected] | ||
- name: Build with Gradle | ||
uses: gradle/[email protected] | ||
with: | ||
arguments: -DENABLE_NULLNESS=true compileTest | ||
run: ./gradlew -DENABLE_NULLNESS=true compileTest | ||
|
||
|
||
qodana: | ||
|
@@ -48,10 +48,10 @@ jobs: | |
distribution: 'corretto' | ||
java-version: '21' | ||
cache: 'gradle' | ||
- name: Build with Gradle | ||
uses: gradle/gradle-build-action@v3.3.2 | ||
with: | ||
arguments: --continue spotlessCheck | ||
- name: Setup Gradle | ||
uses: gradle/actions/setup-gradle@v3.3.2 | ||
- name: SpotlessCheck | ||
run: ./gradlew --continue spotlessCheck | ||
|
||
# checkstyle: | ||
# runs-on: ubuntu-latest | ||
|
@@ -80,11 +80,10 @@ jobs: | |
distribution: 'corretto' | ||
java-version: '21' | ||
cache: 'gradle' | ||
|
||
- name: Build with Gradle | ||
uses: gradle/[email protected] | ||
with: | ||
arguments: --continue checkstyleMainChanged | ||
- name: Setup Gradle | ||
uses: gradle/actions/[email protected] | ||
- name: Checkstyle | ||
run: ./gradlew --continue checkstyleMainChanged | ||
- run: | | ||
npx violations-command-line -sarif sarif-report.json \ | ||
-v "CHECKSTYLE" "." ".*/build/reports/checkstyle/main_diff.xml$" "Checkstyle" | ||
|
@@ -108,10 +107,10 @@ jobs: | |
distribution: 'corretto' | ||
java-version: '21' | ||
cache: 'gradle' | ||
- name: Build with Gradle | ||
uses: gradle/gradle-build-action@v3.3.2 | ||
with: | ||
arguments: --continue pmdMainChanged | ||
- name: Setup Gradle | ||
uses: gradle/actions/setup-gradle@v3.3.2 | ||
- name: PMD checks | ||
run: ./gradlew --continue pmdMainChanged | ||
|
||
# - run: python3 ./.github/printAnnotations.py */build/reports/pmd/main.xml | ||
|
||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -21,17 +21,15 @@ jobs: | |
cache: 'gradle' | ||
server-id: github # Value of the distributionManagement/repository/id field of the pom.xml | ||
|
||
- name: Setup Gradle | ||
uses: gradle/actions/[email protected] | ||
- name: Assemble with Gradle | ||
uses: gradle/[email protected] | ||
with: | ||
arguments: assemble | ||
run: ./gradlew assemble | ||
|
||
# The USERNAME and TOKEN need to correspond to the credentials environment variables used in | ||
# the publishing section of your build.gradle | ||
- name: Publish to GitHub Packages | ||
uses: gradle/[email protected] | ||
with: | ||
arguments: publish | ||
run: ./gradlew publish | ||
env: | ||
USERNAME: ${{ github.actor }} | ||
TOKEN: ${{ secrets.GITHUB_TOKEN }} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -18,11 +18,10 @@ jobs: | |
java-version: '21' | ||
distribution: 'corretto' | ||
cache: 'gradle' | ||
|
||
- name: Build with Gradle | ||
uses: gradle/[email protected] | ||
with: | ||
arguments: alldoc | ||
- name: Setup Gradle | ||
uses: gradle/actions/[email protected] | ||
- name: Build Documentation with Gradle | ||
run: ./gradlew alldoc | ||
|
||
- name: Package | ||
run: tar cvfj javadoc.tar.bz2 build/docs/javadoc | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -30,10 +30,10 @@ jobs: | |
java-version: 17 | ||
distribution: 'temurin' | ||
|
||
- name: Setup Gradle | ||
uses: gradle/actions/[email protected] | ||
- name: Build with Gradle | ||
uses: gradle/[email protected] | ||
with: | ||
arguments: --parallel assemble | ||
run: ./gradlew --parallel assemble | ||
|
||
- name: Delete previous nightly release | ||
continue-on-error: true | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -37,10 +37,10 @@ jobs: | |
distribution: 'corretto' | ||
cache: 'gradle' | ||
|
||
- name: Build with Gradle | ||
uses: gradle/gradle-build-action@v3.3.2 | ||
with: | ||
arguments: --continue -DjacocoEnabled=true -x :key.core.symbolic_execution:test -x :key.core.proof_references:test test | ||
- name: Setup Gradle | ||
uses: gradle/actions/setup-gradle@v3.3.2 | ||
- name: Test with Gradle | ||
run: ./gradlew --continue -DjacocoEnabled=true -x :key.core.symbolic_execution:test -x :key.core.proof_references:test test | ||
|
||
- name: Upload test results | ||
uses: actions/upload-artifact@v4 | ||
|
@@ -86,11 +86,10 @@ jobs: | |
run: .github/dlsmt.sh | ||
shell: bash | ||
|
||
|
||
- name: Setup Gradle | ||
uses: gradle/actions/[email protected] | ||
- name: "Running tests: ${{ matrix.test }}" | ||
uses: gradle/[email protected] | ||
with: | ||
arguments: --continue ${{ matrix.test }} | ||
run: ./gradlew --continue ${{ matrix.test }} | ||
|
||
- name: Upload test results | ||
uses: actions/upload-artifact@v4 | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -28,10 +28,11 @@ jobs: | |
distribution: 'corretto' | ||
cache: 'gradle' | ||
|
||
- name: Build with Gradle | ||
uses: gradle/[email protected] | ||
with: | ||
arguments: --continue -x :key.core.symbolic_execution:test -x :key.core.proof_references:test test | ||
- name: Setup Gradle | ||
uses: | ||
gradle/actions/[email protected] | ||
- name: Test with Gradle | ||
run: ./gradlew --continue -x :key.core.symbolic_execution:test -x :key.core.proof_references:test test | ||
|
||
- name: Upload test results | ||
uses: actions/upload-artifact@v4 | ||
|
@@ -74,10 +75,10 @@ jobs: | |
- name: Install SMT-Solvers | ||
run: .github/dlsmt.sh | ||
|
||
- name: Setup Gradle | ||
uses: gradle/actions/[email protected] | ||
- name: "Running tests: ${{ matrix.test }}" | ||
uses: gradle/[email protected] | ||
with: | ||
arguments: --continue ${{ matrix.test }} | ||
run: ./gradlew --continue ${{ matrix.test }} | ||
|
||
- name: Upload test results | ||
uses: actions/upload-artifact@v4 | ||
|