Skip to content

Actions: gap-packages/congruence

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15 workflow runs
15 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
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
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
February 20, 2024 16:48 37s
Fix PrintObj for Farey symbols
CI #19: Commit 124f185 pushed by olexandr-konovalov
May 27, 2023 12:01 2m 27s master
May 27, 2023 12:01 2m 27s
Fix PrintObj for Farey symbols
CI #18: Pull request #15 synchronize by olexandr-konovalov
May 27, 2023 11:53 7m 28s pr13
May 27, 2023 11:53 7m 28s
Fix PrintObj for Farey symbols
CI #17: Pull request #15 opened by olexandr-konovalov
May 27, 2023 11:45 7m 34s pr13
May 27, 2023 11:45 7m 34s
Update cong.tst
CI #16: Pull request #14 opened by vendramin
May 24, 2023 20:36 3m 10s vendramin:master
May 24, 2023 20:36 3m 10s
Update farey.gi
CI #15: Pull request #13 opened by vendramin
May 24, 2023 12:11 2m 30s vendramin:patch-1
May 24, 2023 12:11 2m 30s