lean-runtime 2.0.8__tar.gz → 2.0.9__tar.gz

{lean_runtime-2.0.8 → lean_runtime-2.0.9}/CHANGELOG.md

@@ -2,6 +2,11 @@
 
 ## Unreleased
 
+## 2.0.9 - 2026-08-10
+
+- Allow callers and `build-and-publish --timeout` to raise the per-step limit
+  for artifact hydration and environment builds on slower platforms.
+
 ## 2.0.8 - 2026-08-10
 
 - Add immutable, content-addressed provenance to ready-to-run program

{lean_runtime-2.0.8/lean_runtime.egg-info → lean_runtime-2.0.9}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: lean-runtime
-Version: 2.0.8
+Version: 2.0.9
 Summary: Run Lean 4 proofs from Python or standalone files
 Author: Alejandro Radisic
 License-Expression: Apache-2.0

{lean_runtime-2.0.8 → lean_runtime-2.0.9}/lean_runtime/cli.py

@@ -142,6 +142,12 @@ def parser() -> argparse.ArgumentParser:
     push.add_argument("--publish-to", required=True)
     push.add_argument("--tag", action="append", default=[])
     push.add_argument("--name")
+    push.add_argument(
+        "--timeout",
+        type=float,
+        default=1800,
+        help="maximum seconds for each artifact hydration and the environment build",
+    )
     push.add_argument(
         "--platform-only",
         action="store_true",
@@ -368,7 +374,11 @@ def main(argv: list[str] | None = None) -> int:
             _json(environment.inspect().to_dict())
             return 0
         if args.command == "build-and-publish":
-            environment = runtime.open_exact(EnvironmentLock.load(args.lock), name=args.name)
+            environment = runtime.open_exact(
+                EnvironmentLock.load(args.lock),
+                name=args.name,
+                build_timeout=args.timeout,
+            )
             _json(
                 runtime.publish_environment(
                     environment.id,

{lean_runtime-2.0.8 → lean_runtime-2.0.9}/lean_runtime/environments.py

@@ -1005,6 +1005,7 @@ class EnvironmentManager:
         *,
         name: str | None = None,
         build_profile: str = "release",
+        build_timeout: float = 1800,
         cancel: threading.Event | None = None,
     ) -> Environment:
         self.store.publish_lock(lock)
@@ -1018,7 +1019,14 @@ class EnvironmentManager:
         with FileLock(self.store.lock_dir / f"{environment_id}.lock", timeout=1800, cancel=cancel):
             if not destination.is_dir():
                 self._ensure_sources(lock)
-                self._materialize(lock, environment_id, destination, build_profile, cancel=cancel)
+                self._materialize(
+                    lock,
+                    environment_id,
+                    destination,
+                    build_profile,
+                    build_timeout=build_timeout,
+                    cancel=cancel,
+                )
             else:
                 self.events.emit(
                     "environment.cache_hit",
@@ -1061,6 +1069,7 @@ class EnvironmentManager:
         destination: Path,
         build_profile: str,
         *,
+        build_timeout: float,
         cancel: threading.Event | None,
     ) -> None:
         stage = self.store.environments / f".staging-{os.getpid()}-{uuid.uuid4().hex}"
@@ -1086,7 +1095,10 @@ class EnvironmentManager:
                         phase="acquisition",
                     )
                 clone_tree(source, packages_dir / package.name)
-            build_policy = ExecutionPolicy(timeout_seconds=1800, max_output_bytes=10_000_000)
+            build_policy = ExecutionPolicy(
+                timeout_seconds=build_timeout,
+                max_output_bytes=10_000_000,
+            )
             hydration: list[dict[str, Any]] = []
             for package in lock.packages:
                 if not package.artifact_command:

{lean_runtime-2.0.8 → lean_runtime-2.0.9}/lean_runtime/runtime.py

@@ -170,6 +170,7 @@ class Runtime:
         *,
         name: str | None = None,
         build_profile: str = "release",
+        build_timeout: float = 1800,
         cancel: threading.Event | None = None,
     ) -> Environment:
         environment_id = environment_identity(lock, build_profile)
@@ -203,7 +204,13 @@ class Runtime:
                     "no compatible downloadable environment was found; availability=required "
                     "does not permit a source build." + nearest
                 )
-        return self.environments.ensure(lock, name=name, build_profile=build_profile, cancel=cancel)
+        return self.environments.ensure(
+            lock,
+            name=name,
+            build_profile=build_profile,
+            build_timeout=build_timeout,
+            cancel=cancel,
+        )
 
     def environment(self, identifier: str) -> Environment:
         """Open a published environment without resolution or network access."""

{lean_runtime-2.0.8 → lean_runtime-2.0.9/lean_runtime.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: lean-runtime
-Version: 2.0.8
+Version: 2.0.9
 Summary: Run Lean 4 proofs from Python or standalone files
 Author: Alejandro Radisic
 License-Expression: Apache-2.0

{lean_runtime-2.0.8 → lean_runtime-2.0.9}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "lean-runtime"
-version = "2.0.8"
+version = "2.0.9"
 description = "Run Lean 4 proofs from Python or standalone files"
 readme = "README.md"
 requires-python = ">=3.10"

{lean_runtime-2.0.8 → lean_runtime-2.0.9}/tests/test_cli.py

@@ -36,6 +36,21 @@ def test_removed_v1_commands_are_absent() -> None:
     assert commands.isdisjoint(removed)
 
 
+def test_build_and_publish_accepts_environment_build_timeout() -> None:
+    arguments = parser().parse_args(
+        [
+            "build-and-publish",
+            "environment.lock.json",
+            "--publish-to",
+            "oci://cache",
+            "--timeout",
+            "3600",
+        ]
+    )
+
+    assert arguments.timeout == 3600
+
+
 def test_verbose_materialization_failure_includes_tool_output(capsys) -> None:
     failure = MaterializationError(
         "environment build failed",

{lean_runtime-2.0.8 → lean_runtime-2.0.9}/tests/test_prebuilt_policy.py

@@ -62,6 +62,22 @@ def test_auto_falls_back_only_when_prebuilt_is_unavailable(
     assert runtime.open_exact(_lock()) is sentinel
 
 
+def test_open_exact_forwards_environment_build_timeout(
+    tmp_path: Path, monkeypatch: pytest.MonkeyPatch
+) -> None:
+    runtime = Runtime(home=tmp_path, availability="local", libraries=[])
+    captured: dict[str, object] = {}
+
+    def ensure(*_args: object, **kwargs: object) -> object:
+        captured.update(kwargs)
+        return object()
+
+    monkeypatch.setattr(runtime.environments, "ensure", ensure)
+    runtime.open_exact(_lock(), build_timeout=3600)
+
+    assert captured["build_timeout"] == 3600
+
+
 def test_auto_does_not_hide_prebuilt_integrity_failures(
     tmp_path: Path, monkeypatch: pytest.MonkeyPatch
 ) -> None: