Repository navigation

Split tests with and without OnlyNeeded... - #36

Merged

fingolfin merged 2 commits into

gap-packages:masterfrom

stertooy:fix-ci

Oct 18, 2025

Merged

Split tests with and without OnlyNeeded...#36
fingolfin merged 2 commits into
gap-packages:masterfrom
stertooy:fix-ci

Commits on Oct 17, 2025
- Split tests with and without OnlyNeeded to avoid disk space problems on runners
  stertooy
  authored
  fad4e11
- Apply suggestions from code review
  fingolfin
  authored
  2b1d21e