File tree Expand file tree Collapse file tree 7 files changed +13
-13
lines changed
Expand file tree Collapse file tree 7 files changed +13
-13
lines changed Original file line number Diff line number Diff line change 2020 distribution : ' corretto'
2121 cache : ' gradle'
2222 - name : Setup Gradle
23- uses : gradle/actions/setup-gradle@v4.0.1
23+ uses : gradle/actions/setup-gradle@v4.1.0
2424 - name : Build with Gradle
2525 run : ./gradlew -DENABLE_NULLNESS=true compileTest
2626
3232 with :
3333 fetch-depth : 0
3434 - name : ' Qodana Scan'
35- uses : JetBrains/qodana-action@v2024.1.9
35+ uses : JetBrains/qodana-action@v2024.2.3
3636
3737 - uses : github/codeql-action/upload-sarif@v3
3838 if : success() || failure()
4949 java-version : ' 21'
5050 cache : ' gradle'
5151 - name : Setup Gradle
52- uses : gradle/actions/setup-gradle@v4.0.1
52+ uses : gradle/actions/setup-gradle@v4.1.0
5353 - name : SpotlessCheck
5454 run : ./gradlew --continue spotlessCheck
5555
8181 java-version : ' 21'
8282 cache : ' gradle'
8383 - name : Setup Gradle
84- uses : gradle/actions/setup-gradle@v4.0.1
84+ uses : gradle/actions/setup-gradle@v4.1.0
8585 - name : Checkstyle
8686 run : ./gradlew --continue checkstyleMainChanged
8787 - run : |
@@ -108,7 +108,7 @@ jobs:
108108 java-version : ' 21'
109109 cache : ' gradle'
110110 - name : Setup Gradle
111- uses : gradle/actions/setup-gradle@v4.0.1
111+ uses : gradle/actions/setup-gradle@v4.1.0
112112 - name : PMD checks
113113 run : ./gradlew --continue pmdMainChanged
114114
Original file line number Diff line number Diff line change 2222 server-id : github # Value of the distributionManagement/repository/id field of the pom.xml
2323
2424 - name : Setup Gradle
25- uses : gradle/actions/setup-gradle@v4.0.1
25+ uses : gradle/actions/setup-gradle@v4.1.0
2626 - name : Assemble with Gradle
2727 run : ./gradlew assemble
2828
Original file line number Diff line number Diff line change 1919 distribution : ' corretto'
2020 cache : ' gradle'
2121 - name : Setup Gradle
22- uses : gradle/actions/setup-gradle@v4.0.1
22+ uses : gradle/actions/setup-gradle@v4.1.0
2323 - name : Build Documentation with Gradle
2424 run : ./gradlew alldoc
2525
Original file line number Diff line number Diff line change 3131 distribution : ' temurin'
3232
3333 - name : Setup Gradle
34- uses : gradle/actions/setup-gradle@v4.0.1
34+ uses : gradle/actions/setup-gradle@v4.1.0
3535 - name : Build with Gradle
3636 run : ./gradlew --parallel assemble
3737
Original file line number Diff line number Diff line change 2525 cache : ' gradle'
2626
2727 - name : Setup Gradle
28- uses : gradle/actions/setup-gradle@v4.0.1
28+ uses : gradle/actions/setup-gradle@v4.1.0
2929 - name : Test with Gradle
3030 run : ./gradlew --continue ${{ matrix.tests }}
3131
Original file line number Diff line number Diff line change 3838 cache : ' gradle'
3939
4040 - name : Setup Gradle
41- uses : gradle/actions/setup-gradle@v4.0.1
41+ uses : gradle/actions/setup-gradle@v4.1.0
4242 - name : Test with Gradle
4343 run : ./gradlew --continue -DjacocoEnabled=true -x :key.core.symbolic_execution:test -x :key.core.proof_references:test test
4444
8787 shell : bash
8888
8989 - name : Setup Gradle
90- uses : gradle/actions/setup-gradle@v4.0.1
90+ uses : gradle/actions/setup-gradle@v4.1.0
9191 - name : " Running tests: ${{ matrix.test }}"
9292 run : ./gradlew --continue ${{ matrix.test }}
9393
Original file line number Diff line number Diff line change 3030
3131 - name : Setup Gradle
3232 uses :
33- gradle/actions/setup-gradle@v4.0.1
33+ gradle/actions/setup-gradle@v4.1.0
3434 - name : Test with Gradle
3535 run : ./gradlew --continue -x :key.core.symbolic_execution:test -x :key.core.proof_references:test test
3636
7676 run : .github/dlsmt.sh
7777
7878 - name : Setup Gradle
79- uses : gradle/actions/setup-gradle@v4.0.1
79+ uses : gradle/actions/setup-gradle@v4.1.0
8080 - name : " Running tests: ${{ matrix.test }}"
8181 run : ./gradlew --continue ${{ matrix.test }}
8282
You can’t perform that action at this time.
0 commit comments