verbose

leanprover-community · Jan 7, 2025 · 9bb1d83 · 9bb1d83
1 parent ceacafd
commit 9bb1d83
Showing 1 changed file with 2 additions and 8 deletions.
diff --git a/.github/workflows/build_windows.yml b/.github/workflows/build_windows.yml
@@ -52,12 +52,6 @@ jobs:
         shell: bash
         run: |
           rm -rf .lake/build/lib/Mathlib/
-          lake exe cache get Mathlib.Init
+          lake --verbose exe cache get Mathlib.Init
           # Fail quickly if the cache is completely cold, by checking for Mathlib.Init
-          lake build --no-build Mathlib.Init && lake exe cache get || echo "No cache for 'Mathlib.Init' available"
-
-      - name: grab the cache
-        shell: bash
-        run: |
-          rm -rf .lake/build/lib/Mathlib/
-          lake exe cache get
+          lake build --no-build Mathlib.Init && lake --verbose exe cache get || echo "No cache for 'Mathlib.Init' available"