Update update_mathlib.sh (#85)

mo271 · Dec 11, 2024 · 0ce5d98 · 0ce5d98
1 parent f2784bf
commit 0ce5d98
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/scripts/update_mathlib.sh b/scripts/update_mathlib.sh
@@ -6,6 +6,3 @@ curl -L https://raw.githubusercontent.com/leanprover-community/mathlib4/master/l
 # Update the Mathlib dependencies and ensure doc-gen is also updated
 # The `-Kenv=dev` flag ensures that the development environment is updated, including doc-gen
 lake -Kenv=dev update
-
-# Retrieve and cache the latest Mathlib dependencies
-lake exe cache get