From 6d11dfb2cb4c9cfe2a7a57af5e382fd9c72883bd Mon Sep 17 00:00:00 2001 From: Scott Morrison Date: Fri, 17 Nov 2023 23:16:04 +1100 Subject: [PATCH 1/3] bump toolchain to v4.3.0-rc2 --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean-toolchain b/lean-toolchain index e856017..24a3cdb 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:v4.3.0-rc1 +leanprover/lean4:v4.3.0-rc2 From f7540c9785485e77a1e68537ebcdc3ee5feab7b2 Mon Sep 17 00:00:00 2001 From: Scott Morrison Date: Thu, 30 Nov 2023 14:23:58 +1100 Subject: [PATCH 2/3] update .gitignore --- .gitignore | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/.gitignore b/.gitignore index 5bff016..4bfef3c 100644 --- 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/ From 9bbbe0d9566a8ec4e215946cfcd30e40470f75bf Mon Sep 17 00:00:00 2001 From: Scott Morrison Date: Thu, 30 Nov 2023 15:30:18 +1100 Subject: [PATCH 3/3] chore: bump toolchain to v4.3.0 --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean-toolchain b/lean-toolchain index 24a3cdb..5cadc9d 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:v4.3.0-rc2 +leanprover/lean4:v4.3.0