Add restore-keys

fpvandoorn · Jul 8, 2024 · 2477ed7 · 2477ed7
1 parent 6a1486d
commit 2477ed7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -53,7 +53,7 @@ jobs:
             .lake/build/doc/declarations
             !.lake/build/doc/declarations/declaration-data-BonnAnalysis*
           key: MathlibDoc-${{ hashFiles('lake-manifest.json') }}
-          #restore-keys: MathlibDoc-
+          restore-keys: MathlibDoc-
 
       - name: Build project documentation
         run: ~/.elan/bin/lake -Kenv=dev build BonnAnalysis:docs