Skip to content

Add minimal as a possible input for gap-version#83

Merged
fingolfin merged 4 commits into
gap-actions:mainfrom
stertooy:add-minimal
Jul 1, 2026
Merged

Add minimal as a possible input for gap-version#83
fingolfin merged 4 commits into
gap-actions:mainfrom
stertooy:add-minimal

Commits

Commits on Jun 30, 2026

Commits on Jul 1, 2026