From 6c36abb4a212fb06e0d2f2bf20f612651ead1238 Mon Sep 17 00:00:00 2001 From: Scott Morrison Date: Fri, 2 Feb 2024 10:51:59 +1100 Subject: [PATCH 1/2] move to v4.6.0-rc1 --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean-toolchain b/lean-toolchain index bd59abf..cfcdd32 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:v4.5.0 +leanprover/lean4:v4.6.0-rc1 From 798ed9f2dcfe153cc2500f13b31c35b191656096 Mon Sep 17 00:00:00 2001 From: Scott Morrison Date: Thu, 29 Feb 2024 11:47:44 +1100 Subject: [PATCH 2/2] chore: bump toolchain to v4.6.0 --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean-toolchain b/lean-toolchain index cfcdd32..5026204 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:v4.6.0-rc1 +leanprover/lean4:v4.6.0