Merge pull request #5 from leanprover/toolchain/v4.3.0

chore: bump toolchain to v4.3.0
leanprover · Nov 30, 2023 · c2eb8e7 · c2eb8e7
2 parents ffa7217 + 9bbbe0d
commit c2eb8e7
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 4 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,3 +1,9 @@
-/build
-/lake-packages/*
-lakefile.olean
+# macOS leaves these files everywhere:
+.DS_Store
+# Prior to v4.3.0-rc2 lake stored files in these locations.
+# We'll leave them in the `.gitignore` for a while for users switching between toolchains.
+/build/
+/lake-packages/
+/lakefile.olean
+# After v4.3.0-rc2 lake stores its files here:
+/.lake/
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.3.0-rc1
+leanprover/lean4:v4.3.0