Skip to content

Keep overdue reporting alive when a check prints no integer - #1987

Merged
trissim merged 5 commits into
mainfrom
fix/p259-no-integer-overdue
Oct 19, 2026
Merged

Keep overdue reporting alive when a check prints no integer#1987
trissim merged 5 commits into
mainfrom
fix/p259-no-integer-overdue

Keep proof refusal distinct from non-throwing distance observations

1a04499
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar