diff --git a/lean-toolchain b/lean-toolchain index 05ec2f6271..389cf8434b 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:nightly-2024-10-27 +leanprover/lean4-pr-releases:pr-release-5862