Update push.yml

fpvandoorn · Jul 16, 2024 · 166362a · 166362a
1 parent a050b79
commit 166362a
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -58,7 +58,8 @@ jobs:
             .lake/build/doc/Mathlib
             .lake/build/doc/declarations
             !.lake/build/doc/declarations/declaration-data-Carleson*
-          key: MathlibDoc-${{ hashFiles('lake-manifest.json') }}
+          key: MathlibDoc-1
+          #${{ hashFiles('lake-manifest.json') }}
           #restore-keys: MathlibDoc-
 
       - name: Build project documentation
@@ -122,5 +123,5 @@ jobs:
         id: deployment
         uses: actions/deploy-pages@v1
 
-      - name: Make sure the cache works
-        run: mv docs/docs .lake/build/doc
+      # - name: Make sure the cache works
+      #   run: mv docs/docs .lake/build/doc