releasing 1.1.2

lean-dojo · Jul 6, 2023 · 0f17001 · 0f17001
1 parent 6fce7fe
commit 0f17001
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.1.1"
+version = "1.1.2"
 authors = [
   { name="Kaiyu Yang", email="kaiyuy@caltech.edu" },
 ]

diff --git a/src/lean_dojo/constants.py b/src/lean_dojo/constants.py
@@ -6,7 +6,7 @@
 from pathlib import Path
 
 
-__version__ = "1.1.1"
+__version__ = "1.1.2"
 
 CACHE_DIR = (
     Path(os.environ["CACHE_DIR"])