chore: bump toolchain to v4.34.0-rc1 (#950)

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com>
Co-authored-by: David Thrane Christiansen <david@lean-fro.org>
Co-authored-by: Jonathan Merritt <jmerritt@canva.com>
Co-authored-by: Robert J. Simmons <442315+robsimmons@users.noreply.github.com>
Co-authored-by: David Thrane Christiansen <david@davidchristiansen.dk>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: jcreedcmu <jcreed@gmail.com>
Co-authored-by: Kim Morrison <kim@tqft.net>
Co-authored-by: Rob Simmons <rob@lean-fro.org>

Author: 8 people

lake-manifest.json

@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "6bc815869cba1f19515715dc6b47795acd521f1c",
+   "rev": "76f052847294d189dc9924a33466b4b677f47e67",
    "name": "illuminate",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -15,7 +15,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "b7eb3304aeae834b12dda98993a37f6a41f6f0bb",
+   "rev": "38e9c3ce15cbb63c92e90bb9a92e4eb82131f669",
    "name": "plausible",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",

lean-toolchain

@@ -1 +1 @@
-leanprover/lean4:v4.33.0
+leanprover/lean4:v4.34.0-rc1

test-projects/literate-config/lake-manifest.json

@@ -16,7 +16,7 @@
       "type": "git",
       "subDir": null,
       "scope": "",
-      "rev": "b3debfe6b629192033ef87257e1c60201881646f",
+      "rev": "6bc815869cba1f19515715dc6b47795acd521f1c",
       "name": "illuminate",
       "manifestFile": "lake-manifest.json",
       "inputRev": "main",
@@ -28,7 +28,7 @@
       "type": "git",
       "subDir": null,
       "scope": "",
-      "rev": "e12c1910fe855cbfc38803cd4e55543906d5fa62",
+      "rev": "b7eb3304aeae834b12dda98993a37f6a41f6f0bb",
       "name": "plausible",
       "manifestFile": "lake-manifest.json",
       "inputRev": "main",

test-projects/literate-config/lean-toolchain

@@ -1 +1 @@
-leanprover/lean4:v4.33.0
+leanprover/lean4:v4.34.0-rc1

test-projects/literate-multi-root/lake-manifest.json

@@ -16,7 +16,7 @@
       "type": "git",
       "subDir": null,
       "scope": "",
-      "rev": "b3debfe6b629192033ef87257e1c60201881646f",
+      "rev": "6bc815869cba1f19515715dc6b47795acd521f1c",
       "name": "illuminate",
       "manifestFile": "lake-manifest.json",
       "inputRev": "main",
@@ -28,7 +28,7 @@
       "type": "git",
       "subDir": null,
       "scope": "",
-      "rev": "e12c1910fe855cbfc38803cd4e55543906d5fa62",
+      "rev": "b7eb3304aeae834b12dda98993a37f6a41f6f0bb",
       "name": "plausible",
       "manifestFile": "lake-manifest.json",
       "inputRev": "main",

test-projects/literate-multi-root/lean-toolchain

@@ -1 +1 @@
-leanprover/lean4:v4.33.0
+leanprover/lean4:v4.34.0-rc1