diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 272d866..1759b38 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -32,7 +32,7 @@ jobs:
           lean_version: 4.8.0
 
       - name: Cache Lake dependencies
-        uses: actions/cache@v3
+        uses: actions/cache@v5
         with:
           path: .lake/packages
           key: lake-packages-${{ hashFiles('Lakefile.lean', 'lean-toolchain', 'lake-manifest.json') }}