Skip to content

Actions: gap-packages/congruence

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #5: by fingolfin
August 28, 2024 22:22 40s gh-pages
August 28, 2024 22:22 40s
Version 1.2.7
CI #29: Commit 137da5b pushed by fingolfin
August 28, 2024 22:22 1m 52s master
August 28, 2024 22:22 1m 52s
Use AutoDoc to build documentation (#16)
CI #28: Commit 98891ac pushed by fingolfin
August 28, 2024 22:10 2m 46s master
August 28, 2024 22:10 2m 46s
Use AutoDoc to build documentation
CI #27: Pull request #16 reopened by fingolfin
July 5, 2024 12:18 5m 31s mh/AutoDoc
July 5, 2024 12:18 5m 31s
July 4, 2024 17:38 1m 34s
Don't try to read buildman.g (it was removed in 2012)
CI #25: Pull request #18 opened by fingolfin
July 4, 2024 16:22 2m 11s mh/missing
July 4, 2024 16:22 2m 11s
CI: add Codecov token
CI #24: Commit bfac360 pushed by fingolfin
June 15, 2024 00:53 25m 28s master
June 15, 2024 00:53 25m 28s
March 23, 2024 21:49 2m 4s
CI: test with GAP 4.13; test with mininimal set of packages loaded
CI #22: Pull request #17 opened by fingolfin
March 23, 2024 21:32 1m 40s mh/CI
March 23, 2024 21:32 1m 40s
Use AutoDoc to build documentation
CI #21: Pull request #16 opened by fingolfin
March 23, 2024 21:30 1m 35s mh/AutoDoc
March 23, 2024 21:30 1m 35s
pages build and deployment
pages-build-deployment #4: by olexandr-konovalov
March 23, 2024 16:24 40s gh-pages
March 23, 2024 16:24 40s
Version 1.2.6
CI #20: Commit 99a204d pushed by olexandr-konovalov
March 23, 2024 16:24 2m 3s master
March 23, 2024 16:24 2m 3s
pages build and deployment
pages-build-deployment #3: by fingolfin
February 20, 2024 16:48 37s gh-pages
February 20, 2024 16:48 37s