Skip to content

Actions: gap-system/gap

Wrap releases

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
618 workflow run results
618 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

EXTRA WORK: Please the linter
Wrap releases #3950: Commit aafd490 pushed by hulpke
July 24, 2023 16:21 1h 28m 25s master
July 24, 2023 16:21 1h 28m 25s
Wrap releases
Wrap releases #3949: Scheduled
July 24, 2023 03:35 1h 46m 49s master
July 24, 2023 03:35 1h 46m 49s
Improvements for finitely presented groups and homomorphisms
Wrap releases #3947: Pull request #5468 synchronize by hulpke
July 23, 2023 20:27 1h 26m 17s hulpke:fixes
July 23, 2023 20:27 1h 26m 17s
Wrap releases
Wrap releases #3944: Scheduled
July 23, 2023 03:35 1h 50m 20s master
July 23, 2023 03:35 1h 50m 20s
Wrap releases
Wrap releases #3943: Scheduled
July 22, 2023 03:35 1h 33m 32s master
July 22, 2023 03:35 1h 33m 32s
Wrap releases
Wrap releases #3942: Scheduled
July 21, 2023 03:35 1h 39m 3s master
July 21, 2023 03:35 1h 39m 3s
Wrap releases
Wrap releases #3941: Scheduled
July 20, 2023 03:35 1h 35m 28s master
July 20, 2023 03:35 1h 35m 28s
Wrap releases
Wrap releases #3940: Scheduled
July 19, 2023 03:50 1h 32m 2s master
July 19, 2023 03:50 1h 32m 2s
Stop requiring Status in package metadata (#5472)
Wrap releases #3939: Commit b73b40f pushed by fingolfin
July 18, 2023 16:00 1m 38s master
July 18, 2023 16:00 1m 38s
Wrap releases
Wrap releases #3938: Scheduled
July 18, 2023 03:36 1h 43m 6s master
July 18, 2023 03:36 1h 43m 6s
Wrap releases
Wrap releases #3937: Scheduled
July 17, 2023 03:38 1h 31m 24s master
July 17, 2023 03:38 1h 31m 24s
Wrap releases
Wrap releases #3936: Scheduled
July 16, 2023 03:39 1h 33m 42s master
July 16, 2023 03:39 1h 33m 42s
Improvements for finitely presented groups and homomorphisms
Wrap releases #3935: Pull request #5468 synchronize by hulpke
July 15, 2023 16:50 1h 53m 55s hulpke:fixes
July 15, 2023 16:50 1h 53m 55s
Wrap releases
Wrap releases #3934: Scheduled
July 15, 2023 03:38 1h 36m 28s master
July 15, 2023 03:38 1h 36m 28s
ProTip! You can narrow down the results and go further in time using created:<2023-07-15 or the other filters available.