From 2f8d440d5894637da01fb59ff7b5603c04b92c98 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Sun, 1 Dec 2024 20:48:47 +0000 Subject: [PATCH] Bump the github-actions-deps group with 5 updates Bumps the github-actions-deps group with 5 updates: | Package | From | To | | --- | --- | --- | | [actions/checkout](https://github.com/actions/checkout) | `3` | `4` | | [actions/setup-java](https://github.com/actions/setup-java) | `3` | `4` | | [gradle/actions](https://github.com/gradle/actions) | `3` | `4` | | [actions/cache](https://github.com/actions/cache) | `3` | `4` | | [codecov/codecov-action](https://github.com/codecov/codecov-action) | `4` | `5` | 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 `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/actions` from 3 to 4 - [Release notes](https://github.com/gradle/actions/releases) - [Commits](https://github.com/gradle/actions/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) Updates `codecov/codecov-action` from 4 to 5 - [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/v4...v5) --- updated-dependencies: - dependency-name: actions/checkout 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/actions 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 - dependency-name: codecov/codecov-action 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/gradle-publish.yml | 2 +- .github/workflows/javadoc.yml | 2 +- .github/workflows/nightlydeploy.yml | 2 +- .github/workflows/opttest.yml | 2 +- .github/workflows/sonarqube.yml | 10 +++++----- .github/workflows/tests.yml | 6 +++--- .github/workflows/tests_winmac.yml | 4 ++-- 8 files changed, 15 insertions(+), 15 deletions(-) diff --git a/.github/workflows/code_quality.yml b/.github/workflows/code_quality.yml index 99eabfe89ba..17125293f04 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@v4.1.0 + uses: gradle/actions/setup-gradle@v4 - name: Build with Gradle run: ./gradlew -DENABLE_NULLNESS=true compileTest diff --git a/.github/workflows/gradle-publish.yml b/.github/workflows/gradle-publish.yml index b541c403818..022f6806441 100644 --- a/.github/workflows/gradle-publish.yml +++ b/.github/workflows/gradle-publish.yml @@ -22,7 +22,7 @@ jobs: server-id: github # Value of the distributionManagement/repository/id field of the pom.xml - name: Setup Gradle - uses: gradle/actions/setup-gradle@v4.1.0 + uses: gradle/actions/setup-gradle@v4 - name: Assemble with Gradle run: ./gradlew assemble diff --git a/.github/workflows/javadoc.yml b/.github/workflows/javadoc.yml index 7e8b4e1dc89..70407c71e5f 100644 --- a/.github/workflows/javadoc.yml +++ b/.github/workflows/javadoc.yml @@ -19,7 +19,7 @@ jobs: distribution: 'corretto' cache: 'gradle' - name: Setup Gradle - uses: gradle/actions/setup-gradle@v4.1.0 + uses: gradle/actions/setup-gradle@v4 - name: Build Documentation with Gradle run: ./gradlew alldoc diff --git a/.github/workflows/nightlydeploy.yml b/.github/workflows/nightlydeploy.yml index 2f28e9a8050..f82870ff0c1 100644 --- a/.github/workflows/nightlydeploy.yml +++ b/.github/workflows/nightlydeploy.yml @@ -31,7 +31,7 @@ jobs: distribution: 'temurin' - name: Setup Gradle - uses: gradle/actions/setup-gradle@v4.1.0 + uses: gradle/actions/setup-gradle@v4 - name: Build with Gradle run: ./gradlew --parallel assemble diff --git a/.github/workflows/opttest.yml b/.github/workflows/opttest.yml index 7b81b938679..6d8ac0d0f30 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@v4.1.0 + uses: gradle/actions/setup-gradle@v4 - name: Test with Gradle run: ./gradlew --continue ${{ matrix.tests }} diff --git a/.github/workflows/sonarqube.yml b/.github/workflows/sonarqube.yml index 5749981d98f..984ed888f91 100644 --- a/.github/workflows/sonarqube.yml +++ b/.github/workflows/sonarqube.yml @@ -13,29 +13,29 @@ jobs: name: Build and analyze runs-on: ubuntu-latest steps: - - uses: actions/checkout@v3 + - uses: actions/checkout@v4 with: fetch-depth: 0 # Shallow clones should be disabled for a better relevancy of analysis - name: Set up JDK 21 - uses: actions/setup-java@v3 + uses: actions/setup-java@v4 with: java-version: 21 distribution: 'zulu' - name: Cache SonarCloud packages - uses: actions/cache@v3 + uses: actions/cache@v4 with: path: ~/.sonar/cache key: ${{ runner.os }}-sonar restore-keys: ${{ runner.os }}-sonar - name: Cache Gradle packages - uses: actions/cache@v3 + uses: actions/cache@v4 with: path: ~/.gradle/caches key: ${{ runner.os }}-gradle-${{ hashFiles('**/*.gradle') }} restore-keys: ${{ runner.os }}-gradle - name: Generate and submit dependency graph - uses: gradle/actions/dependency-submission@v3 + uses: gradle/actions/dependency-submission@v4 with: build-scan-publish: true build-scan-terms-of-use-url: "https://gradle.com/terms-of-service" diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml index cb9563601b8..4272a0aa52c 100644 --- a/.github/workflows/tests.yml +++ b/.github/workflows/tests.yml @@ -38,7 +38,7 @@ jobs: cache: 'gradle' - name: Setup Gradle - uses: gradle/actions/setup-gradle@v4.1.0 + uses: gradle/actions/setup-gradle@v4 - name: Test with Gradle run: ./gradlew --continue -DjacocoEnabled=true -x :key.core.symbolic_execution:test -x :key.core.proof_references:test test @@ -53,7 +53,7 @@ jobs: !**/jacocoTestReport.xml - name: Upload coverage reports to Codecov - uses: codecov/codecov-action@v4 + uses: codecov/codecov-action@v5 integration-tests: env: @@ -87,7 +87,7 @@ jobs: shell: bash - name: Setup Gradle - uses: gradle/actions/setup-gradle@v4.1.0 + uses: gradle/actions/setup-gradle@v4 - name: "Running tests: ${{ matrix.test }}" run: ./gradlew --continue ${{ matrix.test }} diff --git a/.github/workflows/tests_winmac.yml b/.github/workflows/tests_winmac.yml index c3c185ce95f..41d64c95f97 100644 --- a/.github/workflows/tests_winmac.yml +++ b/.github/workflows/tests_winmac.yml @@ -30,7 +30,7 @@ jobs: - name: Setup Gradle uses: - gradle/actions/setup-gradle@v4.1.0 + gradle/actions/setup-gradle@v4 - name: Test with Gradle run: ./gradlew --continue -x :key.core.symbolic_execution:test -x :key.core.proof_references:test test @@ -76,7 +76,7 @@ jobs: run: .github/dlsmt.sh - name: Setup Gradle - uses: gradle/actions/setup-gradle@v4.1.0 + uses: gradle/actions/setup-gradle@v4 - name: "Running tests: ${{ matrix.test }}" run: ./gradlew --continue ${{ matrix.test }}