From 055453cefbb31f2f4174e52ec3e9aa73231dad25 Mon Sep 17 00:00:00 2001 From: "downstream-lean4[bot]" Date: Fri, 4 Sep 2026 15:26:55 +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 2b8321730..a799f2f6e 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:nightly-2026-09-03 +leanprover/lean4-pr-releases:pr-release-15029-b26ed67 From 132176d6212d8545fefc245acf141f9b65d2aecd Mon Sep 17 00:00:00 2001 From: "downstream-lean4[bot]" Date: Fri, 4 Sep 2026 16:17:30 +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 a799f2f6e..901a7a708 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4-pr-releases:pr-release-15029-b26ed67 +leanprover/lean4-pr-releases:pr-release-15029-416684f