diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 3ab74042..223706ca 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -17,7 +17,7 @@ jobs:
   lean-test:
     runs-on: warp-ubuntu-latest-x64-16x
     steps:
-      - uses: actions/checkout@v5
+      - uses: actions/checkout@v6
       - uses: leanprover/lean-action@v1
         with:
           build-args: "--wfail -v"
diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml
index f7e0fb17..9a9eebb5 100644
--- a/.github/workflows/compile.yml
+++ b/.github/workflows/compile.yml
@@ -25,7 +25,7 @@ jobs:
       - run: |
           mkdir -p ~/.local/bin
           echo | lake run install
-      - uses: actions/cache/save@v4
+      - uses: actions/cache/save@v5
         with:
           path: ~/.local/bin/ix
           key: ix-${{ github.sha }}
@@ -45,7 +45,7 @@ jobs:
     steps:
       - uses: actions/checkout@v6
       # Restore cached `ix` binary
-      - uses: actions/cache/restore@v4
+      - uses: actions/cache/restore@v5
         with:
           path: ~/.local/bin/ix
           key: ix-${{ github.sha }}
@@ -60,7 +60,7 @@ jobs:
           use-github-cache: false
       # FLT and FC take a few minutes to rebuild, so we cache the build artifacts
       - if: matrix.cache_pkg
-        uses: actions/cache@v4
+        uses: actions/cache@v5
         with:
           path: ${{ env.COMPILE_DIR }}/.lake/packages/${{ matrix.cache_pkg }}/.lake/build
           key: ${{ matrix.cache_pkg }}-${{ runner.os }}-${{ runner.arch }}-${{ hashFiles(format('{0}/lean-toolchain', env.COMPILE_DIR)) }}-${{ hashFiles(format('{0}/lake-manifest.json', env.COMPILE_DIR)) }}