Actions: gap-system/gap
Actions
Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs
-T command line option)
Wrap releases
#7073:
Pull request #6355
opened
by
ThomasBreuer
-T command line option)
CI
#7648:
Pull request #6355
opened
by
ThomasBreuer
-T command line option)
CI with GAP.jl
#1438:
Pull request #6355
opened
by
ThomasBreuer
-T command line option)
Lint
#3847:
Pull request #6355
opened
by
ThomasBreuer
gap --bare
Wrap releases
#7071:
Pull request #6354
opened
by
fingolfin
gap --bare
CI
#7646:
Pull request #6354
opened
by
fingolfin
gap --bare
Lint
#3845:
Pull request #6354
opened
by
fingolfin
gap --bare
CI with GAP.jl
#1437:
Pull request #6354
opened
by
fingolfin
IdGroup calls by ID_AVAILABLE
Lint
#3844:
Pull request #6353
opened
by
fingolfin
IdGroup calls by ID_AVAILABLE
CI with GAP.jl
#1436:
Pull request #6353
opened
by
fingolfin
IdGroup calls by ID_AVAILABLE
CI
#7645:
Pull request #6353
opened
by
fingolfin
IdGroup calls by ID_AVAILABLE
Wrap releases
#7070:
Pull request #6353
opened
by
fingolfin