Skip to content

Actions: gap-packages/agt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove unused OtherPackagesLoadedInAdvance CI #24: Commit 309b42c pushed by fingolfin
August 19, 2024 08:59 1m 59s master
master
August 19, 2024 08:59 1m 59s
CI: add Codecov token CI #23: Commit 465918e pushed by fingolfin
June 15, 2024 00:54 28m 0s master
master
June 15, 2024 00:54 28m 0s
CI: test with GAP 4.13; test with mininimal set of packages loaded CI #22: Commit 4958df2 pushed by fingolfin
March 24, 2024 00:11 3m 3s master
master
March 24, 2024 00:11 3m 3s