Merge branch 'nightly'

leanprover · Jul 10, 2024 · 2cf1030 · 2cf1030
2 parents a115660 + bf066c3
commit 2cf1030
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 8 deletions.
diff --git a/lakefile.lean b/lakefile.lean
diff --git a/lakefile.toml b/lakefile.toml
@@ -0,0 +1,5 @@
+name = "Cli"
+defaultTargets = ["Cli"]
+
+[[lean_lib]]
+name = "Cli"
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.7.0
+leanprover/lean4:v4.9.0