Skip to content

Actions: gap-packages/format

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
44 workflow runs
44 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
mh/convert doc to gapdoc Docs #17: Pull request #11 opened by fingolfin
2m 12s mh/convert-doc-to-gapdoc
mh/convert-doc-to-gapdoc
2m 12s
mh/convert doc to gapdoc CI #45: Pull request #11 opened by fingolfin
1m 38s mh/convert-doc-to-gapdoc
mh/convert-doc-to-gapdoc
1m 38s
Use symbolic GAP versions in CI matrix CI #44: Commit 2931f68 pushed by fingolfin
9m 53s master
master
9m 53s
Use symbolic GAP versions in CI matrix Docs #16: Commit 2931f68 pushed by fingolfin
6m 24s master
master
6m 24s
CI: update gap-actions/build-pkg to v3 Docs #15: Commit 05a2c57 pushed by fingolfin
50m 59s master
master
50m 59s
CI: update gap-actions/build-pkg to v3 CI #43: Commit 05a2c57 pushed by fingolfin
54m 34s master
master
54m 34s
Update CI workflow Docs #14: Commit ea7ae9c pushed by fingolfin
12m 26s master
master
12m 26s
Update CI workflow CI #42: Commit ea7ae9c pushed by fingolfin
18m 44s master
master
18m 44s
Update release workflow Docs #13: Commit 6ae24f1 pushed by fingolfin
23m 56s master
master
23m 56s
Update release workflow CI #41: Commit 6ae24f1 pushed by fingolfin
27m 51s master
master
27m 51s
pages build and deployment pages-build-deployment #3: by github-pages Bot
46s gh-pages
gh-pages
46s
Release Release #1: Manually run by fingolfin
2m 33s master
master
2m 33s
Version 1.4.5 CI #40: Commit 8d4eb0e pushed by fingolfin
1m 25s master
master
1m 25s
Version 1.4.5 Docs #12: Commit 8d4eb0e pushed by fingolfin
2m 3s master
master
2m 3s
Remove spurious depdendency on smallgrps library (#10) Docs #11: Commit 7c0b45e pushed by fingolfin
2m 16s master
master
2m 16s
Remove spurious depdendency on smallgrps library (#10) CI #39: Commit 7c0b45e pushed by fingolfin
1m 27s master
master
1m 27s
Remove spurious depdendency on smallgrps library CI #38: Pull request #10 synchronize by fingolfin
1m 23s mh/undep
mh/undep
1m 23s
Remove spurious depdendency on smallgrps library Docs #10: Pull request #10 synchronize by fingolfin
2m 13s mh/undep
mh/undep
2m 13s
Remove spurious depdendency on smallgrps library CI #37: Pull request #10 opened by fingolfin
1m 15s mh/undep
mh/undep
1m 15s
Remove spurious depdendency on smallgrps library Docs #9: Pull request #10 opened by fingolfin
2m 20s mh/undep
mh/undep
2m 20s
CI: update codecov/codecov-action to v6 CI #36: Commit 472b58a pushed by fingolfin
17m 27s master
master
17m 27s
CI: update codecov/codecov-action to v6 Docs #8: Commit 472b58a pushed by fingolfin
7m 5s master
master
7m 5s
CI: upload manual.pdf uncompressed CI #35: Commit 25dfecb pushed by fingolfin
14m 50s master
master
14m 50s
CI: upload manual.pdf uncompressed Docs #7: Commit 25dfecb pushed by fingolfin
9m 13s master
master
9m 13s
CI: don't test on GAP 4.9 Docs #6: Commit 2293217 pushed by fingolfin
3m 35s master
master
3m 35s