Skip to content

Actions: gap-packages/rds

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
2 workflow runs
2 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: add Codecov token CI #18: Commit c7855a8 pushed by fingolfin
June 15, 2024 00:49 4m 31s master
master
June 15, 2024 00:49 4m 31s
CI: test with GAP 4.13; test with mininimal set of packages loaded CI #17: Commit 2c57add pushed by fingolfin
March 23, 2024 22:27 1m 45s master
master
March 23, 2024 22:27 1m 45s