From 60c93394263d9ce630a202c3da60ba50b491ad0b Mon Sep 17 00:00:00 2001 From: Kaiyu Yang Date: Mon, 19 Feb 2024 12:04:08 -0600 Subject: [PATCH] bump to v1.6.0 --- docs/source/conf.py | 2 +- pyproject.toml | 2 +- src/lean_dojo/constants.py | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/source/conf.py b/docs/source/conf.py index d979d06..8dc7aca 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -13,7 +13,7 @@ project = "LeanDojo" copyright = "2023, LeanDojo Team" author = "Kaiyu Yang" -release = "1.6.0rc" +release = "1.6.0" # -- General configuration --------------------------------------------------- # https://www.sphinx-doc.org/en/master/usage/configuration.html#general-configuration diff --git a/pyproject.toml b/pyproject.toml index 646baeb..d48d587 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -13,7 +13,7 @@ exclude = [ [project] name = "lean-dojo" -version = "1.6.0rc" +version = "1.6.0" authors = [ { name="Kaiyu Yang", email="kaiyuy@caltech.edu" }, ] diff --git a/src/lean_dojo/constants.py b/src/lean_dojo/constants.py index 375fe46..5f619b5 100644 --- a/src/lean_dojo/constants.py +++ b/src/lean_dojo/constants.py @@ -14,7 +14,7 @@ load_dotenv() -__version__ = "1.6.0rc" +__version__ = "1.6.0" logger.remove() if "VERBOSE" in os.environ or "DEBUG" in os.environ: