Actions: gap-system/gap
Actions
Showing runs from all workflows
4,505 workflow runs
4,505 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
FirstNames
optional in Persons
records in package metadata (…
Lint
#2086:
Commit 17bc592
pushed
by
fingolfin