chore: bump toolchain to v4.29.0-rc4 (#786)

kim-em · web-flow · commit 52c1f4b0309b · 2026-03-04T13:35:03.000Z
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "2b93f2523263a6df8a8fbbe3dd28b7f028087480",
+   "rev": "8629a535d10cd7edfbf1a2c5cdfbaeee135a62cd",
    "name": "plausible",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -25,7 +25,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "3f5c2d5f84f7575a01b6d92916f4e914cefff51d",
+   "rev": "69981335508430ec0fc09241f535aa353c1e978e",
    "name": "subverso",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.29.0-rc3
+leanprover/lean4:v4.29.0-rc4
diff --git a/test-projects/anchor-examples/lake-manifest.json b/test-projects/anchor-examples/lake-manifest.json
@@ -6,7 +6,7 @@
       "url": "https://github.com/leanprover/subverso",
       "type": "git",
       "subDir": null,
-      "rev": "460636e490f335e073123ce1f6c97bdc685b60d2",
+      "rev": "a06e9943b4d1ff663397259365329dcf08fac5d3",
       "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": "460636e490f335e073123ce1f6c97bdc685b60d2",
+      "rev": "a06e9943b4d1ff663397259365329dcf08fac5d3",
       "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
@@ -6,7 +6,7 @@
       "url": "https://github.com/leanprover/subverso",
       "type": "git",
       "subDir": null,
-      "rev": "460636e490f335e073123ce1f6c97bdc685b60d2",
+      "rev": "a06e9943b4d1ff663397259365329dcf08fac5d3",
       "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": "460636e490f335e073123ce1f6c97bdc685b60d2",
+      "rev": "a06e9943b4d1ff663397259365329dcf08fac5d3",
       "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-rc3`
	`1`	`+leanprover/lean4:v4.29.0-rc4`