diff --git a/.github/workflows/cbmc.yml b/.github/workflows/cbmc.yml
index 8a9f9328e2..ae7f9a0af4 100644
--- a/.github/workflows/cbmc.yml
+++ b/.github/workflows/cbmc.yml
@@ -17,7 +17,7 @@ jobs:
       - name: Install z3
         uses: ./.github/actions/install-z3
       - name: Prepare ccache
-        uses: actions/cache@v5
+        uses: actions/cache@v6
         with:
           save-always: true
           path: .ccache
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index b326c11365..0190e44f5a 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -103,7 +103,7 @@ jobs:
     steps:
       - uses: actions/checkout@v6
       - name: Restore lake cache
-        uses: actions/cache/restore@v5
+        uses: actions/cache/restore@v6
         with:
           path: |
             .lake
@@ -125,7 +125,7 @@ jobs:
         run: ./generate.sh
         working-directory: docs/verso
       - name: Save lake cache
-        uses: actions/cache/save@v5
+        uses: actions/cache/save@v6
         with:
           path: |
             .lake