Skip to content

Enhance NumberSmallGroups(<order>, <filter>) by avoiding to list the groups whose count we want - #73

Merged
fingolfin merged 1 commit into
masterfrom
count-without-listing
Aug 16, 2026
Merged

Enhance NumberSmallGroups(<order>, <filter>) by avoiding to list the groups whose count we want#73
fingolfin merged 1 commit into
masterfrom
count-without-listing

Count a selection without listing it

299aa4e
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch failed Aug 16, 2026 in 1s

99.28% of diff hit (target 99.88%)

View this Pull Request on Codecov

99.28% of diff hit (target 99.88%)

View more details on Codecov