Skip to content

Test that within autoform_cli only lean_probe starts Lean, and that autoform_cli and servers never import each other - #499

Merged
Deicyde merged 2 commits into
mainfrom
test/lean-boundary
Oct 31, 2026
Merged

Test that within autoform_cli only lean_probe starts Lean, and that autoform_cli and servers never import each other#499
Deicyde merged 2 commits into
mainfrom
test/lean-boundary

Close the boundary test's process gaps and pin lean_probe's imports

c998d00
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar