Actions: oscar-system/Oscar.jl
Actions
Showing runs from all workflows
42,968 workflow runs
42,968 workflow runs
GapObj
in left/right cosets optional
JuliaFormatter test
#2898:
Pull request #4274
opened
by
ThomasBreuer
GapObj
in left/right cosets optional
Run tests
#17214:
Pull request #4274
opened
by
ThomasBreuer
GapObj
in left/right cosets optional
Run CI without experimental
#3155:
Pull request #4274
opened
by
ThomasBreuer
GapObj
in left/right cosets optional
Bibtool test
#10205:
Pull request #4274
opened
by
ThomasBreuer
GapObj
in left/right cosets optional
Documentation
#15804:
Pull request #4274
opened
by
ThomasBreuer