From 5e5b9ba958cf94715fad643f178fab8e24d1d60f Mon Sep 17 00:00:00 2001 From: leanprover-community-mathlib4-bot Date: Wed, 22 Jan 2025 15:03:58 +0000 Subject: [PATCH] Update lean-toolchain for testing https://github.com/leanprover/lean4/pull/6368 --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean-toolchain b/lean-toolchain index fd861e5b49..73b61f2f75 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:nightly-2025-01-22 +leanprover/lean4-pr-releases:pr-release-6368