From f11ec8c59b9546fa89d39dbbfe7fd0e96539ac3a Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 11 Aug 2025 22:19:08 +0000 Subject: [PATCH] Bump actions/checkout from 4 to 5 Bumps [actions/checkout](https://github.com/actions/checkout) from 4 to 5. - [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/v4...v5) --- updated-dependencies: - dependency-name: actions/checkout dependency-version: '5' 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 2793ee6fb05f..7152eb6a7706 100644 --- a/.github/workflows/bench-compiler.yml +++ b/.github/workflows/bench-compiler.yml @@ -24,14 +24,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@v4 + uses: actions/checkout@v5 with: path: ./old ref: ${{ env.OLD_REF }} fetch-depth: 2 - name: Check out Kani (new variant) - uses: actions/checkout@v4 + uses: actions/checkout@v5 with: path: ./new ref: ${{ env.NEW_REF }} @@ -100,14 +100,14 @@ jobs: echo "NEW_REF=${{ github.event.pull_request.head.sha }}" | tee -a "$GITHUB_ENV" - name: Check out Kani (old variant) - uses: actions/checkout@v4 + uses: actions/checkout@v5 with: path: ./old ref: ${{ env.OLD_REF }} fetch-depth: 2 - name: Check out Kani (new variant) - uses: actions/checkout@v4 + uses: actions/checkout@v5 with: path: ./new ref: ${{ env.NEW_REF }} diff --git a/.github/workflows/bench-e2e.yml b/.github/workflows/bench-e2e.yml index 954b84c727c4..196c401ec852 100644 --- a/.github/workflows/bench-e2e.yml +++ b/.github/workflows/bench-e2e.yml @@ -30,14 +30,14 @@ jobs: echo "NEW_REF=${{ github.event.pull_request.head.sha }}" | tee -a "$GITHUB_ENV" - name: Check out Kani (old variant) - uses: actions/checkout@v4 + uses: actions/checkout@v5 with: path: ./old ref: ${{ env.OLD_REF }} fetch-depth: 2 - name: Check out Kani (new variant) - uses: actions/checkout@v4 + uses: actions/checkout@v5 with: path: ./new ref: ${{ env.NEW_REF }} diff --git a/.github/workflows/cargo-update.yml b/.github/workflows/cargo-update.yml index 773cf542be39..c25aaa579b9e 100644 --- a/.github/workflows/cargo-update.yml +++ b/.github/workflows/cargo-update.yml @@ -18,7 +18,7 @@ jobs: runs-on: ubuntu-22.04 steps: - name: Checkout Kani - uses: actions/checkout@v4 + uses: actions/checkout@v5 - name: Setup Kani Dependencies uses: ./.github/actions/setup diff --git a/.github/workflows/cbmc-latest.yml b/.github/workflows/cbmc-latest.yml index c2781408b6ae..6eb5c4788087 100644 --- a/.github/workflows/cbmc-latest.yml +++ b/.github/workflows/cbmc-latest.yml @@ -22,7 +22,7 @@ jobs: os: [macos-13, ubuntu-22.04, ubuntu-24.04] steps: - name: Checkout Kani under "kani" - uses: actions/checkout@v4 + uses: actions/checkout@v5 with: path: kani @@ -33,7 +33,7 @@ jobs: kani_dir: 'kani' - name: Checkout CBMC under "cbmc" - uses: actions/checkout@v4 + uses: actions/checkout@v5 with: repository: diffblue/cbmc path: cbmc @@ -64,7 +64,7 @@ jobs: runs-on: ubuntu-24.04 steps: - name: Checkout Kani under "kani" - uses: actions/checkout@v4 + uses: actions/checkout@v5 with: path: kani @@ -79,7 +79,7 @@ jobs: run: cargo build-dev -- --release - name: Checkout CBMC under "cbmc" - uses: actions/checkout@v4 + uses: actions/checkout@v5 with: repository: diffblue/cbmc path: cbmc diff --git a/.github/workflows/cbmc-update.yml b/.github/workflows/cbmc-update.yml index 927dde0037be..d1a30667e24e 100644 --- a/.github/workflows/cbmc-update.yml +++ b/.github/workflows/cbmc-update.yml @@ -19,7 +19,7 @@ jobs: runs-on: ubuntu-22.04 steps: - name: Checkout Kani - uses: actions/checkout@v4 + uses: actions/checkout@v5 - name: Setup Kani Dependencies uses: ./.github/actions/setup diff --git a/.github/workflows/deny.yml b/.github/workflows/deny.yml index c8beaa33a91d..c4272ae07448 100644 --- a/.github/workflows/deny.yml +++ b/.github/workflows/deny.yml @@ -17,7 +17,7 @@ jobs: audit: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v5 with: submodules: recursive - name: Install rustup diff --git a/.github/workflows/extra_jobs.yml b/.github/workflows/extra_jobs.yml index a9fe1785b0f1..f092ea17dd81 100644 --- a/.github/workflows/extra_jobs.yml +++ b/.github/workflows/extra_jobs.yml @@ -35,7 +35,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Checkout Kani - uses: actions/checkout@v4 + uses: actions/checkout@v5 - name: Label PR id: labeler diff --git a/.github/workflows/format-check.yml b/.github/workflows/format-check.yml index 16afb80a1b5e..3014c674dc07 100644 --- a/.github/workflows/format-check.yml +++ b/.github/workflows/format-check.yml @@ -15,7 +15,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Checkout Kani - uses: actions/checkout@v4 + uses: actions/checkout@v5 - name: Execute copyright check run: ./scripts/ci/run-copyright-check.sh @@ -34,7 +34,7 @@ jobs: runs-on: ubuntu-24.04 steps: - name: Checkout Kani - uses: actions/checkout@v4 + uses: actions/checkout@v5 - name: Setup Kani Dependencies uses: ./.github/actions/setup diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml index 2fbae1fd8e98..bc2750e8d56b 100644 --- a/.github/workflows/kani.yml +++ b/.github/workflows/kani.yml @@ -21,7 +21,7 @@ jobs: os: [macos-13, ubuntu-22.04, ubuntu-24.04, macos-14, ubuntu-24.04-arm] steps: - name: Checkout Kani - uses: actions/checkout@v4 + uses: actions/checkout@v5 - name: Cache Kani build artifacts uses: Swatinem/rust-cache@v2 @@ -42,7 +42,7 @@ jobs: runs-on: ubuntu-24.04 steps: - name: Checkout Kani - uses: actions/checkout@v4 + uses: actions/checkout@v5 - name: Install benchcomp dependencies run: | @@ -72,7 +72,7 @@ jobs: runs-on: ubuntu-24.04 steps: - name: Checkout Kani - uses: actions/checkout@v4 + uses: actions/checkout@v5 - name: Cache Kani build artifacts uses: Swatinem/rust-cache@v2 @@ -95,7 +95,7 @@ jobs: runs-on: ubuntu-24.04 steps: - name: Checkout Kani - uses: actions/checkout@v4 + uses: actions/checkout@v5 - name: Cache Kani build artifacts uses: Swatinem/rust-cache@v2 @@ -120,7 +120,7 @@ jobs: contents: write steps: - name: Checkout Kani - uses: actions/checkout@v4 + uses: actions/checkout@v5 with: submodules: recursive diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index e1e63b15e9a6..ba400a110c81 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -30,7 +30,7 @@ jobs: crate_version: ${{ steps.bundle.outputs.crate_version }} steps: - name: Checkout code - uses: actions/checkout@v4 + uses: actions/checkout@v5 - name: Setup Kani Dependencies uses: ./.github/actions/setup @@ -53,7 +53,7 @@ jobs: crate_version: ${{ steps.bundle.outputs.crate_version }} steps: - name: Checkout code - uses: actions/checkout@v4 + uses: actions/checkout@v5 - name: Setup Kani Dependencies uses: ./.github/actions/setup @@ -76,7 +76,7 @@ jobs: crate_version: ${{ steps.bundle.outputs.crate_version }} steps: - name: Checkout code - uses: actions/checkout@v4 + uses: actions/checkout@v5 - name: Setup Kani Dependencies uses: ./.github/actions/setup @@ -99,7 +99,7 @@ jobs: crate_version: ${{ steps.bundle.outputs.crate_version }} steps: - name: Checkout code - uses: actions/checkout@v4 + uses: actions/checkout@v5 - name: Setup Kani Dependencies uses: ./.github/actions/setup @@ -186,7 +186,7 @@ jobs: fi - name: Checkout tests - uses: actions/checkout@v4 + uses: actions/checkout@v5 - name: Move rust-toolchain file to outside kani run: | @@ -256,7 +256,7 @@ jobs: cargo kani setup --use-local-bundle ./${{ matrix.prev_job.bundle }} - name: Checkout tests - uses: actions/checkout@v4 + uses: actions/checkout@v5 - name: Run tests # TODO: Customize compiletest to run custom kani. For now, just run a few cargo kani tests. @@ -278,7 +278,7 @@ jobs: upload_url: ${{ steps.create_release.outputs.upload_url }} steps: - name: Checkout code - uses: actions/checkout@v4 + uses: actions/checkout@v5 - name: Get version run: | @@ -342,7 +342,7 @@ jobs: target: x86_64-unknown-linux-gnu steps: - name: Checkout code - uses: actions/checkout@v4 + uses: actions/checkout@v5 - name: Setup Kani Dependencies uses: ./.github/actions/setup diff --git a/.github/workflows/slow-tests.yml b/.github/workflows/slow-tests.yml index 2eb44008b14d..d7ab784aa22f 100644 --- a/.github/workflows/slow-tests.yml +++ b/.github/workflows/slow-tests.yml @@ -21,7 +21,7 @@ jobs: os: [macos-13, ubuntu-22.04, ubuntu-24.04] steps: - name: Checkout Kani - uses: actions/checkout@v4 + uses: actions/checkout@v5 - name: Setup Kani Dependencies uses: ./.github/actions/setup diff --git a/.github/workflows/toolchain-upgrade.yml b/.github/workflows/toolchain-upgrade.yml index c242cae0d4cf..e7bd271d4616 100644 --- a/.github/workflows/toolchain-upgrade.yml +++ b/.github/workflows/toolchain-upgrade.yml @@ -19,7 +19,7 @@ jobs: runs-on: ubuntu-22.04 steps: - name: Checkout Kani - uses: actions/checkout@v4 + uses: actions/checkout@v5 - 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 78a8dddfb326..03a83cf53a56 100644 --- a/.github/workflows/verify-std-check.yml +++ b/.github/workflows/verify-std-check.yml @@ -29,14 +29,14 @@ jobs: os: [ ubuntu-22.04, macos-14 ] steps: - name: Checkout Library - uses: actions/checkout@v4 + uses: actions/checkout@v5 with: repository: model-checking/verify-rust-std path: verify-rust-std submodules: true - name: Checkout `Kani` - uses: actions/checkout@v4 + uses: actions/checkout@v5 with: path: kani fetch-depth: 0