Merge pull request #120 from tonyxty/main

fix #118
lean-dojo · Jan 2, 2024 · bec56c4 · bec56c4
2 parents 241cca7 + 2feb385
commit bec56c4
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/lean_dojo/data_extraction/build_lean4_repo.py b/src/lean_dojo/data_extraction/build_lean4_repo.py
@@ -134,7 +134,9 @@ def is_new_version(v) -> bool:
     assert major == 4 and minor == 3 and patch == 0
     if "4.3.0-rc" in v:
         rc = int(v.split("-")[1][2:])
-    return rc >= 2
+        return rc >= 2
+    else:
+        return True
 
 
 def main() -> None: