Merge pull request #106 from lean-dojo/dev

bump
lean-dojo · Dec 3, 2023 · 99da657 · 99da657
2 parents 46462d0 + 602ac38
commit 99da657
Show file tree

Hide file tree

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

diff --git a/src/lean_dojo/constants.py b/src/lean_dojo/constants.py
@@ -15,7 +15,7 @@
 
 load_dotenv()
 
-__version__ = "1.4.2-rc"
+__version__ = "1.4.2"
 
 logger.remove()
 if "VERBOSE" in os.environ or "DEBUG" in os.environ: