Merge main into nightly-testing

leanprover-community · Jan 5, 2025 · 4cc0635 · 4cc0635
2 parents ef4d375 + 03f408f
commit 4cc0635
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/docs-deploy.yml b/.github/workflows/docs-deploy.yml
@@ -26,7 +26,7 @@ jobs:
 
       - name: Build Docs
         working-directory: docs
-        run: lake build -q Batteries:docs
+        run: lake build --keep-toolchain -q Batteries:docs
 
       - name: Deploy Docs
         run: |

diff --git a/.github/workflows/docs-release.yml b/.github/workflows/docs-release.yml
@@ -27,7 +27,7 @@ jobs:
 
       - name: Build Docs
         working-directory: docs
-        run: lake build -q Batteries:docs
+        run: lake build --keep-toolchain -q Batteries:docs
 
       - name: Compress Docs
         working-directory: docs