Skip to content

fix: reach did not terminate on nightly, and depth alone was never going to bound it - #30

Merged
sotashimozono merged 2 commits into
mainfrom
fix/reach-must-terminate
Sep 9, 2026
Merged

fix: reach did not terminate on nightly, and depth alone was never going to bound it#30
sotashimozono merged 2 commits into
mainfrom
fix/reach-must-terminate

docs: truncated makes reached a lower bound, and the docstring now sa…

fd116c8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar