Skip to content

Let NumberSmallGroups take the selection criteria of AllSmallGroups - #72

Merged
fingolfin merged 1 commit into
masterfrom
claude/numbersmallgroups-filters-c61380
Aug 7, 2026
Merged

Let NumberSmallGroups take the selection criteria of AllSmallGroups#72
fingolfin merged 1 commit into
masterfrom
claude/numbersmallgroups-filters-c61380

Let NumberSmallGroups take the selection criteria of AllSmallGroups

7bb9cd5
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Aug 7, 2026 in 0s

100.00% of diff hit (target 99.88%)

View this Pull Request on Codecov

100.00% of diff hit (target 99.88%)

View more details on Codecov