From 3610125f5bc3bfa748a641984e5a01ad3270ee1e Mon Sep 17 00:00:00 2001 From: Kaiyu Yang Date: Fri, 23 Feb 2024 15:14:12 -0600 Subject: [PATCH] minor fix --- src/lean_dojo/data_extraction/lean.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/lean_dojo/data_extraction/lean.py b/src/lean_dojo/data_extraction/lean.py index 122cf19..249e0a0 100644 --- a/src/lean_dojo/data_extraction/lean.py +++ b/src/lean_dojo/data_extraction/lean.py @@ -445,7 +445,8 @@ def __post_init__(self) -> None: config = self.get_config("lean-toolchain") lean_version = get_lean4_commit_from_config(config) v = get_lean4_version_from_config(config["content"]) - assert is_supported_version(v), f"Unsupported Lean version: {lean_version}" + if not is_supported_version(v): + logger.warning(f"{self} relies on an unsupported Lean version: {lean_version}") info_cache.lean_version[(self.url, self.commit)] = lean_version object.__setattr__(self, "lean_version", lean_version)