chore: fix workflow

bergmannjg · Jun 22, 2024 · 44f0452 · 44f0452
1 parent 5151406
commit 44f0452
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ghpages.yml b/.github/workflows/ghpages.yml
@@ -31,6 +31,7 @@ jobs:
  uses: leanprover/lean-action@v1-beta
  with:
  lint-module: Regex
+ use-mathlib-cache: false
  - name: Build Doc
  run: |
  lake -R -Kenv=dev update