Skip to content

Ref hygiene: the tolerance list expires with the defect it forgives (#639) - #651

Merged
bgmcmullen merged 2 commits into
masterfrom
fix/issue-639
Aug 6, 2026
Merged

Ref hygiene: the tolerance list expires with the defect it forgives (#639)#651
bgmcmullen merged 2 commits into
masterfrom
fix/issue-639

Ref hygiene staleness check: forgive no more than is still broken

3aa16c5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
typecheck (22)
succeeded Aug 6, 2026 in 28s