Skip to content

Actions: gap-packages/walrus

Actions

CI

Actions

Loading...

Show workflow options

Create status badge

CI.yml
2 workflow runs
2 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
CI: add Codecov token CI #16: Commit 65e0adb pushed by fingolfin
June 15, 2024 00:37 3m 52s master
master
June 15, 2024 00:37 3m 52s
CI: test with GAP 4.13; test with mininimal set of packages loaded CI #15: Commit a85ea8f pushed by fingolfin
March 23, 2024 21:54 3m 58s master
master
March 23, 2024 21:54 3m 58s