Workflow runs · gap-packages/loops · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

5 workflow runs

5 workflow runs

Merge pull request #16 from gap-packages/mh/ReadPackage CI #20: Commit a9a86d8 pushed by nagygp

July 5, 2024 10:30

1m 53s master

July 5, 2024 10:30

1m 53s

Don't try to read non-existing file CI #19: Pull request #16 opened by fingolfin

July 3, 2024 13:49

2m 0s mh/ReadPackage

July 3, 2024 13:49

2m 0s

CI: add Codecov token CI #18: Commit eec3a89 pushed by fingolfin

June 15, 2024 00:50

17m 10s master

June 15, 2024 00:50

17m 10s

CI: test with GAP 4.13; test with mininimal set of packages loaded CI #17: Commit 5f8f1ba pushed by fingolfin

March 23, 2024 22:45

1m 46s master

March 23, 2024 22:45

1m 46s

pages build and deployment pages-build-deployment #3: by fingolfin

February 20, 2024 17:04

51s

February 20, 2024 17:04

51s