From 3032cc7583ca0e7f8172e8570df16ac09df2d827 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 22 Jun 2026 16:43:04 +0000 Subject: [PATCH] Bump actions/checkout from 6 to 7 Bumps [actions/checkout](https://github.com/actions/checkout) from 6 to 7. - [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/v6...v7) --- updated-dependencies: - dependency-name: actions/checkout dependency-version: '7' dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] --- .github/workflows/bench-compiler.yml | 8 ++++---- .github/workflows/bench-e2e.yml | 4 ++-- .github/workflows/cargo-update.yml | 2 +- .github/workflows/cbmc-latest.yml | 8 ++++---- .github/workflows/cbmc-update.yml | 2 +- .github/workflows/deny.yml | 2 +- .github/workflows/extra_jobs.yml | 2 +- .github/workflows/format-check.yml | 4 ++-- .github/workflows/kani.yml | 10 +++++----- .github/workflows/release.yml | 16 ++++++++-------- .github/workflows/slow-tests.yml | 2 +- .github/workflows/toolchain-upgrade.yml | 2 +- .github/workflows/verify-std-check.yml | 4 ++-- 13 files changed, 33 insertions(+), 33 deletions(-) diff --git a/.github/workflows/bench-compiler.yml b/.github/workflows/bench-compiler.yml index f94195479cc8..6059ecfc553d 100644 --- a/.github/workflows/bench-compiler.yml +++ b/.github/workflows/bench-compiler.yml @@ -26,14 +26,14 @@ jobs: echo "OLD_REF=${{ github.event.pull_request.base.sha }}" | tee -a "$GITHUB_ENV" echo "NEW_REF=${{ github.event.pull_request.head.sha }}" | tee -a "$GITHUB_ENV" - name: Check out Kani (old variant) - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: path: ./old ref: ${{ env.OLD_REF }} fetch-depth: 2 - name: Check out Kani (new variant) - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: path: ./new ref: ${{ env.NEW_REF }} @@ -90,14 +90,14 @@ jobs: echo "NEW_REF=${{ github.event.pull_request.head.sha }}" | tee -a "$GITHUB_ENV" - name: Check out Kani (old variant) - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: path: ./old ref: ${{ env.OLD_REF }} fetch-depth: 2 - name: Check out Kani (new variant) - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: path: ./new ref: ${{ env.NEW_REF }} diff --git a/.github/workflows/bench-e2e.yml b/.github/workflows/bench-e2e.yml index 987420379afc..5dfed1eadd54 100644 --- a/.github/workflows/bench-e2e.yml +++ b/.github/workflows/bench-e2e.yml @@ -32,14 +32,14 @@ jobs: echo "NEW_REF=${{ github.event.pull_request.head.sha }}" | tee -a "$GITHUB_ENV" - name: Check out Kani (old variant) - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: path: ./old ref: ${{ env.OLD_REF }} fetch-depth: 2 - name: Check out Kani (new variant) - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: path: ./new ref: ${{ env.NEW_REF }} diff --git a/.github/workflows/cargo-update.yml b/.github/workflows/cargo-update.yml index 1873a2ecdd83..86b4cc0abe40 100644 --- a/.github/workflows/cargo-update.yml +++ b/.github/workflows/cargo-update.yml @@ -22,7 +22,7 @@ jobs: runs-on: ubuntu-22.04 steps: - name: Checkout Kani - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Setup Kani Dependencies uses: ./.github/actions/setup diff --git a/.github/workflows/cbmc-latest.yml b/.github/workflows/cbmc-latest.yml index 19bab7c420dc..978fa882995a 100644 --- a/.github/workflows/cbmc-latest.yml +++ b/.github/workflows/cbmc-latest.yml @@ -25,7 +25,7 @@ jobs: os: [macos-15-intel, ubuntu-22.04, ubuntu-24.04] steps: - name: Checkout Kani under "kani" - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: path: kani @@ -36,7 +36,7 @@ jobs: kani_dir: 'kani' - name: Checkout CBMC under "cbmc" - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: repository: diffblue/cbmc path: cbmc @@ -67,7 +67,7 @@ jobs: runs-on: ubuntu-24.04 steps: - name: Checkout Kani under "kani" - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: path: kani @@ -82,7 +82,7 @@ jobs: run: cargo build-dev -- --release - name: Checkout CBMC under "cbmc" - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: repository: diffblue/cbmc path: cbmc diff --git a/.github/workflows/cbmc-update.yml b/.github/workflows/cbmc-update.yml index 90eea8a06f2a..5595659fc8c2 100644 --- a/.github/workflows/cbmc-update.yml +++ b/.github/workflows/cbmc-update.yml @@ -23,7 +23,7 @@ jobs: runs-on: ubuntu-22.04 steps: - name: Checkout Kani - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Setup Kani Dependencies uses: ./.github/actions/setup diff --git a/.github/workflows/deny.yml b/.github/workflows/deny.yml index c54ce6bbcb07..302cad4d8965 100644 --- a/.github/workflows/deny.yml +++ b/.github/workflows/deny.yml @@ -19,7 +19,7 @@ jobs: audit: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v6 + - uses: actions/checkout@v7 with: submodules: recursive - uses: EmbarkStudios/cargo-deny-action@v2 diff --git a/.github/workflows/extra_jobs.yml b/.github/workflows/extra_jobs.yml index 352d6ded22df..e4bc17aea6af 100644 --- a/.github/workflows/extra_jobs.yml +++ b/.github/workflows/extra_jobs.yml @@ -36,7 +36,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Checkout Kani - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Label PR id: labeler diff --git a/.github/workflows/format-check.yml b/.github/workflows/format-check.yml index 9d21eeb45692..f4b0de732f82 100644 --- a/.github/workflows/format-check.yml +++ b/.github/workflows/format-check.yml @@ -17,7 +17,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Checkout Kani - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Execute copyright check run: ./scripts/ci/run-copyright-check.sh @@ -36,7 +36,7 @@ jobs: runs-on: ubuntu-24.04 steps: - name: Checkout Kani - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Setup Kani Dependencies uses: ./.github/actions/setup diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml index 24cbca6f4519..bb6a05ca7439 100644 --- a/.github/workflows/kani.yml +++ b/.github/workflows/kani.yml @@ -23,7 +23,7 @@ jobs: os: [macos-15-intel, ubuntu-22.04, ubuntu-24.04, macos-14, ubuntu-24.04-arm] steps: - name: Checkout Kani - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Setup Kani Dependencies uses: ./.github/actions/setup @@ -39,7 +39,7 @@ jobs: contents: read steps: - name: Checkout Kani - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Install benchcomp dependencies run: | @@ -64,7 +64,7 @@ jobs: contents: read steps: - name: Checkout Kani - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Setup Kani Dependencies uses: ./.github/actions/setup @@ -82,7 +82,7 @@ jobs: contents: read steps: - name: Checkout Kani - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Setup Kani Dependencies uses: ./.github/actions/setup @@ -108,7 +108,7 @@ jobs: contents: write steps: - name: Checkout Kani - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: submodules: recursive diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index c04eb7950457..d8570c0f0b29 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -32,7 +32,7 @@ jobs: crate_version: ${{ steps.bundle.outputs.crate_version }} steps: - name: Checkout code - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Setup Kani Dependencies uses: ./.github/actions/setup @@ -55,7 +55,7 @@ jobs: crate_version: ${{ steps.bundle.outputs.crate_version }} steps: - name: Checkout code - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Setup Kani Dependencies uses: ./.github/actions/setup @@ -78,7 +78,7 @@ jobs: crate_version: ${{ steps.bundle.outputs.crate_version }} steps: - name: Checkout code - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Setup Kani Dependencies uses: ./.github/actions/setup @@ -101,7 +101,7 @@ jobs: crate_version: ${{ steps.bundle.outputs.crate_version }} steps: - name: Checkout code - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Setup Kani Dependencies uses: ./.github/actions/setup @@ -188,7 +188,7 @@ jobs: fi - name: Checkout tests - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Move rust-toolchain file to outside kani run: | @@ -258,7 +258,7 @@ jobs: cargo kani setup --use-local-bundle ./${{ matrix.prev_job.bundle }} - name: Checkout tests - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Run tests # TODO: Customize compiletest to run custom kani. For now, just run a few cargo kani tests. @@ -282,7 +282,7 @@ jobs: upload_url: ${{ steps.create_release.outputs.upload_url }} steps: - name: Checkout code - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Get version run: | @@ -346,7 +346,7 @@ jobs: target: x86_64-unknown-linux-gnu steps: - name: Checkout code - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Setup Kani Dependencies uses: ./.github/actions/setup diff --git a/.github/workflows/slow-tests.yml b/.github/workflows/slow-tests.yml index 54952f59bd84..0332f0af97fc 100644 --- a/.github/workflows/slow-tests.yml +++ b/.github/workflows/slow-tests.yml @@ -24,7 +24,7 @@ jobs: os: [macos-15-intel, ubuntu-22.04, ubuntu-24.04] steps: - name: Checkout Kani - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Setup Kani Dependencies uses: ./.github/actions/setup diff --git a/.github/workflows/toolchain-upgrade.yml b/.github/workflows/toolchain-upgrade.yml index 55bcdda98ad6..3045e33afd70 100644 --- a/.github/workflows/toolchain-upgrade.yml +++ b/.github/workflows/toolchain-upgrade.yml @@ -23,7 +23,7 @@ jobs: runs-on: ubuntu-22.04 steps: - name: Checkout Kani - uses: actions/checkout@v6 + uses: actions/checkout@v7 - name: Setup Kani Dependencies uses: ./.github/actions/setup diff --git a/.github/workflows/verify-std-check.yml b/.github/workflows/verify-std-check.yml index c92a16d69d4f..a20b33f0a42d 100644 --- a/.github/workflows/verify-std-check.yml +++ b/.github/workflows/verify-std-check.yml @@ -31,14 +31,14 @@ jobs: os: [ ubuntu-22.04, macos-14 ] steps: - name: Checkout Library - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: repository: model-checking/verify-rust-std path: verify-rust-std submodules: true - name: Checkout `Kani` - uses: actions/checkout@v6 + uses: actions/checkout@v7 with: path: kani fetch-depth: 0