From 302cf1ab0a7f10463e5d48168f6f5c5a106238d5 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 22 Apr 2024 13:46:25 +0000 Subject: [PATCH 1/2] Bump the github-actions-deps group with 11 updates Bumps the github-actions-deps group with 11 updates: | Package | From | To | | --- | --- | --- | | [actions/github-script](https://github.com/actions/github-script) | `6` | `7` | | [peter-evans/find-comment](https://github.com/peter-evans/find-comment) | `2` | `3` | | [peter-evans/create-or-update-comment](https://github.com/peter-evans/create-or-update-comment) | `2` | `4` | | [actions/checkout](https://github.com/actions/checkout) | `3` | `4` | | [JetBrains/qodana-action](https://github.com/jetbrains/qodana-action) | `2022.3.0` | `2023.3.2` | | [github/codeql-action](https://github.com/github/codeql-action) | `2` | `3` | | [actions/setup-java](https://github.com/actions/setup-java) | `3` | `4` | | [gradle/gradle-build-action](https://github.com/gradle/gradle-build-action) | `2` | `3` | | [actions/upload-artifact](https://github.com/actions/upload-artifact) | `2` | `4` | | [codecov/codecov-action](https://github.com/codecov/codecov-action) | `3` | `4` | | [actions/cache](https://github.com/actions/cache) | `3` | `4` | Updates `actions/github-script` from 6 to 7 - [Release notes](https://github.com/actions/github-script/releases) - [Commits](https://github.com/actions/github-script/compare/v6...v7) Updates `peter-evans/find-comment` from 2 to 3 - [Release notes](https://github.com/peter-evans/find-comment/releases) - [Commits](https://github.com/peter-evans/find-comment/compare/v2...v3) Updates `peter-evans/create-or-update-comment` from 2 to 4 - [Release notes](https://github.com/peter-evans/create-or-update-comment/releases) - [Commits](https://github.com/peter-evans/create-or-update-comment/compare/v2...v4) Updates `actions/checkout` from 3 to 4 - [Release notes](https://github.com/actions/checkout/releases) - [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md) - [Commits](https://github.com/actions/checkout/compare/v3...v4) Updates `JetBrains/qodana-action` from 2022.3.0 to 2023.3.2 - [Release notes](https://github.com/jetbrains/qodana-action/releases) - [Commits](https://github.com/jetbrains/qodana-action/compare/v2022.3.0...v2023.3.2) Updates `github/codeql-action` from 2 to 3 - [Release notes](https://github.com/github/codeql-action/releases) - [Changelog](https://github.com/github/codeql-action/blob/main/CHANGELOG.md) - [Commits](https://github.com/github/codeql-action/compare/v2...v3) Updates `actions/setup-java` from 3 to 4 - [Release notes](https://github.com/actions/setup-java/releases) - [Commits](https://github.com/actions/setup-java/compare/v3...v4) Updates `gradle/gradle-build-action` from 2 to 3 - [Release notes](https://github.com/gradle/gradle-build-action/releases) - [Commits](https://github.com/gradle/gradle-build-action/compare/v2...v3) Updates `actions/upload-artifact` from 2 to 4 - [Release notes](https://github.com/actions/upload-artifact/releases) - [Commits](https://github.com/actions/upload-artifact/compare/v2...v4) Updates `codecov/codecov-action` from 3 to 4 - [Release notes](https://github.com/codecov/codecov-action/releases) - [Changelog](https://github.com/codecov/codecov-action/blob/main/CHANGELOG.md) - [Commits](https://github.com/codecov/codecov-action/compare/v3...v4) Updates `actions/cache` from 3 to 4 - [Release notes](https://github.com/actions/cache/releases) - [Changelog](https://github.com/actions/cache/blob/main/RELEASES.md) - [Commits](https://github.com/actions/cache/compare/v3...v4) --- updated-dependencies: - dependency-name: actions/github-script dependency-type: direct:production update-type: version-update:semver-major dependency-group: github-actions-deps - dependency-name: peter-evans/find-comment dependency-type: direct:production update-type: version-update:semver-major dependency-group: github-actions-deps - dependency-name: peter-evans/create-or-update-comment dependency-type: direct:production update-type: version-update:semver-major dependency-group: github-actions-deps - dependency-name: actions/checkout dependency-type: direct:production update-type: version-update:semver-major dependency-group: github-actions-deps - dependency-name: JetBrains/qodana-action dependency-type: direct:production update-type: version-update:semver-major dependency-group: github-actions-deps - dependency-name: github/codeql-action dependency-type: direct:production update-type: version-update:semver-major dependency-group: github-actions-deps - dependency-name: actions/setup-java dependency-type: direct:production update-type: version-update:semver-major dependency-group: github-actions-deps - dependency-name: gradle/gradle-build-action dependency-type: direct:production update-type: version-update:semver-major dependency-group: github-actions-deps - dependency-name: actions/upload-artifact dependency-type: direct:production update-type: version-update:semver-major dependency-group: github-actions-deps - dependency-name: codecov/codecov-action dependency-type: direct:production update-type: version-update:semver-major dependency-group: github-actions-deps - dependency-name: actions/cache dependency-type: direct:production update-type: version-update:semver-major dependency-group: github-actions-deps ... Signed-off-by: dependabot[bot] --- .github/workflows/artiweb.yml | 8 +++--- .github/workflows/code_quality.yml | 32 ++++++++++----------- .github/workflows/codeql.yml | 8 +++--- .github/workflows/gradle-publish.yml | 8 +++--- .github/workflows/javadoc.yml | 8 +++--- .github/workflows/nightlydeploy.yml | 6 ++-- .github/workflows/opttest.yml | 8 +++--- .github/workflows/tests.yml | 24 ++++++++-------- .github/workflows/tests_winmac.yml | 18 ++++++------ .github/workflows/update_symbex_oracles.yml | 6 ++-- 10 files changed, 63 insertions(+), 63 deletions(-) diff --git a/.github/workflows/artiweb.yml b/.github/workflows/artiweb.yml index f4c6930722b..ca963363cf0 100644 --- a/.github/workflows/artiweb.yml +++ b/.github/workflows/artiweb.yml @@ -13,7 +13,7 @@ jobs: steps: - name: 'Download artifact' id: da - uses: actions/github-script@v6 + uses: actions/github-script@v7 with: script: | if (context.payload.workflow_run === undefined) { @@ -57,7 +57,7 @@ jobs: - name: 'Read pr number' id: rpn - uses: actions/github-script@v6 + uses: actions/github-script@v7 with: github-token: ${{ secrets.GITHUB_TOKEN }} script: | @@ -67,7 +67,7 @@ jobs: core.setOutput("pr-number", issue_number_text === "" ? "" : Number(issue_number_text)); - name: Find Comment if: ${{ steps.rpn.outputs.pr-number != '' }} - uses: peter-evans/find-comment@v2 + uses: peter-evans/find-comment@v3 id: fc with: issue-number: ${{ steps.rpn.outputs.pr-number }} @@ -76,7 +76,7 @@ jobs: - name: Create or update comment if: ${{ steps.rpn.outputs.pr-number != '' }} - uses: peter-evans/create-or-update-comment@v2 + uses: peter-evans/create-or-update-comment@v4 with: comment-id: ${{ steps.fc.outputs.comment-id }} issue-number: ${{ steps.rpn.outputs.pr-number }} diff --git a/.github/workflows/code_quality.yml b/.github/workflows/code_quality.yml index 367732dfae3..3d153e81f60 100644 --- a/.github/workflows/code_quality.yml +++ b/.github/workflows/code_quality.yml @@ -28,13 +28,13 @@ jobs: qodana: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 with: fetch-depth: 0 - name: 'Qodana Scan' - uses: JetBrains/qodana-action@v2022.3.0 + uses: JetBrains/qodana-action@v2023.3.2 - - uses: github/codeql-action/upload-sarif@v2 + - uses: github/codeql-action/upload-sarif@v3 if: success() || failure() with: sarif_file: ${{ runner.temp }}/qodana/results/qodana.sarif.json @@ -42,21 +42,21 @@ jobs: formatting: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v3 - - uses: actions/setup-java@v3 + - uses: actions/checkout@v4 + - uses: actions/setup-java@v4 with: distribution: 'corretto' java-version: '21' cache: 'gradle' - name: Build with Gradle - uses: gradle/gradle-build-action@v2.4.2 + uses: gradle/gradle-build-action@v3 with: arguments: --continue spotlessCheck # checkstyle: # runs-on: ubuntu-latest # steps: - # - uses: actions/checkout@v3 + # - uses: actions/checkout@v4 # with: # fetch-depth: 0 # - run: scripts/tools/checkstyle/runIncrementalCheckstyle.sh --xml | tee report.xml @@ -65,7 +65,7 @@ jobs: # -v "CHECKSTYLE" "." ".*/report.xml$" "Checkstyle" \ # -diff-to $(git merge-base HEAD origin/main) -pv false - # - uses: github/codeql-action/upload-sarif@v2 + # - uses: github/codeql-action/upload-sarif@v3 # if: success() || failure() # with: # sarif_file: sarif-report.json @@ -74,15 +74,15 @@ jobs: checkstyle_new: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v3 - - uses: actions/setup-java@v3 + - uses: actions/checkout@v4 + - uses: actions/setup-java@v4 with: distribution: 'corretto' java-version: '21' cache: 'gradle' - name: Build with Gradle - uses: gradle/gradle-build-action@v2.4.2 + uses: gradle/gradle-build-action@v3 with: arguments: --continue checkstyleMainChanged - run: | @@ -94,7 +94,7 @@ jobs: # $(git merge-base HEAD origin/main) - - uses: github/codeql-action/upload-sarif@v2 + - uses: github/codeql-action/upload-sarif@v3 if: success() || failure() with: sarif_file: sarif-report.json @@ -102,14 +102,14 @@ jobs: pmd: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v3 - - uses: actions/setup-java@v3 + - uses: actions/checkout@v4 + - uses: actions/setup-java@v4 with: distribution: 'corretto' java-version: '21' cache: 'gradle' - name: Build with Gradle - uses: gradle/gradle-build-action@v2.4.2 + uses: gradle/gradle-build-action@v3 with: arguments: --continue pmdMainChanged @@ -121,6 +121,6 @@ jobs: # -diff-from $(git merge-base HEAD origin/main) - name: Upload SARIF file - uses: github/codeql-action/upload-sarif@v2 + uses: github/codeql-action/upload-sarif@v3 with: sarif_file: pmd-report.json diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index ae93906d0fc..efdedd8caf2 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -27,17 +27,17 @@ jobs: steps: - name: Checkout repository - uses: actions/checkout@v3 + uses: actions/checkout@v4 - name: Initialize CodeQL - uses: github/codeql-action/init@v2 + uses: github/codeql-action/init@v3 with: languages: ${{ matrix.language }} - name: Autobuild - uses: github/codeql-action/autobuild@v2 + uses: github/codeql-action/autobuild@v3 - name: Perform CodeQL Analysis - uses: github/codeql-action/analyze@v2 + uses: github/codeql-action/analyze@v3 with: category: "/language:${{matrix.language}}" diff --git a/.github/workflows/gradle-publish.yml b/.github/workflows/gradle-publish.yml index 3a605988eb2..5c4008dd815 100644 --- a/.github/workflows/gradle-publish.yml +++ b/.github/workflows/gradle-publish.yml @@ -12,9 +12,9 @@ jobs: packages: write steps: - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 - name: Set up JDK 21 - uses: actions/setup-java@v3 + uses: actions/setup-java@v4 with: java-version: '21' distribution: 'corretto' @@ -22,14 +22,14 @@ jobs: server-id: github # Value of the distributionManagement/repository/id field of the pom.xml - name: Assemble with Gradle - uses: gradle/gradle-build-action@v2.4.2 + uses: gradle/gradle-build-action@v3 with: arguments: 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/gradle-build-action@v2.4.2 + uses: gradle/gradle-build-action@v3 with: arguments: publish env: diff --git a/.github/workflows/javadoc.yml b/.github/workflows/javadoc.yml index 9497dda5e71..3589f6623bb 100644 --- a/.github/workflows/javadoc.yml +++ b/.github/workflows/javadoc.yml @@ -8,19 +8,19 @@ jobs: doc: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 - run: ls -ld - run: ls -lh 'gradle' - name: Set up JDK 21 - uses: actions/setup-java@v3 + uses: actions/setup-java@v4 with: java-version: '21' distribution: 'corretto' cache: 'gradle' - name: Build with Gradle - uses: gradle/gradle-build-action@v2.4.2 + uses: gradle/gradle-build-action@v3 with: arguments: alldoc @@ -28,7 +28,7 @@ jobs: run: tar cvfj javadoc.tar.bz2 build/docs/javadoc - name: Upload Javadoc - uses: actions/upload-artifact@v2 + uses: actions/upload-artifact@v4 with: name: javadoc path: "javadoc.tar.bz2" diff --git a/.github/workflows/nightlydeploy.yml b/.github/workflows/nightlydeploy.yml index 47b93efb6be..30efa50cfc4 100644 --- a/.github/workflows/nightlydeploy.yml +++ b/.github/workflows/nightlydeploy.yml @@ -23,15 +23,15 @@ jobs: # ignorePreReleases: true # fetchReviewers: true - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 - name: Set up JDK 17 - uses: actions/setup-java@v3 + uses: actions/setup-java@v4 with: java-version: 17 distribution: 'temurin' - name: Build with Gradle - uses: gradle/gradle-build-action@v2.4.2 + uses: gradle/gradle-build-action@v3 with: arguments: --parallel assemble diff --git a/.github/workflows/opttest.yml b/.github/workflows/opttest.yml index cfe001315de..652245f67ac 100644 --- a/.github/workflows/opttest.yml +++ b/.github/workflows/opttest.yml @@ -16,21 +16,21 @@ jobs: tests: [":key.core.proof_references:test", ":key.core.symbolic_execution:test"] runs-on: ${{matrix.os}} steps: - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 - name: Set up JDK ${{matrix.java}} - uses: actions/setup-java@v3 + uses: actions/setup-java@v4 with: java-version: ${{matrix.java}} distribution: 'corretto' cache: 'gradle' - name: Build with Gradle - uses: gradle/gradle-build-action@v2.4.2 + uses: gradle/gradle-build-action@v3 with: arguments: --continue ${{ matrix.tests }} - name: Upload test results - uses: actions/upload-artifact@v3.1.1 + uses: actions/upload-artifact@v4 if: success() || failure() with: name: test-results diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index bcab9f29453..28109d4b7c2 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -30,7 +30,7 @@ jobs: GH_TOKEN: ${{ github.token }} steps: - name: Save PR number - uses: actions/github-script@v6 + uses: actions/github-script@v7 with: script: | const fs = require('fs'); @@ -41,25 +41,25 @@ jobs: const text = number === undefined ? "" : String(number); core.info("Pr number is " + number + ", writing \"" + text + "\""); fs.writeFileSync("./pr/pr_number", text); - - uses: actions/upload-artifact@v3 + - uses: actions/upload-artifact@v4 with: name: pr-number path: pr/ - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 - name: Set up JDK 21 - uses: actions/setup-java@v3 + uses: actions/setup-java@v4 with: java-version: ${{ matrix.java }} distribution: 'corretto' cache: 'gradle' - name: Build with Gradle - uses: gradle/gradle-build-action@v2.4.2 + uses: gradle/gradle-build-action@v3 with: arguments: --continue -DjacocoEnabled=true -x :key.core.symbolic_execution:test -x :key.core.proof_references:test test - name: Upload test results - uses: actions/upload-artifact@v3.1.1 + uses: actions/upload-artifact@v4 if: success() || failure() with: name: test-results @@ -70,7 +70,7 @@ jobs: - name: Upload coverage reports to Codecov - uses: codecov/codecov-action@v3 + uses: codecov/codecov-action@v4 integration-tests: env: @@ -84,9 +84,9 @@ jobs: java: [21] runs-on: ${{ matrix.os }} steps: - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 - name: Set up JDK 21 - uses: actions/setup-java@v3 + uses: actions/setup-java@v4 with: java-version: ${{ matrix.java }} distribution: 'corretto' @@ -94,7 +94,7 @@ jobs: - name: Cache SMT-Solvers id: smt-solvers - uses: actions/cache@v3 + uses: actions/cache@v4 with: path: smt-solvers key: ${{ runner.os }}-smt-solvers @@ -105,12 +105,12 @@ jobs: - name: "Running tests: ${{ matrix.test }}" - uses: gradle/gradle-build-action@v2.4.2 + uses: gradle/gradle-build-action@v3 with: arguments: --continue ${{ matrix.test }} - name: Upload test results - uses: actions/upload-artifact@v3.1.1 + uses: actions/upload-artifact@v4 if: success() || failure() # run this step even if previous step failed with: name: test-results diff --git a/.github/workflows/tests_winmac.yml b/.github/workflows/tests_winmac.yml index 0b24edd9680..1d99186c723 100644 --- a/.github/workflows/tests_winmac.yml +++ b/.github/workflows/tests_winmac.yml @@ -20,21 +20,21 @@ jobs: env: GH_TOKEN: ${{ github.token }} steps: - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 - name: Set up JDK ${{matrix.java}} - uses: actions/setup-java@v3 + uses: actions/setup-java@v4 with: java-version: ${{ matrix.java }} distribution: 'corretto' cache: 'gradle' - name: Build with Gradle - uses: gradle/gradle-build-action@v2.4.2 + uses: gradle/gradle-build-action@v3 with: arguments: --continue -x :key.core.symbolic_execution:test -x :key.core.proof_references:test test - name: Upload test results - uses: actions/upload-artifact@v3.1.1 + uses: actions/upload-artifact@v4 if: success() || failure() with: name: test-results-${{ matrix.os }} @@ -56,9 +56,9 @@ jobs: java: [21] runs-on: ${{ matrix.os }} steps: - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 - name: Set up JDK 21 - uses: actions/setup-java@v3 + uses: actions/setup-java@v4 with: java-version: ${{ matrix.java }} distribution: 'corretto' @@ -66,7 +66,7 @@ jobs: - name: Cache SMT-Solvers id: smt-solvers - uses: actions/cache@v3 + uses: actions/cache@v4 with: path: smt-solvers key: ${{ runner.os }}-smt-solvers @@ -75,12 +75,12 @@ jobs: run: .github/dlsmt.sh - name: "Running tests: ${{ matrix.test }}" - uses: gradle/gradle-build-action@v2.4.2 + uses: gradle/gradle-build-action@v3 with: arguments: --continue ${{ matrix.test }} - name: Upload test results - uses: actions/upload-artifact@v3.1.1 + uses: actions/upload-artifact@v4 if: success() || failure() # run this step even if previous step failed with: name: test-results-${{ matrix.os }} diff --git a/.github/workflows/update_symbex_oracles.yml b/.github/workflows/update_symbex_oracles.yml index 3932b305972..405127c3c27 100644 --- a/.github/workflows/update_symbex_oracles.yml +++ b/.github/workflows/update_symbex_oracles.yml @@ -16,16 +16,16 @@ jobs: runs-on: ubuntu-latest continue-on-error: true steps: - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 - name: Set up JDK 21 - uses: actions/setup-java@v3 + uses: actions/setup-java@v4 with: java-version: '21' distribution: 'corretto' cache: 'gradle' - name: Build with Gradle - uses: gradle/gradle-build-action@v2 + uses: gradle/gradle-build-action@v3 with: arguments: --continue -D UPDATE_TEST_ORACLE=true -D ORACLE_DIRECTORY=key.core.symbolic_execution/src/test/resources/testcase :key.core.symbolic_execution:test From e7ba654c6122ce683ad3f5b8e32d4c6e0986b3a9 Mon Sep 17 00:00:00 2001 From: Alexander Weigl Date: Sun, 28 Apr 2024 13:43:58 +0000 Subject: [PATCH 2/2] fixing double artifact upload, forbidden in new version --- .../update_symbex_oracles.yml | 0 .github/workflows/nightlydeploy.yml | 5 ++-- .github/workflows/opttest.yml | 2 +- .github/workflows/tests.yml | 23 +++---------------- 4 files changed, 6 insertions(+), 24 deletions(-) rename .github/{workflows => old_workflows}/update_symbex_oracles.yml (100%) diff --git a/.github/workflows/update_symbex_oracles.yml b/.github/old_workflows/update_symbex_oracles.yml similarity index 100% rename from .github/workflows/update_symbex_oracles.yml rename to .github/old_workflows/update_symbex_oracles.yml diff --git a/.github/workflows/nightlydeploy.yml b/.github/workflows/nightlydeploy.yml index 30efa50cfc4..649ffd635a5 100644 --- a/.github/workflows/nightlydeploy.yml +++ b/.github/workflows/nightlydeploy.yml @@ -40,14 +40,13 @@ jobs: env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} run: | - gh release delete nightly - + gh release delete nightly --yes --cleanup-tag - name: Create nightly release id: create_release env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - run: | + run: | gh release create --generate-notes --title "Nightly Release" \ --prerelease \ nightly key.ui/build/libs/key-*-exe.jar diff --git a/.github/workflows/opttest.yml b/.github/workflows/opttest.yml index 652245f67ac..bdc29f02f3d 100644 --- a/.github/workflows/opttest.yml +++ b/.github/workflows/opttest.yml @@ -33,7 +33,7 @@ jobs: uses: actions/upload-artifact@v4 if: success() || failure() with: - name: test-results + name: test-results-${{ matrix.tests }} path: | **/build/test-results/*/*.xml **/build/reports/ diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index 28109d4b7c2..0ac6a704ccb 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -29,22 +29,6 @@ jobs: env: GH_TOKEN: ${{ github.token }} steps: - - name: Save PR number - uses: actions/github-script@v7 - with: - script: | - const fs = require('fs'); - const util = require('util'); - fs.mkdirSync("./pr", { recursive: true }); - const payload = context.payload; - const number = (payload.issue || payload.pull_request || payload).number; - const text = number === undefined ? "" : String(number); - core.info("Pr number is " + number + ", writing \"" + text + "\""); - fs.writeFileSync("./pr/pr_number", text); - - uses: actions/upload-artifact@v4 - with: - name: pr-number - path: pr/ - uses: actions/checkout@v4 - name: Set up JDK 21 uses: actions/setup-java@v4 @@ -62,13 +46,12 @@ jobs: uses: actions/upload-artifact@v4 if: success() || failure() with: - name: test-results + name: test-results-${{ matrix.os }} path: | **/build/test-results/*/*.xml **/build/reports/ !**/jacocoTestReport.xml - - + - name: Upload coverage reports to Codecov uses: codecov/codecov-action@v4 @@ -113,7 +96,7 @@ jobs: uses: actions/upload-artifact@v4 if: success() || failure() # run this step even if previous step failed with: - name: test-results + name: test-results-${{ matrix.test }} path: | **/build/test-results/*/*.xml key.core/build/reports/runallproofs/*