Skip to content

Actions: gap-system/gap

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,512 workflow runs
4,512 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Wrap releases
Wrap releases #5310: Scheduled
November 1, 2024 03:42 1h 12m 3s master
November 1, 2024 03:42 1h 12m 3s
Lint
Lint #2092: Scheduled
November 1, 2024 03:21 40s master
November 1, 2024 03:21 40s
CI
CI #5811: Scheduled
November 1, 2024 02:50 27m 55s master
November 1, 2024 02:50 27m 55s
Fix for IsomorphismFpGroup for perm groups
CI #5810: Pull request #5831 opened by hulpke
November 1, 2024 01:14 28m 44s hulpke:additions
November 1, 2024 01:14 28m 44s
Fix for IsomorphismFpGroup for perm groups
Wrap releases #5309: Pull request #5831 opened by hulpke
November 1, 2024 01:14 1h 9m 32s hulpke:additions
November 1, 2024 01:14 1h 9m 32s
Fix for IsomorphismFpGroup for perm groups
CI with GAP.jl #228: Pull request #5831 opened by hulpke
November 1, 2024 01:14 6m 25s hulpke:additions
November 1, 2024 01:14 6m 25s
Fix for IsomorphismFpGroup for perm groups
Lint #2091: Pull request #5831 opened by hulpke
November 1, 2024 01:14 46s hulpke:additions
November 1, 2024 01:14 46s
Wrap releases
Wrap releases #5308: Scheduled
October 31, 2024 03:39 1h 11m 43s master
October 31, 2024 03:39 1h 11m 43s
Lint
Lint #2090: Scheduled
October 31, 2024 03:16 35s master
October 31, 2024 03:16 35s
CI
CI #5809: Scheduled
October 31, 2024 02:45 27m 59s master
October 31, 2024 02:45 27m 59s
Wrap releases
Wrap releases #5307: Scheduled
October 30, 2024 03:39 1h 12m 7s master
October 30, 2024 03:39 1h 12m 7s
Lint
Lint #2089: Scheduled
October 30, 2024 03:16 36s master
October 30, 2024 03:16 36s
CI
CI #5808: Scheduled
October 30, 2024 02:44 28m 56s master
October 30, 2024 02:44 28m 56s
buildsys: allow overriding Julia config via env vars (#5830)
Wrap releases #5306: Commit 6d93f61 pushed by fingolfin
October 29, 2024 09:00 1h 11m 43s master
October 29, 2024 09:00 1h 11m 43s
buildsys: allow overriding Julia config via env vars (#5830)
CI #5807: Commit 6d93f61 pushed by fingolfin
October 29, 2024 09:00 27m 56s master
October 29, 2024 09:00 27m 56s
buildsys: allow overriding Julia config via env vars (#5830)
Deploy GAP manual to Pages #527: Commit 6d93f61 pushed by fingolfin
October 29, 2024 09:00 2m 51s master
October 29, 2024 09:00 2m 51s
buildsys: allow overriding Julia config via env vars (#5830)
CI with GAP.jl #227: Commit 6d93f61 pushed by fingolfin
October 29, 2024 09:00 6m 11s master
October 29, 2024 09:00 6m 11s
buildsys: allow overriding Julia config via env vars (#5830)
Lint #2088: Commit 6d93f61 pushed by fingolfin
October 29, 2024 09:00 40s master
October 29, 2024 09:00 40s
Wrap releases
Wrap releases #5305: Scheduled
October 29, 2024 03:39 1h 9m 50s master
October 29, 2024 03:39 1h 9m 50s
Lint
Lint #2087: Scheduled
October 29, 2024 03:16 41s master
October 29, 2024 03:16 41s
CI
CI #5806: Scheduled
October 29, 2024 02:45 29m 42s master
October 29, 2024 02:45 29m 42s
October 28, 2024 22:35 28m 13s
Make FirstNames optional in Persons records in package metadata (…
Deploy GAP manual to Pages #526: Commit 17bc592 pushed by fingolfin
October 28, 2024 22:35 2m 41s master
October 28, 2024 22:35 2m 41s
Make FirstNames optional in Persons records in package metadata (…
Wrap releases #5304: Commit 17bc592 pushed by fingolfin
October 28, 2024 22:35 1h 11m 58s master
October 28, 2024 22:35 1h 11m 58s
Make FirstNames optional in Persons records in package metadata (…
CI with GAP.jl #226: Commit 17bc592 pushed by fingolfin
October 28, 2024 22:35 5m 59s master
October 28, 2024 22:35 5m 59s