From 0f170010ce80007b4f7593f62f823f6a0d0dba03 Mon Sep 17 00:00:00 2001 From: Kaiyu Yang Date: Thu, 6 Jul 2023 09:24:00 -0500 Subject: [PATCH] releasing 1.1.2 --- pyproject.toml | 2 +- src/lean_dojo/constants.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/pyproject.toml b/pyproject.toml index acda345..2accb5f 100644 --- 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 index ebf8c9d..0e5f2df 100644 --- 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"])