From 2f3791458836301a6b0860e8dab756cf4507a27b Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 18 Aug 2025 00:12:15 +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/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 52d738f1d8b..79ff95fc369 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@v4 + - uses: actions/checkout@v5 with: submodules: recursive - name: Prepare ccache @@ -72,7 +72,7 @@ jobs: OpenBSD: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v5 with: submodules: recursive - name: Prepare ccache @@ -134,7 +134,7 @@ jobs: NetBSD: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v5 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 4fe377b9988..01c361876ad 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@v4 + - uses: actions/checkout@v5 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 63ce990a0fd..d11bf4fc816 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@v4 + - uses: actions/checkout@v5 with: submodules: true - name: Install Packages diff --git a/.github/workflows/codeql-analysis.yml b/.github/workflows/codeql-analysis.yml index fdbcab27adc..e5313e78771 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@v4 + uses: actions/checkout@v5 with: submodules: recursive diff --git a/.github/workflows/coverage.yaml b/.github/workflows/coverage.yaml index eb25f1c429d..699c261c97e 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@v4 + uses: actions/checkout@v5 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 47889708db4..17f8dcd911a 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@v4 + - uses: actions/checkout@v5 with: submodules: recursive - name: Fetch dependencies diff --git a/.github/workflows/doxygen-check.yaml b/.github/workflows/doxygen-check.yaml index 5395b0be7b1..59731c1abe4 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@v4 + - uses: actions/checkout@v5 - 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 7dafd5b94cb..e65955f4d1b 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@v4 + uses: actions/checkout@v5 with: submodules: recursive path: ./old @@ -31,7 +31,7 @@ jobs: fetch-depth: 2 - name: Check out CBMC (new variant) - uses: actions/checkout@v4 + uses: actions/checkout@v5 with: submodules: recursive path: ./new diff --git a/.github/workflows/publish.yaml b/.github/workflows/publish.yaml index 227040f1f39..d7f146ef98c 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@v4 + uses: actions/checkout@v5 - 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 ea99785ec25..08145123df2 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@v4 + - uses: actions/checkout@v5 with: submodules: recursive - name: Fetch dependencies @@ -72,7 +72,7 @@ jobs: check-macos-13-cmake-clang-rust: runs-on: macos-13 steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v5 with: submodules: recursive - name: Fetch dependencies diff --git a/.github/workflows/pull-request-checks.yaml b/.github/workflows/pull-request-checks.yaml index 08ab8093cb3..13919c6e43a 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@v4 + - uses: actions/checkout@v5 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@v4 + - uses: actions/checkout@v5 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@v4 + - uses: actions/checkout@v5 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@v4 + - uses: actions/checkout@v5 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@v4 + - uses: actions/checkout@v5 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@v4 + - uses: actions/checkout@v5 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@v4 + - uses: actions/checkout@v5 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@v4 + - uses: actions/checkout@v5 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@v4 + - uses: actions/checkout@v5 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@v4 + - uses: actions/checkout@v5 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@v4 + - uses: actions/checkout@v5 with: submodules: recursive - name: Fetch dependencies @@ -645,7 +645,7 @@ jobs: check-macos-13-make-clang: runs-on: macos-13 steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v5 with: submodules: recursive - name: Fetch dependencies @@ -702,7 +702,7 @@ jobs: check-macos-14-cmake-clang: runs-on: macos-14 steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v5 with: submodules: recursive - name: Fetch dependencies @@ -748,7 +748,7 @@ jobs: env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v5 with: submodules: recursive - name: Setup Visual Studio environment @@ -810,7 +810,7 @@ jobs: env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v5 with: submodules: recursive - name: Setup MSBuild @@ -887,7 +887,7 @@ jobs: env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v5 with: submodules: recursive - name: Setup Visual Studio environment @@ -937,7 +937,7 @@ jobs: check-string-table: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v5 - 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@v4 + - uses: actions/checkout@v5 with: submodules: recursive - name: Download test dependencies @@ -969,7 +969,7 @@ jobs: include-what-you-use: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v5 with: submodules: recursive - name: Fetch dependencies diff --git a/.github/workflows/regular-release.yaml b/.github/workflows/regular-release.yaml index e99be973b0c..2243563170a 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@v4 + uses: actions/checkout@v5 - name: Create release uses: actions/create-release@v1 env: diff --git a/.github/workflows/release-packages.yaml b/.github/workflows/release-packages.yaml index 8eb1fa55504..85ea784b59a 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@v4 + - uses: actions/checkout@v5 with: submodules: recursive - name: Fetch dependencies @@ -82,7 +82,7 @@ jobs: env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v5 with: submodules: recursive - name: Fetch dependencies @@ -153,7 +153,7 @@ jobs: env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v5 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@v4 + uses: actions/checkout@v5 - 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@v4 + - uses: actions/checkout@v5 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@v4 + uses: actions/checkout@v5 with: submodules: recursive - name: Set Image Tag diff --git a/.github/workflows/syntax-checks.yaml b/.github/workflows/syntax-checks.yaml index e559c31afbc..851887209d8 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@v4 + - uses: actions/checkout@v5 with: submodules: recursive fetch-depth: 0 @@ -30,7 +30,7 @@ jobs: check-cpplint: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v4 + - uses: actions/checkout@v5 with: submodules: recursive fetch-depth: 0 @@ -53,7 +53,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Checkout CBMC repository - uses: actions/checkout@v4 + uses: actions/checkout@v5 - name: Install latest stable Rust toolchain run: | rustup toolchain install stable --profile minimal --no-self-update -c clippy -c rustfmt