Skip to content

Actions: gap-packages/smallgrp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
69 workflow runs
69 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
Index the selection criteria the group numbering already decides (#69) Docs #26: Commit 1dd4724 pushed by fingolfin
2m 24s master
master
2m 24s
Index the selection criteria the group numbering already decides (#69) CI #79: Commit 1dd4724 pushed by fingolfin
4m 16s master
master
4m 16s
Index more selection criteria Docs #25: Pull request #69 synchronize by fingolfin
2m 6s better-indexing
better-indexing
2m 6s
Index more selection criteria CI #78: Pull request #69 synchronize by fingolfin
4m 35s better-indexing
better-indexing
4m 35s
Version 1.6dev Docs #24: Commit ccac00c pushed by fingolfin
2m 38s master
master
2m 38s
Version 1.6dev CI #77: Commit ccac00c pushed by fingolfin
3m 23s master
master
3m 23s
Merge README into README.md and the manual; mention SglPPow, SOTGrps … Docs #23: Commit a5ed515 pushed by fingolfin
2m 18s master
master
2m 18s
Merge README into README.md and the manual; mention SglPPow, SOTGrps … CI #76: Commit a5ed515 pushed by fingolfin
3m 21s master
master
3m 21s
Index more selection criteria Docs #22: Pull request #69 synchronize by fingolfin
2m 25s better-indexing
better-indexing
2m 25s
Index more selection criteria CI #75: Pull request #69 synchronize by fingolfin
4m 21s better-indexing
better-indexing
4m 21s
Index more selection criteria CI #74: Pull request #69 synchronize by fingolfin
4m 29s better-indexing
better-indexing
4m 29s
Index more selection criteria Docs #21: Pull request #69 synchronize by fingolfin
2m 18s better-indexing
better-indexing
2m 18s
Index more selection criteria Docs #20: Pull request #69 synchronize by fingolfin
2m 50s better-indexing
better-indexing
2m 50s
Index more selection criteria CI #73: Pull request #69 synchronize by fingolfin
4m 30s better-indexing
better-indexing
4m 30s
Merge README into README.md and the manual Docs #19: Pull request #70 synchronize by fingolfin
2m 7s merge-readmes
merge-readmes
2m 7s
Merge README into README.md and the manual CI #72: Pull request #70 synchronize by fingolfin
3m 9s merge-readmes
merge-readmes
3m 9s
Merge README into README.md and the manual Docs #18: Pull request #70 synchronize by fingolfin
2m 9s merge-readmes
merge-readmes
2m 9s
Merge README into README.md and the manual CI #71: Pull request #70 synchronize by fingolfin
2m 52s merge-readmes
merge-readmes
2m 52s
Merge README into README.md and the manual Docs #17: Pull request #70 opened by fingolfin
2m 0s merge-readmes
merge-readmes
2m 0s
Merge README into README.md and the manual CI #70: Pull request #70 opened by fingolfin
3m 14s merge-readmes
merge-readmes
3m 14s
Index more selection criteria Docs #16: Pull request #69 opened by fingolfin
2m 25s better-indexing
better-indexing
2m 25s
Index more selection criteria CI #69: Pull request #69 opened by fingolfin
4m 9s better-indexing
better-indexing
4m 9s
pages build and deployment pages-build-deployment #9: by github-pages Bot
43s gh-pages
gh-pages
43s
Release Release #2: Manually run by fingolfin
4m 6s master
master
4m 6s
Version 1.5.5 Docs #15: Commit a172878 pushed by fingolfin
2m 11s master
master
2m 11s