From 40830d2a2055d36fe736e4e0fd7ac8f2c0e53b8f Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 24 Nov 2025 16:22:22 +0000 Subject: [PATCH] Bump actions/checkout from 5 to 6 Bumps [actions/checkout](https://github.com/actions/checkout) from 5 to 6. - [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/v5...v6) --- updated-dependencies: - dependency-name: actions/checkout dependency-version: '6' 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 55b032d10986..f94195479cc8 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@v5 + uses: actions/checkout@v6 with: path: ./old ref: ${{ env.OLD_REF }} fetch-depth: 2 - name: Check out Kani (new variant) - uses: actions/checkout@v5 + uses: actions/checkout@v6 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@v5 + uses: actions/checkout@v6 with: path: ./old ref: ${{ env.OLD_REF }} fetch-depth: 2 - name: Check out Kani (new variant) - uses: actions/checkout@v5 + uses: actions/checkout@v6 with: path: ./new ref: ${{ env.NEW_REF }} diff --git a/.github/workflows/bench-e2e.yml b/.github/workflows/bench-e2e.yml index 5f4eae1a4e13..987420379afc 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@v5 + uses: actions/checkout@v6 with: path: ./old ref: ${{ env.OLD_REF }} fetch-depth: 2 - name: Check out Kani (new variant) - uses: actions/checkout@v5 + uses: actions/checkout@v6 with: path: ./new ref: ${{ env.NEW_REF }} diff --git a/.github/workflows/cargo-update.yml b/.github/workflows/cargo-update.yml index cf4804c72dc9..20f629416f85 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@v5 + uses: actions/checkout@v6 - name: Setup Kani Dependencies uses: ./.github/actions/setup diff --git a/.github/workflows/cbmc-latest.yml b/.github/workflows/cbmc-latest.yml index 84cc535aa620..19bab7c420dc 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@v5 + uses: actions/checkout@v6 with: path: kani @@ -36,7 +36,7 @@ jobs: kani_dir: 'kani' - name: Checkout CBMC under "cbmc" - uses: actions/checkout@v5 + uses: actions/checkout@v6 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@v5 + uses: actions/checkout@v6 with: path: kani @@ -82,7 +82,7 @@ jobs: run: cargo build-dev -- --release - name: Checkout CBMC under "cbmc" - uses: actions/checkout@v5 + uses: actions/checkout@v6 with: repository: diffblue/cbmc path: cbmc diff --git a/.github/workflows/cbmc-update.yml b/.github/workflows/cbmc-update.yml index aed52f401e5f..c43782ca9899 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@v5 + uses: actions/checkout@v6 - name: Setup Kani Dependencies uses: ./.github/actions/setup diff --git a/.github/workflows/deny.yml b/.github/workflows/deny.yml index 7737bed362f4..035303fda5ea 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@v5 + - uses: actions/checkout@v6 with: submodules: recursive - name: Install rustup diff --git a/.github/workflows/extra_jobs.yml b/.github/workflows/extra_jobs.yml index 78a7912fb549..352d6ded22df 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@v5 + uses: actions/checkout@v6 - name: Label PR id: labeler diff --git a/.github/workflows/format-check.yml b/.github/workflows/format-check.yml index 88da968eea59..9d21eeb45692 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@v5 + uses: actions/checkout@v6 - 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@v5 + uses: actions/checkout@v6 - name: Setup Kani Dependencies uses: ./.github/actions/setup diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml index e95b3f736e8f..24cbca6f4519 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@v5 + uses: actions/checkout@v6 - name: Setup Kani Dependencies uses: ./.github/actions/setup @@ -39,7 +39,7 @@ jobs: contents: read steps: - name: Checkout Kani - uses: actions/checkout@v5 + uses: actions/checkout@v6 - name: Install benchcomp dependencies run: | @@ -64,7 +64,7 @@ jobs: contents: read steps: - name: Checkout Kani - uses: actions/checkout@v5 + uses: actions/checkout@v6 - name: Setup Kani Dependencies uses: ./.github/actions/setup @@ -82,7 +82,7 @@ jobs: contents: read steps: - name: Checkout Kani - uses: actions/checkout@v5 + uses: actions/checkout@v6 - name: Setup Kani Dependencies uses: ./.github/actions/setup @@ -108,7 +108,7 @@ jobs: contents: write steps: - name: Checkout Kani - uses: actions/checkout@v5 + uses: actions/checkout@v6 with: submodules: recursive diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 7585e5b3a50c..5da0e43b8a55 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@v5 + uses: actions/checkout@v6 - 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@v5 + uses: actions/checkout@v6 - 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@v5 + uses: actions/checkout@v6 - 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@v5 + uses: actions/checkout@v6 - name: Setup Kani Dependencies uses: ./.github/actions/setup @@ -188,7 +188,7 @@ jobs: fi - name: Checkout tests - uses: actions/checkout@v5 + uses: actions/checkout@v6 - 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@v5 + uses: actions/checkout@v6 - 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@v5 + uses: actions/checkout@v6 - name: Get version run: | @@ -346,7 +346,7 @@ jobs: target: x86_64-unknown-linux-gnu steps: - name: Checkout code - uses: actions/checkout@v5 + uses: actions/checkout@v6 - name: Setup Kani Dependencies uses: ./.github/actions/setup diff --git a/.github/workflows/slow-tests.yml b/.github/workflows/slow-tests.yml index 0bbde92c6645..54952f59bd84 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@v5 + uses: actions/checkout@v6 - name: Setup Kani Dependencies uses: ./.github/actions/setup diff --git a/.github/workflows/toolchain-upgrade.yml b/.github/workflows/toolchain-upgrade.yml index da12314f8da3..1a8ad48d46d3 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@v5 + uses: actions/checkout@v6 - 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 88bacb7ebd56..c92a16d69d4f 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@v5 + uses: actions/checkout@v6 with: repository: model-checking/verify-rust-std path: verify-rust-std submodules: true - name: Checkout `Kani` - uses: actions/checkout@v5 + uses: actions/checkout@v6 with: path: kani fetch-depth: 0