Update push.yml

fpvandoorn · Jul 6, 2024 · 42db139 · 42db139
1 parent 7fc5903
commit 42db139
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -57,13 +57,13 @@ jobs:
           restore-keys: |
             MathlibDoc- # Cache Mathlib documentation to save rebuild time
 
-      - name: Cache documentation build artifacts
-        uses: actions/cache@v3
-        with:
-          path: .lake/build
-          key: build-artifacts-${{ runner.os }}-${{ hashFiles('lake-manifest.json') }}
-          restore-keys: |
-            build-artifacts-
+      # - name: Cache documentation build artifacts
+      #   uses: actions/cache@v3
+      #   with:
+      #     path: .lake/build
+      #     key: build-artifacts-${{ runner.os }}-${{ hashFiles('lake-manifest.json') }}
+      #     restore-keys: |
+      #       build-artifacts-
 
       - name: Build documentation
         run: ~/.elan/bin/lake -Kenv=dev build BonnAnalysis:docs # Build project documentation