Commit from GitHub Actions (Update Lean Project)

github-actions[bot] · github-actions[bot] · commit 149ec092a6f1 · 2026-03-23T10:27:30.000Z
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -1,5 +1,6 @@
-{"version": "1.1.0",
+{"version": "1.2.0",
  "packagesDir": ".lake/packages",
  "packages": [],
  "name": "«human-eval-lean»",
- "lakeDir": ".lake"}
+ "lakeDir": ".lake",
+ "fixedToolchain": false}
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2026-03-22
+leanprover/lean4:nightly-2026-03-23
