Skip to content

Actions: gap-system/gap

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI
CI #5668: Scheduled
September 11, 2024 02:41 29m 8s master
September 11, 2024 02:41 29m 8s
Wrap releases
Wrap releases #5174: Scheduled
September 10, 2024 03:36 1h 10m 56s master
September 10, 2024 03:36 1h 10m 56s
Lint
Lint #1956: Scheduled
September 10, 2024 03:15 36s master
September 10, 2024 03:15 36s
CI
CI #5667: Scheduled
September 10, 2024 02:42 33m 7s master
September 10, 2024 02:42 33m 7s
Wrap releases
Wrap releases #5173: Scheduled
September 9, 2024 03:37 1h 12m 4s master
September 9, 2024 03:37 1h 12m 4s
Lint
Lint #1955: Scheduled
September 9, 2024 03:15 40s master
September 9, 2024 03:15 40s
CI
CI #5666: Scheduled
September 9, 2024 02:43 28m 39s master
September 9, 2024 02:43 28m 39s
Wrap releases
Wrap releases #5172: Scheduled
September 8, 2024 03:36 1h 11m 59s master
September 8, 2024 03:36 1h 11m 59s
Lint
Lint #1954: Scheduled
September 8, 2024 03:15 36s master
September 8, 2024 03:15 36s
CI
CI #5665: Scheduled
September 8, 2024 02:43 28m 14s master
September 8, 2024 02:43 28m 14s
Wrap releases
Wrap releases #5171: Scheduled
September 7, 2024 03:36 1h 11m 43s master
September 7, 2024 03:36 1h 11m 43s
Lint
Lint #1953: Scheduled
September 7, 2024 03:14 41s master
September 7, 2024 03:14 41s
CI
CI #5664: Scheduled
September 7, 2024 02:41 28m 15s master
September 7, 2024 02:41 28m 15s
Test degeneracy of Killing via RankMat, not determinants (#5794)
CI #5663: Commit 2b482f7 pushed by fingolfin
September 6, 2024 12:15 28m 1s master
September 6, 2024 12:15 28m 1s
Test degeneracy of Killing via RankMat, not determinants (#5794)
Deploy GAP manual to Pages #503: Commit 2b482f7 pushed by fingolfin
September 6, 2024 12:15 2m 43s master
September 6, 2024 12:15 2m 43s
Test degeneracy of Killing via RankMat, not determinants (#5794)
Lint #1952: Commit 2b482f7 pushed by fingolfin
September 6, 2024 12:15 40s master
September 6, 2024 12:15 40s
Test degeneracy of Killing via RankMat, not determinants (#5794)
Wrap releases #5170: Commit 2b482f7 pushed by fingolfin
September 6, 2024 12:15 1h 10m 43s master
September 6, 2024 12:15 1h 10m 43s
Test degeneracy of Killing via RankMat, not determinants (#5794)
CI with GAP.jl #144: Commit 2b482f7 pushed by fingolfin
September 6, 2024 12:15 5m 57s master
September 6, 2024 12:15 5m 57s
rewrite dev/releases/update_website.py, cleanup devtools (#5793)
CI #5662: Commit 3128572 pushed by fingolfin
September 6, 2024 11:16 28m 18s master
September 6, 2024 11:16 28m 18s
rewrite dev/releases/update_website.py, cleanup devtools (#5793)
CI with GAP.jl #143: Commit 3128572 pushed by fingolfin
September 6, 2024 11:16 5m 58s master
September 6, 2024 11:16 5m 58s
rewrite dev/releases/update_website.py, cleanup devtools (#5793)
Wrap releases #5169: Commit 3128572 pushed by fingolfin
September 6, 2024 11:16 1h 11m 47s master
September 6, 2024 11:16 1h 11m 47s
rewrite dev/releases/update_website.py, cleanup devtools (#5793)
Lint #1951: Commit 3128572 pushed by fingolfin
September 6, 2024 11:16 36s master
September 6, 2024 11:16 36s
rewrite dev/releases/update_website.py, cleanup devtools (#5793)
Deploy GAP manual to Pages #502: Commit 3128572 pushed by fingolfin
September 6, 2024 11:16 2m 46s master
September 6, 2024 11:16 2m 46s