diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 5c8e2a2..b92e3a4 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -20,7 +20,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout
-        uses: actions/checkout@v4
+        uses: actions/checkout@v6
 
       - name: Build and run CI in devcontainer
         uses: devcontainers/ci@v0.3
@@ -33,7 +33,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout
-        uses: actions/checkout@v4
+        uses: actions/checkout@v6
 
       - name: Run Kani proofs in devcontainer
         uses: devcontainers/ci@v0.3