chore: update toolchain v4.29.0-rc7 (#106)

Co-authored-by: fgdorais <fgdorais@users.noreply.github.com>

Author: github-actions[bot]

lake-manifest.json

@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "46c359dcff7e8db7f63efd17f188c3967207335c",
+   "rev": "42d2b4ed2e0a4ff27297332b18ad8690814b2574",
    "name": "UnicodeBasic",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -15,7 +15,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "ac3fb7297326c5429ce2844712fb54ba9dd20198",
+   "rev": "46f6618b9942c1f67ebe3b8051163ddb8d8ff496",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",

lean-toolchain

@@ -1 +1 @@
-leanprover/lean4:v4.29.0-rc6
+leanprover/lean4:v4.29.0-rc8