diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 6017bc9719..ef04482344 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -44,7 +44,7 @@ jobs:
 
     steps:
       - name: Clone the VAST repository
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
         with:
           submodules: true
           fetch-depth: 1
diff --git a/.github/workflows/devcontainer.yml b/.github/workflows/devcontainer.yml
index 7819eee45f..fedcf66c4d 100644
--- a/.github/workflows/devcontainer.yml
+++ b/.github/workflows/devcontainer.yml
@@ -32,7 +32,7 @@ jobs:
           docker run --rm -v $(pwd):/workspace -w /workspace ubuntu:latest find . -name . -o -prune -exec rm -rf -- {} + || true
 
       - name: Clone the VAST repository
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
         with:
           submodules: true
           fetch-depth: 1
diff --git a/.github/workflows/linter.yml b/.github/workflows/linter.yml
index fb88810678..41bbe5ac82 100644
--- a/.github/workflows/linter.yml
+++ b/.github/workflows/linter.yml
@@ -38,7 +38,7 @@ jobs:
         run: git config --global --add safe.directory '*'
 
       - name: Clone the vast repository
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
         with:
           submodules: true
           fetch-depth: 1
diff --git a/.github/workflows/prerelease.yml b/.github/workflows/prerelease.yml
index 382a7a011c..890f855d6a 100644
--- a/.github/workflows/prerelease.yml
+++ b/.github/workflows/prerelease.yml
@@ -42,7 +42,7 @@ jobs:
 
     steps:
       - name: Clone the VAST repository
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
         with:
           submodules: true
           fetch-depth: '0' # Required by the tag action
@@ -65,7 +65,7 @@ jobs:
         run: cpack --preset ci
 
       - name: Upload VAST build artifact
-        uses: actions/upload-artifact@v4
+        uses: actions/upload-artifact@v5
         with:
           name: VAST
           path: ./builds/ci/package/*
@@ -107,7 +107,7 @@ jobs:
 
     steps:
      - name: Fetch VAST artifact
-       uses: actions/download-artifact@v4
+       uses: actions/download-artifact@v6
        with:
          name: VAST
 
@@ -124,7 +124,7 @@ jobs:
           pip3 install lit psutil
 
      - name: Clone test suite repository
-       uses: actions/checkout@v4
+       uses: actions/checkout@v5
        with:
         repository: trailofbits/vast-llvm-test-suite
         ref: main
@@ -164,7 +164,7 @@ jobs:
        run: lit --timeout=360 -v -o ../../results-${{ matrix.vast-target }}$VAST_RESULTS_SUFFIX.json .
 
      - name: Upload results
-       uses: actions/upload-artifact@v4
+       uses: actions/upload-artifact@v5
        with:
         path: ./results-${{ matrix.vast-target }}${{ env.VAST_RESULTS_SUFFIX }}.json
         name: results-llvm-ts-${{ matrix.vast-target }}${{ env.VAST_RESULTS_SUFFIX }}
@@ -178,7 +178,7 @@ jobs:
     runs-on: ubuntu-${{ matrix.image-version }}
     steps:
       - name: Fetch result artifacts
-        uses: actions/download-artifact@v4
+        uses: actions/download-artifact@v6
         with:
           pattern: results-llvm-ts-*
           merge-multiple: true
@@ -187,7 +187,7 @@ jobs:
         run:  pip3 install pandas scipy tabulate
 
       - name: Clone test suite repository
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
         with:
           repository: trailofbits/vast-llvm-test-suite
           sparse-checkout: utils/vast_compare.py
@@ -203,7 +203,7 @@ jobs:
             --output single-source-results
 
       - name: Post results as artifacts
-        uses: actions/upload-artifact@v4
+        uses: actions/upload-artifact@v5
         with:
           name: llvm-test-suite-results
           path: |
@@ -230,7 +230,7 @@ jobs:
 
     steps:
      - name: Fetch VAST artifact
-       uses: actions/download-artifact@v4
+       uses: actions/download-artifact@v6
        with:
          name: VAST
 
@@ -244,7 +244,7 @@ jobs:
        run: git clone --depth=1 https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks.git
 
      - name: Clone patch repository
-       uses: actions/checkout@v4
+       uses: actions/checkout@v5
        with:
         repository: trailofbits/sv-bench-patch
         ref: ci-version
@@ -270,7 +270,7 @@ jobs:
         fi
 
      - name: Upload results
-       uses: actions/upload-artifact@v4
+       uses: actions/upload-artifact@v5
        with:
         path: ./stats
         name: results-sv-${{ matrix.vast-target }}${{ env.VAST_RESULTS_SUFFIX }}
@@ -284,7 +284,7 @@ jobs:
     runs-on: ubuntu-${{ matrix.image-version }}
     steps:
       - name: Fetch result artifacts
-        uses: actions/download-artifact@v4
+        uses: actions/download-artifact@v6
         with:
           pattern: results-sv-*
 
@@ -292,7 +292,7 @@ jobs:
         run: pip3 install pandas scipy tabulate
 
       - name: Clone patch repository
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
         with:
           repository: trailofbits/sv-bench-patch
           sparse-checkout: make_table.py
@@ -308,7 +308,7 @@ jobs:
             --output sv-comp-results
 
       - name: Post results as artifacts
-        uses: actions/upload-artifact@v4
+        uses: actions/upload-artifact@v5
         with:
           name: sv-comp-results
           path: ./sv-comp-results.md
@@ -334,7 +334,7 @@ jobs:
 
     steps:
       - name: Fetch VAST artifact
-        uses: actions/download-artifact@v4
+        uses: actions/download-artifact@v6
         with:
           name: VAST
 
@@ -361,7 +361,7 @@ jobs:
           python3 ./scripts/clang-tools/gen_compile_commands.py
 
       - name: Clone vast benchmark directory
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
         with:
           repository: trailofbits/vast-benchmarks
           sparse-checkout: benchmarks/linux_kernel
@@ -391,7 +391,7 @@ jobs:
           > vast_linux_kernel_times_${{ matrix.vast-target }}_${{ env.VAST_RESULTS_SUFFIX }}.tsv
 
       - name: Upload results
-        uses: actions/upload-artifact@v4
+        uses: actions/upload-artifact@v5
         with:
           name: vast_linux_kernel_times_${{ matrix.vast-target }}_${{ env.VAST_RESULTS_SUFFIX }}.tsv
           path: ./vast_linux_kernel_times_${{ matrix.vast-target }}_${{ env.VAST_RESULTS_SUFFIX }}.tsv
@@ -405,7 +405,7 @@ jobs:
     runs-on: ubuntu-${{ matrix.image-version }}
     steps:
       - name: Fetch result artifacts
-        uses: actions/download-artifact@v4
+        uses: actions/download-artifact@v6
         with:
           pattern: vast_linux_kernel_times_*
           merge-multiple: true
@@ -414,7 +414,7 @@ jobs:
         run: pip3 install pandas scipy tabulate
 
       - name: Clone vast benchmark directory
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
         with:
           repository: trailofbits/vast-benchmarks
           sparse-checkout: utils/
@@ -429,7 +429,7 @@ jobs:
           --output_filepath linux_kernel_times.md
 
       - name: Post results as artifacts
-        uses: actions/upload-artifact@v4
+        uses: actions/upload-artifact@v5
         with:
           name: linux_kernel_times.md
           path: ./linux_kernel_times.md
@@ -461,7 +461,7 @@ jobs:
 
     steps:
       - name: Fetch VAST artifact
-        uses: actions/download-artifact@v4
+        uses: actions/download-artifact@v6
         with:
           name: VAST
 
@@ -485,7 +485,7 @@ jobs:
           bear -- make
 
       - name: Clone vast benchmark directory
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
         with:
           repository: trailofbits/vast-benchmarks
           sparse-checkout: benchmarks/linux_kernel
@@ -515,7 +515,7 @@ jobs:
           > gzip_${{ matrix.gzip-version }}_${{ matrix.vast-target }}_${{ env.VAST_RESULTS_SUFFIX }}.tsv
 
       - name: Upload results
-        uses: actions/upload-artifact@v4
+        uses: actions/upload-artifact@v5
         with:
           name: gzip_${{ matrix.gzip-version }}_${{ matrix.vast-target }}_${{ env.VAST_RESULTS_SUFFIX }}.tsv
           path: ./gzip_${{ matrix.gzip-version }}_${{ matrix.vast-target }}_${{ env.VAST_RESULTS_SUFFIX }}.tsv
@@ -530,7 +530,7 @@ jobs:
     runs-on: ubuntu-${{ matrix.image-version }}
     steps:
       - name: Fetch result artifacts
-        uses: actions/download-artifact@v4
+        uses: actions/download-artifact@v6
         with:
           pattern: gzip_*
           merge-multiple: true
@@ -539,7 +539,7 @@ jobs:
         run: pip3 install pandas scipy tabulate
 
       - name: Clone vast benchmark directory
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
         with:
           repository: trailofbits/vast-benchmarks
           sparse-checkout: utils/
@@ -556,7 +556,7 @@ jobs:
           }' --output_filepath gzip_times_${{ matrix.gzip-version }}.md
 
       - name: Post results as artifacts
-        uses: actions/upload-artifact@v4
+        uses: actions/upload-artifact@v5
         with:
           name: gzip_times_${{ matrix.gzip-version }}.md
           path: ./gzip_times_${{ matrix.gzip-version }}.md
@@ -584,7 +584,7 @@ jobs:
 
     steps:
       - name: Clone the VAST repository
-        uses: actions/checkout@v4
+        uses: actions/checkout@v5
         with:
           submodules: true
           fetch-depth: 1
@@ -596,31 +596,31 @@ jobs:
         run: cmake --build --preset ci-release --target vast-doc
 
       - name: Fetch LLVM test suite results
-        uses: actions/download-artifact@v4
+        uses: actions/download-artifact@v6
         with:
           name: llvm-test-suite-results
           path: llvm-test-suite-results
 
       - name: Fetch SV-Comp benchmarks results
-        uses: actions/download-artifact@v4
+        uses: actions/download-artifact@v6
         with:
           name: sv-comp-results
           path: sv-comp-results
 
       - name: Fetch Linux kernel benchmark results
-        uses: actions/download-artifact@v4
+        uses: actions/download-artifact@v6
         with:
           name: linux_kernel_times.md
           path: linux_kernel_times
 
       - name: Fetch GZIP 1.10 benchmark results
-        uses: actions/download-artifact@v4
+        uses: actions/download-artifact@v6
         with:
             name: gzip_times_1.10.md
             path: gzip_times_1.10
 
       - name: Fetch GZIP 1.13 benchmark results
-        uses: actions/download-artifact@v4
+        uses: actions/download-artifact@v6
         with:
             name: gzip_times_1.13.md
             path: gzip_times_1.13