update

docs/source/conf.py

@@ -13,7 +13,7 @@
 project = "LeanDojo"
 copyright = "2023, LeanDojo Team"
 author = "Kaiyu Yang"
-release = "2.0.1"
+release = "2.0.2"
 
 # -- General configuration ---------------------------------------------------
 # https://www.sphinx-doc.org/en/master/usage/configuration.html#general-configuration

pyproject.toml

@@ -12,7 +12,7 @@ exclude = [
 
 [project]
 name = "lean-dojo"
-version = "2.0.1"
+version = "2.0.2"
 authors = [
   { name="Kaiyu Yang", email="[email protected]" },
 ]

src/lean_dojo/constants.py

@@ -14,7 +14,7 @@
 
 load_dotenv()
 
-__version__ = "2.0.1"
+__version__ = "2.0.2"
 
 logger.remove()
 if "VERBOSE" in os.environ or "DEBUG" in os.environ:

src/lean_dojo/data_extraction/lean.py

@@ -46,9 +46,6 @@
 LEAN4_REPO = GITHUB.get_repo("leanprover/lean4")
 """The GitHub Repo for Lean 4 itself."""
 
-LEAN4_NIGHTLY_REPO = GITHUB.get_repo("leanprover/lean4-nightly")
-"""The GitHub Repo for Lean 4 nightly releases."""
-
 _URL_REGEX = re.compile(r"(?P<url>.*?)/*")
 
 
@@ -333,18 +330,9 @@ def get_lean4_commit_from_config(config_dict: Dict[str, Any]) -> str:
     assert "content" in config_dict, "config_dict must have a 'content' field"
     config = config_dict["content"].strip()
     prefix = "leanprover/lean4:"
-
-    if config == f"{prefix}nightly":
-        latest_tag = LEAN4_NIGHTLY_REPO.get_tags()[0]
-        return latest_tag.commit.sha
-
     assert config.startswith(prefix), f"Invalid Lean 4 version: {config}"
     version = config[len(prefix) :]
-
-    if version.startswith("nightly"):
-        return _to_commit_hash(LEAN4_NIGHTLY_REPO, version)
-    else:
-        return _to_commit_hash(LEAN4_REPO, version)
+    return _to_commit_hash(LEAN4_REPO, version)
 
 
 URL = TAG = COMMIT = str