Bump actions/checkout from 4 to 5

.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

.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

.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

.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
 

.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

.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

.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

.github/workflows/performance.yaml

@@ -23,15 +23,15 @@ 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
           ref: ${{ env.OLD_REF }}
           fetch-depth: 2
 
       - name: Check out CBMC (new variant)
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
         with:
           submodules: recursive
           path: ./new

.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: |

.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

.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,15 +937,15 @@ 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
 
   # This job takes approximately 23 to 29 minutes
   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

.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:

.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

.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