diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 112380c0..b9deca8c 100644
--- 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
\ No newline at end of file
+      # - name: Make sure the cache works
+      #   run: mv docs/docs .lake/build/doc
\ No newline at end of file