chore: bump toolchain to v4.29.0-rc3 (#777)

kim-em · web-flow · commit dc20d6c6f799 · 2026-03-01T21:28:40.000Z
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "faaefc80803bee475f81355a3aab270cafc81923",
+   "rev": "2b93f2523263a6df8a8fbbe3dd28b7f028087480",
    "name": "plausible",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.29.0-rc2
+leanprover/lean4:v4.29.0-rc3
