Skip to content

Actions: gap-system/gap

Wrap releases

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,419 workflow runs
1,419 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Set non-zero exit code if init.g not found
Wrap releases #4301: Pull request #5543 synchronize by fingolfin
December 19, 2023 07:58 1h 1m 19s fingolfin:mh/init.g
December 19, 2023 07:58 1h 1m 19s
Wrap releases
Wrap releases #4300: Scheduled
December 19, 2023 03:35 1h 5m 6s master
December 19, 2023 03:35 1h 5m 6s
Extend StreamFormatting to seperate linewrap and indenting
Wrap releases #4299: Pull request #5140 synchronize by ChrisJefferson
December 18, 2023 07:46 12m 0s ChrisJefferson:formatting
December 18, 2023 07:46 12m 0s
Extend StreamFormatting to seperate linewrap and indenting
Wrap releases #4298: Pull request #5140 synchronize by ChrisJefferson
December 18, 2023 07:32 12m 21s ChrisJefferson:formatting
December 18, 2023 07:32 12m 21s
Extend StreamFormatting to seperate linewrap and indenting
Wrap releases #4297: Pull request #5140 synchronize by ChrisJefferson
December 18, 2023 07:30 2m 28s ChrisJefferson:formatting
December 18, 2023 07:30 2m 28s
Wrap releases
Wrap releases #4296: Scheduled
December 18, 2023 03:35 1h 7m 10s master
December 18, 2023 03:35 1h 7m 10s
_Thread_local specifiers in Cyclotomic function
Wrap releases #4295: Pull request #5547 synchronize by nskeip
December 17, 2023 17:45 1h 2m 39s nskeip:5110-cyclotom-thread-locals
December 17, 2023 17:45 1h 2m 39s
_Thread_local specifiers in Cyclotomic function
Wrap releases #4294: Pull request #5547 opened by nskeip
December 17, 2023 15:00 59m 44s nskeip:5110-cyclotom-thread-locals
December 17, 2023 15:00 59m 44s
Wrap releases
Wrap releases #4292: Scheduled
December 17, 2023 03:35 1h 4m 22s master
December 17, 2023 03:35 1h 4m 22s
Wrap releases
Wrap releases #4291: Scheduled
December 16, 2023 03:35 1h 4m 52s master
December 16, 2023 03:35 1h 4m 52s
Three small fixes from working with U4(3)
Wrap releases #4290: Pull request #5545 opened by hulpke
December 15, 2023 22:36 1h 0m 24s hulpke:fixes
December 15, 2023 22:36 1h 0m 24s
Wrap releases
Wrap releases #4289: Scheduled
December 15, 2023 03:35 1h 3m 56s master
December 15, 2023 03:35 1h 3m 56s
Remove VISITED_STAT
Wrap releases #4288: Pull request #5261 synchronize by ChrisJefferson
December 14, 2023 04:55 1h 0m 50s ChrisJefferson:remove_visited
December 14, 2023 04:55 1h 0m 50s
Remove VISITED_STAT
Wrap releases #4287: Pull request #5261 synchronize by ChrisJefferson
December 14, 2023 04:50 5m 41s ChrisJefferson:remove_visited
December 14, 2023 04:50 5m 41s
Wrap releases
Wrap releases #4286: Scheduled
December 14, 2023 03:35 1h 4m 55s master
December 14, 2023 03:35 1h 4m 55s
Set non-zero exit code if init.g not found
Wrap releases #4285: Pull request #5543 opened by fingolfin
December 13, 2023 15:46 1h 1m 53s fingolfin:mh/init.g
December 13, 2023 15:46 1h 1m 53s
Wrap releases
Wrap releases #4284: Scheduled
December 13, 2023 03:35 1h 4m 38s master
December 13, 2023 03:35 1h 4m 38s
Wrap releases
Wrap releases #4283: Scheduled
December 12, 2023 03:35 1h 4m 57s master
December 12, 2023 03:35 1h 4m 57s
Wrap releases
Wrap releases #4282: Scheduled
December 11, 2023 03:35 1h 5m 21s master
December 11, 2023 03:35 1h 5m 21s
Wrap releases
Wrap releases #4281: Scheduled
December 10, 2023 03:35 1h 5m 12s master
December 10, 2023 03:35 1h 5m 12s
Wrap releases
Wrap releases #4280: Scheduled
December 9, 2023 03:35 1h 7m 41s master
December 9, 2023 03:35 1h 7m 41s
Moved characteristic series in function
Wrap releases #4279: Commit 25a58b0 pushed by hulpke
December 8, 2023 20:21 1h 1m 27s master
December 8, 2023 20:21 1h 1m 27s
FIX: Ensure NewmanInfinityTest works
Wrap releases #4278: Commit 7480972 pushed by hulpke
December 8, 2023 20:20 1h 1m 1s master
December 8, 2023 20:20 1h 1m 1s
ENHANCE: Use anupq for p-group isom. (#5537)
Wrap releases #4277: Commit c6d3db2 pushed by fingolfin
December 8, 2023 18:04 1h 2m 28s master
December 8, 2023 18:04 1h 2m 28s
ProTip! You can narrow down the results and go further in time using created:<2023-12-08 or the other filters available.