Skip to content

Actions: gap-system/gap

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,576 workflow run results
1,576 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Wrap releases
Wrap releases #4688: Scheduled
March 2, 2024 03:35 1h 7m 12s master
March 2, 2024 03:35 1h 7m 12s
Lint
Lint #1475: Scheduled
March 2, 2024 03:14 41s master
March 2, 2024 03:14 41s
CI
CI #5174: Scheduled
March 2, 2024 02:30 33m 21s master
March 2, 2024 02:30 33m 21s
kernel: add 'void * ref' to all GC mark functions
Wrap releases #4687: Pull request #5662 synchronize by fingolfin
March 1, 2024 10:43 1h 7m 56s fingolfin:mh/MarkBag-with-ref
March 1, 2024 10:43 1h 7m 56s
Ensure IsomorphismFpGroup calls UseIsomorphismRelation (#5660)
Wrap releases #4685: Commit 768a20c pushed by fingolfin
March 1, 2024 10:20 1h 6m 51s master
March 1, 2024 10:20 1h 6m 51s
Ensure IsomorphismFpGroup calls UseIsomorphismRelation (#5660)
Deploy GAP manual to Pages #432: Commit 768a20c pushed by fingolfin
March 1, 2024 10:20 2m 44s master
March 1, 2024 10:20 2m 44s
March 1, 2024 10:20 43s
March 1, 2024 10:20 34m 2s
Wrap releases
Wrap releases #4684: Scheduled
March 1, 2024 03:35 1h 6m 35s master
March 1, 2024 03:35 1h 6m 35s
Lint
Lint #1471: Scheduled
March 1, 2024 03:14 37s master
March 1, 2024 03:14 37s
CI
CI #5170: Scheduled
March 1, 2024 02:32 34m 12s master
March 1, 2024 02:32 34m 12s
Skip checking DATOBJ when retyping bag (#5661)
CI #5169: Commit 82d6d4b pushed by fingolfin
February 29, 2024 16:44 33m 48s master
February 29, 2024 16:44 33m 48s
Skip checking DATOBJ when retyping bag (#5661)
Wrap releases #4683: Commit 82d6d4b pushed by fingolfin
February 29, 2024 16:44 1h 10m 40s master
February 29, 2024 16:44 1h 10m 40s
Skip checking DATOBJ when retyping bag (#5661)
Deploy GAP manual to Pages #431: Commit 82d6d4b pushed by fingolfin
February 29, 2024 16:44 2m 40s master
February 29, 2024 16:44 2m 40s
Skip checking DATOBJ when retyping bag (#5661)
Lint #1470: Commit 82d6d4b pushed by fingolfin
February 29, 2024 16:44 41s master
February 29, 2024 16:44 41s
Wrap releases
Wrap releases #4682: Scheduled
February 29, 2024 03:35 1h 9m 44s master
February 29, 2024 03:35 1h 9m 44s
Skip checking DATOBJ when retyping bag
Wrap releases #4681: Pull request #5661 opened by ChrisJefferson
February 29, 2024 03:33 1h 7m 18s ChrisJefferson:skip-datobj
February 29, 2024 03:33 1h 7m 18s
Skip checking DATOBJ when retyping bag
CI #5168: Pull request #5661 opened by ChrisJefferson
February 29, 2024 03:33 34m 5s ChrisJefferson:skip-datobj
February 29, 2024 03:33 34m 5s
Lint
Lint #1468: Scheduled
February 29, 2024 03:14 43s master
February 29, 2024 03:14 43s