Skip to content

Actions: gap-system/gap

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
16 workflow run results
16 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

EXTRA WORK: Please the linter
CI #4406: Commit aafd490 pushed by hulpke
July 24, 2023 16:21 58m 41s master
July 24, 2023 16:21 58m 41s
CI
CI #4405: Scheduled
July 24, 2023 02:38 57m 36s master
July 24, 2023 02:38 57m 36s
Improvements for finitely presented groups and homomorphisms
CI #4403: Pull request #5468 synchronize by hulpke
July 23, 2023 20:27 40m 14s hulpke:fixes
July 23, 2023 20:27 40m 14s
CI
CI #4400: Scheduled
July 23, 2023 02:39 48m 9s master
July 23, 2023 02:39 48m 9s
CI
CI #4399: Scheduled
July 22, 2023 02:36 44m 56s master
July 22, 2023 02:36 44m 56s
CI
CI #4398: Scheduled
July 21, 2023 02:38 55m 6s master
July 21, 2023 02:38 55m 6s
CI
CI #4397: Scheduled
July 20, 2023 02:37 51m 22s master
July 20, 2023 02:37 51m 22s
CI
CI #4396: Scheduled
July 19, 2023 03:15 48m 54s master
July 19, 2023 03:15 48m 54s
Stop requiring Status in package metadata (#5472)
CI #4395: Commit b73b40f pushed by fingolfin
July 18, 2023 16:00 53m 22s master
July 18, 2023 16:00 53m 22s
CI
CI #4394: Scheduled
July 18, 2023 02:51 42m 55s master
July 18, 2023 02:51 42m 55s
CI
CI #4393: Scheduled
July 17, 2023 02:54 46m 52s master
July 17, 2023 02:54 46m 52s
CI
CI #4392: Scheduled
July 16, 2023 02:58 53m 39s master
July 16, 2023 02:58 53m 39s