From e2fedf30185f3cbd281b951a80bad73b7613d920 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Thu, 2 Apr 2026 01:28:00 +0000 Subject: [PATCH] Bump the github-actions-deps group with 3 updates Bumps the github-actions-deps group with 3 updates: [gradle/actions](https://github.com/gradle/actions), [actions/upload-artifact](https://github.com/actions/upload-artifact) and [codecov/codecov-action](https://github.com/codecov/codecov-action). Updates `gradle/actions` from 5 to 6 - [Release notes](https://github.com/gradle/actions/releases) - [Commits](https://github.com/gradle/actions/compare/v5...v6) Updates `actions/upload-artifact` from 6 to 7 - [Release notes](https://github.com/actions/upload-artifact/releases) - [Commits](https://github.com/actions/upload-artifact/compare/v6...v7) Updates `codecov/codecov-action` from 5 to 6 - [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/v5...v6) --- updated-dependencies: - dependency-name: gradle/actions dependency-version: '6' dependency-type: direct:production update-type: version-update:semver-major dependency-group: github-actions-deps - dependency-name: actions/upload-artifact dependency-version: '7' dependency-type: direct:production update-type: version-update:semver-major dependency-group: github-actions-deps - dependency-name: codecov/codecov-action dependency-version: '6' dependency-type: direct:production update-type: version-update:semver-major dependency-group: github-actions-deps ... Signed-off-by: dependabot[bot] --- .github/workflows/code_quality.yml | 2 +- .github/workflows/nightlydeploy.yml | 2 +- .github/workflows/opttest.yml | 2 +- .github/workflows/release-tests.yml | 12 ++++++------ .github/workflows/tests.yml | 6 +++--- 5 files changed, 12 insertions(+), 12 deletions(-) diff --git a/.github/workflows/code_quality.yml b/.github/workflows/code_quality.yml index c962aa4a212..f3e4db4d843 100644 --- a/.github/workflows/code_quality.yml +++ b/.github/workflows/code_quality.yml @@ -20,7 +20,7 @@ jobs: distribution: 'corretto' cache: 'gradle' - name: Setup Gradle - uses: gradle/actions/setup-gradle@v5 + uses: gradle/actions/setup-gradle@v6 - name: Build with Gradle run: ./gradlew -DENABLE_NULLNESS=true compileTest diff --git a/.github/workflows/nightlydeploy.yml b/.github/workflows/nightlydeploy.yml index efb1929ec15..d73e9a6dddd 100644 --- a/.github/workflows/nightlydeploy.yml +++ b/.github/workflows/nightlydeploy.yml @@ -28,7 +28,7 @@ jobs: gpg-passphrase: ${{ secrets.GPG_PASSPHRASE }} - name: Setup Gradle - uses: gradle/actions/setup-gradle@v5 + uses: gradle/actions/setup-gradle@v6 - name: Build with Gradle run: ./gradlew --parallel assemble javadoc alldoc diff --git a/.github/workflows/opttest.yml b/.github/workflows/opttest.yml index 51050b6da48..fe2fbb1c4aa 100644 --- a/.github/workflows/opttest.yml +++ b/.github/workflows/opttest.yml @@ -25,7 +25,7 @@ jobs: cache: 'gradle' - name: Setup Gradle - uses: gradle/actions/setup-gradle@v5 + uses: gradle/actions/setup-gradle@v6 - name: Test with Gradle run: ./gradlew --continue :key.core.${{ matrix.name }}:test diff --git a/.github/workflows/release-tests.yml b/.github/workflows/release-tests.yml index 8b354e32090..ddd25550f2e 100644 --- a/.github/workflows/release-tests.yml +++ b/.github/workflows/release-tests.yml @@ -44,7 +44,7 @@ jobs: - name: Setup Gradle uses: - gradle/actions/setup-gradle@v5 + gradle/actions/setup-gradle@v6 - name: Assemble run: ./gradlew --parallel assemble @@ -56,7 +56,7 @@ jobs: run: ./gradlew :key.core.symbolic_execution:test -x :key.core.proof_references:test - name: Upload test results - uses: actions/upload-artifact@v6 + uses: actions/upload-artifact@v7 if: success() || failure() with: name: unit-test-results-${{matrix.test}}-${{ matrix.os }}-${{ matrix.java }} @@ -96,13 +96,13 @@ jobs: z3Version: ${{ env.z3 }} - name: Setup Gradle - uses: gradle/actions/setup-gradle@v5 + uses: gradle/actions/setup-gradle@v6 - name: "Running tests: ${{ matrix.test }}" run: ./gradlew --continue ${{ matrix.test }} - name: Upload test results - uses: actions/upload-artifact@v6 + uses: actions/upload-artifact@v7 if: success() || failure() # run this step even if a previous step failed with: name: integration-test-results-${{matrix.test}}-${{ matrix.os }}-${{ matrix.java }} @@ -142,13 +142,13 @@ jobs: z3Version: ${{ matrix.z3 }} - name: Setup Gradle - uses: gradle/actions/setup-gradle@v5 + uses: gradle/actions/setup-gradle@v6 - name: "Running tests" run: ./gradlew :key.core:test --continue --tests 'de.uka.ilkd.key.smt.*' - name: Upload test results - uses: actions/upload-artifact@v6 + uses: actions/upload-artifact@v7 if: success() || failure() # run this step even if a previous step failed with: name: smt-test-results-${{matrix.test}}-${{ matrix.os }}-${{ matrix.java }}-${{matrix.z3}}-${{matrix.cvc5}} diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index c8523b23afc..b4a82762b75 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -55,7 +55,7 @@ jobs: cache: 'gradle' - name: Setup Gradle - uses: gradle/actions/setup-gradle@v5 + uses: gradle/actions/setup-gradle@v6 - name: Test with Gradle run: ./gradlew --continue -DjacocoEnabled=true :${{ matrix.modules }}:test @@ -71,7 +71,7 @@ jobs: !**/jacocoTestReport.xml - name: Upload coverage reports to Codecov - uses: codecov/codecov-action@v5 + uses: codecov/codecov-action@v6 integration-tests: env: @@ -97,7 +97,7 @@ jobs: uses: keyproject/setup-smt@v0 - name: Setup Gradle - uses: gradle/actions/setup-gradle@v5 + uses: gradle/actions/setup-gradle@v6 - name: "Running tests: ${{ matrix.test }}" run: ./gradlew --continue ${{ matrix.test }}