From a92c59c3d93018dac29d7cc4829d21f1a6bef57d Mon Sep 17 00:00:00 2001
From: astefano <lacramioara.astefanoaei@gmail.com>
Date: Thu, 4 Jun 2026 13:16:29 +0200
Subject: [PATCH] Pin lean-toolchain to an elan-resolvable release
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

`lean-toolchain` contained `master`, which elan cannot resolve
(`error: no such release: 'master'`), breaking CI and clean checkouts.
Pin to `leanprover/lean4:v4.29.0` — a concrete, elan-resolvable release that
loom2's current source builds on.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
---
 lean-toolchain | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lean-toolchain b/lean-toolchain
index 1f7391f..14791d7 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-master
+leanprover/lean4:v4.29.0