chore: bump toolchain to v4.11.0-rc1

leanprover-community · Aug 5, 2024 · 8001f56 · 8001f56
1 parent 173f0d8
commit 8001f56
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "0f3e143dffdc3a591662f3401ce1d7a3405227c0",
+   "rev": "021e272cb5cdcc82b7e1e760fe915ff2f64169ad",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",

diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.10.0
+leanprover/lean4:v4.11.0-rc1