Actions: oscar-system/Oscar.jl
Actions
Showing runs from all workflows
21,067 workflow run results
21,067 workflow run results
all_*_groups
methods some more
Cleanup Doc Preview
#2090:
Pull request #3433
closed
by
fingolfin
all_*_groups
methods some more
Documentation
#12157:
Pull request #3433
synchronize
by
fingolfin
all_*_groups
methods some more
Bibtool test
#6568:
Pull request #3433
synchronize
by
fingolfin
all_*_groups
methods some more
Invalidations
#3551:
Pull request #3433
synchronize
by
fingolfin
all_*_groups
methods some more
Run tests
#13515:
Pull request #3433
synchronize
by
fingolfin
gen(G::GAPGroup, 0)
Cleanup Doc Preview
#2089:
Pull request #3332
closed
by
fingolfin
gen(G::GAPGroup, 0)
(#3332)
Bibtool test
#6567:
Commit 58566cc
pushed
by
fingolfin
gen(G::GAPGroup, 0)
(#3332)
Documentation
#12156:
Commit 58566cc
pushed
by
fingolfin
gen(G::GAPGroup, 0)
(#3332)
Run tests
#13514:
Commit 58566cc
pushed
by
fingolfin
all_perfect_groups
Cleanup Doc Preview
#2088:
Pull request #3434
closed
by
fingolfin
all_perfect_groups
(#3434)
Bibtool test
#6566:
Commit 6308dd7
pushed
by
fingolfin
all_perfect_groups
(#3434)
Run tests
#13513:
Commit 6308dd7
pushed
by
fingolfin
all_perfect_groups
(#3434)
Documentation
#12155:
Commit 6308dd7
pushed
by
fingolfin
all_perfect_groups
Documentation
#12153:
Pull request #3434
synchronize
by
benlorenz