Skip to content

Actions: gap-packages/kan

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
12 workflow runs
12 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
CI: test with GAP 4.13; test with mininimal set of packages loaded CI #54: Commit 7628e37 pushed by fingolfin
March 23, 2024 22:46 1m 50s master
master
March 23, 2024 22:46 1m 50s
pages build and deployment pages-build-deployment #5: by fingolfin
February 20, 2024 16:17 46s
February 20, 2024 16:17 46s
pages build and deployment with artifacts-next pages-build-deployment #4: by cdwensley
January 23, 2024 18:19 45s
January 23, 2024 18:19 45s
Merge pull request #28 from gap-packages/release CI #53: Commit ac8c83c pushed by cdwensley
January 23, 2024 18:16 2m 20s master
master
January 23, 2024 18:16 2m 20s
release 1.37 CI #52: Pull request #28 opened by cdwensley
January 23, 2024 18:16 1m 54s release
release
January 23, 2024 18:16 1m 54s
Merge pull request #27 from gap-packages/mh/ci CI #51: Commit 6084a91 pushed by cdwensley
August 30, 2023 20:09 3m 16s master
master
August 30, 2023 20:09 3m 16s
pages build and deployment pages-build-deployment #3: by cdwensley
August 30, 2023 08:46 56s
August 30, 2023 08:46 56s
added LoadPackage(GAPDoc) to makedoc.g CI #50: Commit 64a606f pushed by cdwensley
August 25, 2023 13:06 2m 33s master
master
August 25, 2023 13:06 2m 33s
Update CI setup to latest version CI #49: Pull request #27 opened by fingolfin
August 25, 2023 10:57 3m 0s mh/ci
mh/ci
August 25, 2023 10:57 3m 0s
version 1.36 release CI #48: Commit 176d1d7 pushed by cdwensley
August 16, 2023 19:12 2m 37s master
master
August 16, 2023 19:12 2m 37s
Merge pull request #26 from gap-packages/my-dev CI #47: Commit 485c82b pushed by cdwensley
August 15, 2023 16:52 3m 3s master
master
August 15, 2023 16:52 3m 3s
fix for issue 25 CI #46: Pull request #26 opened by cdwensley
August 15, 2023 16:36 2m 51s my-dev
my-dev
August 15, 2023 16:36 2m 51s