CI: cache more docs (#264)

* CI: cache more docs The current list is very outdated. * simplify the path cache globs
ImperialCollegeLondon · Dec 2, 2024 · 177921c · 177921c
1 parent 6852b3a
commit 177921c
Showing 1 changed file with 1 addition and 7 deletions.
diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml
@@ -75,13 +75,7 @@ jobs:
         uses: actions/cache@v4
         with:
           path: |
-            .lake/build/doc/Init
-            .lake/build/doc/Lake
-            .lake/build/doc/Lean
-            .lake/build/doc/Std
-            .lake/build/doc/Mathlib
-            .lake/build/doc/declarations
-            !.lake/build/doc/declarations/declaration-data-FLT*
+            .lake/build/doc
           key: MathlibDoc-${{ hashFiles('lake-manifest.json') }}
           restore-keys: |
             MathlibDoc-