From bdf9018bbc3702d345ebc465d1dacb9fa531d33e Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 24 Nov 2025 00:09:39 +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/bsd.yaml | 6 +-- .github/workflows/build-and-test-Linux.yaml | 2 +- .github/workflows/build-and-test-Xen.yaml | 2 +- .github/workflows/codeql-analysis.yml | 2 +- .github/workflows/coverage.yaml | 2 +- .github/workflows/csmith.yaml | 2 +- .github/workflows/doxygen-check.yaml | 2 +- .github/workflows/performance.yaml | 4 +- .github/workflows/publish.yaml | 2 +- .../pull-request-check-rust-api.yaml | 4 +- .github/workflows/pull-request-checks.yaml | 38 +++++++++---------- .github/workflows/regular-release.yaml | 2 +- .github/workflows/release-packages.yaml | 12 +++--- .github/workflows/syntax-checks.yaml | 6 +-- 14 files changed, 43 insertions(+), 43 deletions(-) diff --git a/.github/workflows/bsd.yaml b/.github/workflows/bsd.yaml index 09855cfd485..c68c95f4cbf 100644 --- a/.github/workflows/bsd.yaml +++ b/.github/workflows/bsd.yaml @@ -10,7 +10,7 @@ jobs: FreeBSD: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 with: submodules: recursive - name: Prepare ccache @@ -75,7 +75,7 @@ jobs: OpenBSD: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 with: submodules: recursive - name: Prepare ccache @@ -137,7 +137,7 @@ jobs: NetBSD: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 with: submodules: recursive - name: Prepare ccache diff --git a/.github/workflows/build-and-test-Linux.yaml b/.github/workflows/build-and-test-Linux.yaml index 4a7457f5bfa..72c87db96b9 100644 --- a/.github/workflows/build-and-test-Linux.yaml +++ b/.github/workflows/build-and-test-Linux.yaml @@ -10,7 +10,7 @@ jobs: CompileLinux: runs-on: ubuntu-24.04 steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 with: submodules: true - name: Install Packages diff --git a/.github/workflows/build-and-test-Xen.yaml b/.github/workflows/build-and-test-Xen.yaml index d11bf4fc816..4ac4cdbbb1b 100644 --- a/.github/workflows/build-and-test-Xen.yaml +++ b/.github/workflows/build-and-test-Xen.yaml @@ -9,7 +9,7 @@ jobs: CompileXen: runs-on: ubuntu-24.04 steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 with: submodules: true - name: Install Packages diff --git a/.github/workflows/codeql-analysis.yml b/.github/workflows/codeql-analysis.yml index 5044d97c0ef..a8f138a0d89 100644 --- a/.github/workflows/codeql-analysis.yml +++ b/.github/workflows/codeql-analysis.yml @@ -23,7 +23,7 @@ jobs: steps: - name: Checkout repository - uses: actions/checkout@v5 + uses: actions/checkout@v6 with: submodules: recursive diff --git a/.github/workflows/coverage.yaml b/.github/workflows/coverage.yaml index 699c261c97e..c2728873422 100644 --- a/.github/workflows/coverage.yaml +++ b/.github/workflows/coverage.yaml @@ -15,7 +15,7 @@ jobs: runs-on: ubuntu-24.04 steps: - name: Clone repository - uses: actions/checkout@v5 + uses: actions/checkout@v6 with: submodules: recursive - name: Remove unnecessary software to free up disk space diff --git a/.github/workflows/csmith.yaml b/.github/workflows/csmith.yaml index 17f8dcd911a..e89fbac7d88 100644 --- a/.github/workflows/csmith.yaml +++ b/.github/workflows/csmith.yaml @@ -9,7 +9,7 @@ jobs: run-10-random-tests: runs-on: ubuntu-24.04 steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 with: submodules: recursive - name: Fetch dependencies diff --git a/.github/workflows/doxygen-check.yaml b/.github/workflows/doxygen-check.yaml index 59731c1abe4..6fa003200cc 100644 --- a/.github/workflows/doxygen-check.yaml +++ b/.github/workflows/doxygen-check.yaml @@ -10,7 +10,7 @@ jobs: # sync with the `publish` job. runs-on: ubuntu-latest steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 - name: Fetch dependencies env: # This is needed in addition to -yq to prevent apt-get from asking for diff --git a/.github/workflows/performance.yaml b/.github/workflows/performance.yaml index e65955f4d1b..d787ea2f0d8 100644 --- a/.github/workflows/performance.yaml +++ b/.github/workflows/performance.yaml @@ -23,7 +23,7 @@ jobs: echo "NEW_REF=${{ github.event.pull_request.head.sha }}" | tee -a "$GITHUB_ENV" - name: Check out CBMC (old variant) - uses: actions/checkout@v5 + uses: actions/checkout@v6 with: submodules: recursive path: ./old @@ -31,7 +31,7 @@ jobs: fetch-depth: 2 - name: Check out CBMC (new variant) - uses: actions/checkout@v5 + uses: actions/checkout@v6 with: submodules: recursive path: ./new diff --git a/.github/workflows/publish.yaml b/.github/workflows/publish.yaml index d7f146ef98c..85d13a9bf49 100644 --- a/.github/workflows/publish.yaml +++ b/.github/workflows/publish.yaml @@ -9,7 +9,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Checkout repository - uses: actions/checkout@v5 + uses: actions/checkout@v6 - name: Install doxygen run: | diff --git a/.github/workflows/pull-request-check-rust-api.yaml b/.github/workflows/pull-request-check-rust-api.yaml index 1d223257837..25a42549584 100644 --- a/.github/workflows/pull-request-check-rust-api.yaml +++ b/.github/workflows/pull-request-check-rust-api.yaml @@ -19,7 +19,7 @@ jobs: CC: "ccache /usr/bin/clang-13" CXX: "ccache /usr/bin/clang++-13" steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 with: submodules: recursive - name: Fetch dependencies @@ -72,7 +72,7 @@ jobs: check-macos-15-intel-cmake-clang-rust: runs-on: macos-15-intel steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 with: submodules: recursive - name: Fetch dependencies diff --git a/.github/workflows/pull-request-checks.yaml b/.github/workflows/pull-request-checks.yaml index 55db08edb82..c0c166bbdf6 100644 --- a/.github/workflows/pull-request-checks.yaml +++ b/.github/workflows/pull-request-checks.yaml @@ -14,7 +14,7 @@ jobs: check-ubuntu-24_04-make-gcc: runs-on: ubuntu-24.04 steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 with: submodules: recursive - name: Fetch dependencies @@ -99,7 +99,7 @@ jobs: CC: "ccache /usr/bin/clang" CXX: "ccache /usr/bin/clang++" steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 with: submodules: recursive - name: Fetch dependencies @@ -173,7 +173,7 @@ jobs: CC: "ccache /usr/bin/clang" CXX: "ccache /usr/bin/clang++" steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 with: submodules: recursive - name: Fetch dependencies @@ -212,7 +212,7 @@ jobs: check-ubuntu-24_04-cmake-gcc: runs-on: ubuntu-24.04 steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 with: submodules: recursive - name: Fetch dependencies @@ -282,7 +282,7 @@ jobs: CC: "ccache /usr/bin/clang" CXX: "ccache /usr/bin/clang++" steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 with: submodules: recursive - name: Fetch dependencies @@ -351,7 +351,7 @@ jobs: check-ubuntu-22_04-cmake-gcc: runs-on: ubuntu-22.04 steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 with: submodules: recursive - name: Fetch dependencies @@ -405,7 +405,7 @@ jobs: check-ubuntu-24_04-cmake-gcc-14: runs-on: ubuntu-24.04 steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 with: submodules: recursive - name: Fetch dependencies @@ -458,7 +458,7 @@ jobs: check-ubuntu-24_04-arm-cmake-gcc: runs-on: ubuntu-24.04-arm steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 with: submodules: recursive - name: Fetch dependencies @@ -512,7 +512,7 @@ jobs: check-ubuntu-22_04-cmake-gcc-32bit: runs-on: ubuntu-22.04 steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 with: submodules: recursive - name: Fetch dependencies @@ -559,7 +559,7 @@ jobs: check-ubuntu-24_04-cmake-gcc-KNOWNBUG: runs-on: ubuntu-24.04 steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 with: submodules: recursive - name: Fetch dependencies @@ -606,7 +606,7 @@ jobs: check-ubuntu-24_04-cmake-gcc-THOROUGH: runs-on: ubuntu-24.04 steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 with: submodules: recursive - name: Fetch dependencies @@ -645,7 +645,7 @@ jobs: check-macos-15-intel-make-clang: runs-on: macos-15-intel steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 with: submodules: recursive - name: Fetch dependencies @@ -702,7 +702,7 @@ jobs: check-macos-14-cmake-clang: runs-on: macos-14 steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 with: submodules: recursive - name: Fetch dependencies @@ -748,7 +748,7 @@ jobs: env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 with: submodules: recursive - name: Setup Visual Studio environment @@ -810,7 +810,7 @@ jobs: env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 with: submodules: recursive - name: Setup MSBuild @@ -887,7 +887,7 @@ jobs: env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 with: submodules: recursive - name: Setup Visual Studio environment @@ -937,7 +937,7 @@ jobs: check-string-table: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 - name: Check for unused irep ids run: ./scripts/string_table_check.sh @@ -945,7 +945,7 @@ jobs: check-docker-image: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 with: submodules: recursive - name: Download test dependencies @@ -969,7 +969,7 @@ jobs: include-what-you-use: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 with: submodules: recursive - name: Fetch dependencies diff --git a/.github/workflows/regular-release.yaml b/.github/workflows/regular-release.yaml index 2243563170a..e016b3cf617 100644 --- a/.github/workflows/regular-release.yaml +++ b/.github/workflows/regular-release.yaml @@ -28,7 +28,7 @@ jobs: needs: get-version-information steps: - name: Checkout code - uses: actions/checkout@v5 + uses: actions/checkout@v6 - name: Create release uses: actions/create-release@v1 env: diff --git a/.github/workflows/release-packages.yaml b/.github/workflows/release-packages.yaml index 9a5b62f3753..a51c5583219 100644 --- a/.github/workflows/release-packages.yaml +++ b/.github/workflows/release-packages.yaml @@ -11,7 +11,7 @@ jobs: env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 with: submodules: recursive - name: Fetch dependencies @@ -82,7 +82,7 @@ jobs: env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 with: submodules: recursive - name: Fetch dependencies @@ -153,7 +153,7 @@ jobs: env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 with: submodules: recursive - name: Fetch dependencies @@ -238,7 +238,7 @@ jobs: HOMEBREW_GITHUB_API_TOKEN: ${{ secrets.DB_CI_CPROVER_ACCESS_TOKEN }} - name: Checkout CBMC project source code to obtain access to scripts if: always() - uses: actions/checkout@v5 + uses: actions/checkout@v6 - name: Slack notification of CI status if: success() || failure() env: @@ -256,7 +256,7 @@ jobs: env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 with: submodules: recursive - name: Setup Visual Studio environment @@ -350,7 +350,7 @@ jobs: runs-on: ubuntu-24.04 steps: - name: Checkout CBMC source - uses: actions/checkout@v5 + uses: actions/checkout@v6 with: submodules: recursive - name: Set Image Tag diff --git a/.github/workflows/syntax-checks.yaml b/.github/workflows/syntax-checks.yaml index 851887209d8..27badf441d3 100644 --- a/.github/workflows/syntax-checks.yaml +++ b/.github/workflows/syntax-checks.yaml @@ -8,7 +8,7 @@ jobs: check-clang-format: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 with: submodules: recursive fetch-depth: 0 @@ -30,7 +30,7 @@ jobs: check-cpplint: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v5 + - uses: actions/checkout@v6 with: submodules: recursive fetch-depth: 0 @@ -53,7 +53,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Checkout CBMC repository - uses: actions/checkout@v5 + uses: actions/checkout@v6 - name: Install latest stable Rust toolchain run: | rustup toolchain install stable --profile minimal --no-self-update -c clippy -c rustfmt