Actions: oscar-system/Oscar.jl
Actions
4,171 workflow run results
4,171 workflow run results
all_OD_infos
(#3419)
Run tests
#13481:
Commit 3672388
pushed
by
benlorenz
gen(G::GAPGroup, 0)
Run tests
#13474:
Pull request #3332
synchronize
by
ThomasBreuer
gen(G::GAPGroup, 0)
Run tests
#13473:
Pull request #3332
synchronize
by
ThomasBreuer
degree(::Ideal)
(#3417)
Run tests
#13472:
Commit 5d19430
pushed
by
thofma