Skip to content

Actions: gap-packages/groupoids

Actions

CI

Actions

Loading...
Loading

Showing runs from all workflows named CI
6 workflow run results
6 workflow run results
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
CI: add Codecov token CI #85: Commit fd7386b pushed by fingolfin
June 15, 2024 00:51 19m 31s master
master
June 15, 2024 00:51 19m 31s
Merge pull request #63 from gap-packages/release CI #84: Commit 3c1db9c pushed by cdwensley
April 4, 2024 19:00 1m 38s master
master
April 4, 2024 19:00 1m 38s
CI: test with GAP 4.13; test with mininimal set of packages loaded CI #82: Commit c243053 pushed by fingolfin
March 23, 2024 22:53 1m 33s master
master
March 23, 2024 22:53 1m 33s
Merge pull request #62 from gap-packages/release CI #81: Commit 4c9327a pushed by cdwensley
January 23, 2024 16:30 1m 37s master
master
January 23, 2024 16:30 1m 37s
Merge pull request #60 from gap-packages/avoid CI #78: Commit 0f2e1a4 pushed by cdwensley
January 8, 2024 18:43 1m 59s master
master
January 8, 2024 18:43 1m 59s
Merge pull request #59 from gap-packages/avoid CI #76: Commit 2633700 pushed by cdwensley
January 7, 2024 15:05 1m 52s master
master
January 7, 2024 15:05 1m 52s