Skip to content

Actions: gap-system/gap

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
October 28, 2024 22:35 39s
buildsys: allow overriding Julia config via env vars
CI with GAP.jl #225: Pull request #5830 synchronize by fingolfin
October 28, 2024 21:38 6m 3s fingolfin:mh/configure-julia
October 28, 2024 21:38 6m 3s
buildsys: allow overriding Julia config via env vars
Wrap releases #5303: Pull request #5830 synchronize by fingolfin
October 28, 2024 21:38 1h 10m 9s fingolfin:mh/configure-julia
October 28, 2024 21:38 1h 10m 9s