Explicitly use mathlib cache for indirect dependency

utensil · Oct 24, 2024 · 60654c9 · 60654c9
1 parent 0bf1269
commit 60654c9
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/lean4.yml b/.github/workflows/lean4.yml
@@ -100,6 +100,7 @@ jobs:
         uses: leanprover/lean-action@v1
         with:
           lake-package-directory: "lean4-verso-xp"
+          use-mathlib-cache: true
       - name: check SciXp
         if: >-
           steps.filter.outputs.shared == 'true' ||
@@ -108,6 +109,7 @@ jobs:
         uses: leanprover/lean-action@v1
         with:
           lake-package-directory: "lean4-sci-xp"
+          use-mathlib-cache: true
       - name: Install Python
         uses: actions/setup-python@v5
         with: