Merge pull request #6 from ImperialCollegeLondon/fix-cache

Fix Mathlib search after caching
ImperialCollegeLondon · Dec 2, 2023 · 02a3c43 · 02a3c43
2 parents 83b442f + 90a1df8
commit 02a3c43
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -51,9 +51,10 @@ jobs:
             .lake/build/doc/Lean
             .lake/build/doc/Std
             .lake/build/doc/Mathlib
-          key: DocGen4-${{ hashFiles('lake-manifest.json') }}
+            .lake/build/doc/declarations
+          key: MathlibDoc-${{ hashFiles('lake-manifest.json') }}
           restore-keys: |
-            DocGen4-
+            MathlibDoc-
 
       - name: Build documentation
         run: ~/.elan/bin/lake -Kenv=dev build FLT:docs