Skip to content

Break greedy_by_start ties by input order, as omni does - #79

Merged
fpedd merged 2 commits into
mainfrom
start-order-tiebreak
Oct 8, 2026
Merged

Break greedy_by_start ties by input order, as omni does#79
fpedd merged 2 commits into
mainfrom
start-order-tiebreak

Test that omni matches greedy_by_all on tied starts

02b388e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar