diff --git a/lean-toolchain b/lean-toolchain index 68e968509a..d4881ae195 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:nightly-2024-08-16 +leanprover/lean4-pr-releases:pr-release-5088