From c4640557a327bddc098ca8dad375e6c65e6a23b8 Mon Sep 17 00:00:00 2001 From: Kim Morrison Date: Wed, 4 Mar 2026 23:10:46 +0000 Subject: [PATCH] chore: bump toolchain to v4.29.0-rc4 --- lake-manifest.json | 6 +++--- lean-toolchain | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/lake-manifest.json b/lake-manifest.json index 78f6a52..2695a53 100644 --- a/lake-manifest.json +++ b/lake-manifest.json @@ -5,7 +5,7 @@ "type": "git", "subDir": null, "scope": "", - "rev": "3f5c2d5f84f7575a01b6d92916f4e914cefff51d", + "rev": "69981335508430ec0fc09241f535aa353c1e978e", "name": "subverso", "manifestFile": "lake-manifest.json", "inputRev": "main", @@ -15,7 +15,7 @@ "type": "git", "subDir": null, "scope": "", - "rev": "dc20d6c6f799c16e734ed402c8139eda8d9b5997", + "rev": "52c1f4b0309bbdab5fdf2870b43fcf85cf65a4fd", "name": "verso", "manifestFile": "lake-manifest.json", "inputRev": "main", @@ -25,7 +25,7 @@ "type": "git", "subDir": null, "scope": "", - "rev": "2b93f2523263a6df8a8fbbe3dd28b7f028087480", + "rev": "8629a535d10cd7edfbf1a2c5cdfbaeee135a62cd", "name": "plausible", "manifestFile": "lake-manifest.json", "inputRev": "main", diff --git a/lean-toolchain b/lean-toolchain index f08aa7f..5e4f370 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:v4.29.0-rc3 +leanprover/lean4:v4.29.0-rc4