diff --git a/.github/workflows/lean-build.yml b/.github/workflows/lean-build.yml
index 8269a40..b8d4e3c 100644
--- a/.github/workflows/lean-build.yml
+++ b/.github/workflows/lean-build.yml
@@ -29,7 +29,7 @@ jobs:
       # cold-cache hit (and depend on `lake exe cache get` below) than to
       # poison the build with stale oleans on key changes.
       - name: Cache elan toolchain and lake build artifacts
-        uses: actions/cache@0057852bfaa89a56745cba8c7296529d2fc39830  # v4.3.0
+        uses: actions/cache@27d5ce7f107fe9357f9df03efb73ab90386fccae  # v5.0.5
         with:
           path: |
             ~/.elan