Bump actions/cache from 3 to 4

fpvandoorn · Jul 26, 2024 · 5d46ad3 · 5d46ad3
1 parent 7bd5f5a
commit 5d46ad3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -48,7 +48,7 @@ jobs:
         run: ~/.elan/bin/lake -Kenv=dev build Carleson
 
       - name: Cache mathlib documentation
-        uses: actions/cache@v3
+        uses: actions/cache@v4
         with:
           path: |
             .lake/build/doc/Init