Actions: oscar-system/GAP.jl
Actions
417 workflow runs
417 workflow runs
julia_to_gap
OscarCI
#565:
Pull request #1029
synchronize
by
ThomasBreuer
CallJuliaFunctionWithCatch
, and a few other improvements
OscarCI
#563:
Pull request #1043
synchronize
by
ThomasBreuer
CallJuliaFunctionWithCatch
, and a few other improvements
OscarCI
#561:
Pull request #1043
opened
by
ThomasBreuer
julia_to_gap
OscarCI
#558:
Pull request #1029
synchronize
by
ThomasBreuer
julia_to_gap
OscarCI
#555:
Pull request #1029
synchronize
by
ThomasBreuer
Packages.install
OscarCI
#554:
Pull request #1039
synchronize
by
ThomasBreuer
julia_to_gap
OscarCI
#553:
Pull request #1029
synchronize
by
ThomasBreuer
Packages.install
OscarCI
#551:
Pull request #1039
opened
by
ThomasBreuer
should_show_banner
(#1027)
OscarCI
#548:
Commit d53926d
pushed
by
fingolfin
julia_to_gap
OscarCI
#547:
Pull request #1029
synchronize
by
ThomasBreuer