Actions: oscar-system/GAP.jl
Actions
186 workflow runs
186 workflow runs
julia_to_gap
CI with GAP
#86:
Pull request #1029
synchronize
by
ThomasBreuer
julia_to_gap
CI with GAP
#84:
Pull request #1029
synchronize
by
ThomasBreuer
GetJuliaScratchspace
to JuliaInterface
CI with GAP
#83:
Pull request #1030
synchronize
by
ThomasBreuer
GetJuliaScratchspace
to JuliaInterface
CI with GAP
#82:
Pull request #1030
synchronize
by
ThomasBreuer
GetJuliaScratchspace
to JuliaInterface
CI with GAP
#80:
Pull request #1030
opened
by
ThomasBreuer
julia_to_gap
CI with GAP
#79:
Pull request #1029
opened
by
ThomasBreuer
should_show_banner
CI with GAP
#77:
Pull request #1027
synchronize
by
lgoettgens
should_show_banner
CI with GAP
#76:
Pull request #1027
opened
by
lgoettgens