From c6bdcdef6ccf27612627141f6b98660fc37b6068 Mon Sep 17 00:00:00 2001 From: "downstream-lean4[bot]" Date: Fri, 24 Jul 2026 14:45:58 +0000 Subject: [PATCH 1/2] downstream: follow upstream PR --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean-toolchain b/lean-toolchain index 728ce7a44..4ef1a524d 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:nightly-2026-07-22 +leanprover/lean4-pr-releases:pr-release-14537-c4f2d64 From 0936bf4e47032291c326832b026a40b90046c132 Mon Sep 17 00:00:00 2001 From: "downstream-lean4[bot]" Date: Fri, 24 Jul 2026 16:44:49 +0000 Subject: [PATCH 2/2] downstream: follow upstream PR --- lean-toolchain | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lean-toolchain b/lean-toolchain index 4ef1a524d..7e3af9dcd 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4-pr-releases:pr-release-14537-c4f2d64 +leanprover/lean4-pr-releases:pr-release-14537-e90a1bf