Actions: gap-system/gap
Actions
Showing runs from all workflows
4,512 workflow runs
4,512 workflow runs
FirstNames
optional in Persons
records in package metadata (…
CI
#5805:
Commit 17bc592
pushed
by
fingolfin
FirstNames
optional in Persons
records in package metadata (…
Deploy GAP manual to Pages
#526:
Commit 17bc592
pushed
by
fingolfin
FirstNames
optional in Persons
records in package metadata (…
Wrap releases
#5304:
Commit 17bc592
pushed
by
fingolfin
FirstNames
optional in Persons
records in package metadata (…
CI with GAP.jl
#226:
Commit 17bc592
pushed
by
fingolfin