From 68d3e6f1adcc87e1e13e91a811611ced5f87820b Mon Sep 17 00:00:00 2001
From: Kim Morrison <kim@tqft.net>
Date: Wed, 25 Mar 2026 14:36:45 +1100
Subject: [PATCH] chore: bump toolchain to v4.29.0-rc8

---
 lake-manifest.json | 20 ++++++++++----------
 lean-toolchain     |  2 +-
 2 files changed, 11 insertions(+), 11 deletions(-)

diff --git a/lake-manifest.json b/lake-manifest.json
index f80fc221a..753330ea6 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "c5edb8d3738a5abd7da7f34d5bcb27f632a1ecca",
+   "rev": "698d2b68b870f1712040ab0c233d34372d4b56df",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -15,7 +15,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "4d955ffd04d5f6d1143c5bf8fffab59ea7d84595",
+   "rev": "22a0afa903bcf65285152eea298a3d319badc78d",
    "name": "plausible",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -35,7 +35,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "4270b99dc7c5e90d5ee5c6cb2dd91aaba5b19557",
+   "rev": "db22912cdd820b2a2bd84bd25273cb322ff09ead",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -45,17 +45,17 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "d5dd6db02323362c2ee1508213685861fbe78561",
+   "rev": "136730b5a40dc633967f5433cb7668df5c3bf9a3",
    "name": "proofwidgets",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v0.0.93",
+   "inputRev": "v0.0.94",
    "inherited": true,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/aesop",
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "a90cba993b699ba1a83f96644ed074c1bea86617",
+   "rev": "3426969888a264d3f69b6f30ab50aa11f28eb38d",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -65,7 +65,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "a1a17eaf447597dcd0a3b1f92463fce1c37452f2",
+   "rev": "3a9fde028258300f1cbb003d457d47c8d8e16b1c",
    "name": "Qq",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -75,7 +75,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "46f6618b9942c1f67ebe3b8051163ddb8d8ff496",
+   "rev": "bce25af79ec73f5e63240d4399a4cd8a6a227fcb",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -85,10 +85,10 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover",
-   "rev": "33583e6fb5096defc38f0c7f67d1c4a3825aee1f",
+   "rev": "61cd682f2a25175996bc1b9e8d8231e76cded866",
    "name": "Cli",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.29.0-rc7",
+   "inputRev": "v4.29.0-rc8",
    "inherited": true,
    "configFile": "lakefile.toml"}],
  "name": "cslib",
diff --git a/lean-toolchain b/lean-toolchain
index 4d6fa16ed..ccec351f4 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.29.0-rc7
+leanprover/lean4:v4.29.0-rc8