Merge pull request #112 from lean-dojo/dev

fix "Unknown target Lean4Repl"
lean-dojo · Dec 14, 2023 · 97ad8cc · 97ad8cc
2 parents 4e81e73 + 8b57f3a
commit 97ad8cc
Show file tree

Hide file tree

Showing 7 changed files with 119 additions and 288 deletions.
diff --git a/pyproject.toml b/pyproject.toml
@@ -13,7 +13,7 @@ exclude = [
 
 [project]
 name = "lean-dojo"
-version = "1.4.3"
+version = "1.4.4rc"
 authors = [
   { name="Kaiyu Yang", email="[email protected]" },
 ]