chore: bump toolchain to v4.29.0-rc8 (#812)

kim-em · web-flow · commit 9a192b6e1d2a · 2026-03-25T00:16:14.000Z
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "4d955ffd04d5f6d1143c5bf8fffab59ea7d84595",
+   "rev": "22a0afa903bcf65285152eea298a3d319badc78d",
    "name": "plausible",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -25,7 +25,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "21e4badfe6a6b94d0a4227b0de0cd42ab54e2b68",
+   "rev": "52b9dfbd2658408e37ae6e8b72601ddeaaa25a0c",
    "name": "subverso",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.29.0-rc7
+leanprover/lean4:v4.29.0-rc8
diff --git a/test-projects/anchor-examples/lake-manifest.json b/test-projects/anchor-examples/lake-manifest.json
@@ -7,7 +7,7 @@
       "type": "git",
       "subDir": null,
       "scope": "",
-      "rev": "4178ac965dc971d00788f2635b1f55f258773210",
+      "rev": "e4e83260e3cef1407487b6b2563bfc70b6f594d4",
       "name": "subverso",
       "manifestFile": "lake-manifest.json",
       "inputRev": "main",
diff --git a/test-projects/documented-package/lake-manifest.json b/test-projects/documented-package/lake-manifest.json
@@ -7,7 +7,7 @@
       "type": "git",
       "subDir": null,
       "scope": "",
-      "rev": "4178ac965dc971d00788f2635b1f55f258773210",
+      "rev": "e4e83260e3cef1407487b6b2563bfc70b6f594d4",
       "name": "subverso",
       "manifestFile": "lake-manifest.json",
       "inputRev": "main",
diff --git a/test-projects/website-examples/lake-manifest.json b/test-projects/website-examples/lake-manifest.json
@@ -7,7 +7,7 @@
       "type": "git",
       "subDir": null,
       "scope": "",
-      "rev": "4178ac965dc971d00788f2635b1f55f258773210",
+      "rev": "e4e83260e3cef1407487b6b2563bfc70b6f594d4",
       "name": "subverso",
       "manifestFile": "lake-manifest.json",
       "inputRev": "main",
diff --git a/test-projects/website-literate/lake-manifest.json b/test-projects/website-literate/lake-manifest.json
@@ -7,7 +7,7 @@
       "type": "git",
       "subDir": null,
       "scope": "",
-      "rev": "4178ac965dc971d00788f2635b1f55f258773210",
+      "rev": "e4e83260e3cef1407487b6b2563bfc70b6f594d4",
       "name": "subverso",
       "manifestFile": "lake-manifest.json",
       "inputRev": "main",

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-leanprover/lean4:v4.29.0-rc7`
	`1`	`+leanprover/lean4:v4.29.0-rc8`