Skip to content

Rename numgaps, mingap, maxgap - #101

Merged
mszell merged 1 commit into
mainfrom
chore/polish-minmaxgap-names
Oct 20, 2026
Merged

Rename numgaps, mingap, maxgap#101
mszell merged 1 commit into
mainfrom
chore/polish-minmaxgap-names

Rename numgaps, mingap, maxgap

0d35964
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch failed Oct 20, 2026 in 0s

69.56% of diff hit (target 77.42%)

View this Pull Request on Codecov

69.56% of diff hit (target 77.42%)

View more details on Codecov