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

Throw error if version could not be extracted from `PackageInfo.g`

2ff7243
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
devel on ubuntu-latest with system GMP
succeeded Jul 1, 2026 in 55s