Skip to content

Actions: gap-packages/smallgrp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
109 workflow runs
109 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
Add SmallGroupsAddLayer CI #98: Pull request #74 synchronize by fingolfin
5m 1s add-layer
add-layer
5m 1s
Add SmallGroupsAddLayer Docs #45: Pull request #74 synchronize by fingolfin
2m 17s add-layer
add-layer
2m 17s
Add SmallGroupsAddLayer CI #97: Pull request #74 synchronize by fingolfin
5m 6s add-layer
add-layer
5m 6s
Add SmallGroupsAddLayer Docs #44: Pull request #74 synchronize by fingolfin
2m 5s add-layer
add-layer
2m 5s
Add SmallGroupsAddLayer CI #96: Pull request #74 synchronize by fingolfin
5m 15s add-layer
add-layer
5m 15s
Add SmallGroupsAddLayer Docs #43: Pull request #74 synchronize by fingolfin
2m 22s add-layer
add-layer
2m 22s
Add SmallGroupsAddLayer CI #95: Pull request #74 opened by fingolfin
4m 41s add-layer
add-layer
4m 41s
Add SmallGroupsAddLayer Docs #42: Pull request #74 opened by fingolfin
2m 6s add-layer
add-layer
2m 6s
SOTGrps does extend this library CI #94: Commit ed2f323 pushed by fingolfin
5m 9s master
master
5m 9s
SOTGrps does extend this library Docs #41: Commit ed2f323 pushed by fingolfin
2m 22s master
master
2m 22s
Count a selection without listing it (#73) Docs #40: Commit 4626679 pushed by fingolfin
2m 5s master
master
2m 5s
Count a selection without listing it (#73) CI #93: Commit 4626679 pushed by fingolfin
5m 13s master
master
5m 13s
Enhance NumberSmallGroups(<order>, <filter>) by avoiding to list the groups whose count we want Docs #39: Pull request #73 synchronize by fingolfin
2m 25s count-without-listing
count-without-listing
2m 25s
Enhance NumberSmallGroups(<order>, <filter>) by avoiding to list the groups whose count we want CI #92: Pull request #73 synchronize by fingolfin
5m 31s count-without-listing
count-without-listing
5m 31s
Enhance NumberSmallGroups(<order>, <filter>) by avoiding to list the groups whose count we want CI #91: Pull request #73 synchronize by fingolfin
4m 11s count-without-listing
count-without-listing
4m 11s
Enhance NumberSmallGroups(<order>, <filter>) by avoiding to list the groups whose count we want Docs #38: Pull request #73 synchronize by fingolfin
2m 20s count-without-listing
count-without-listing
2m 20s
Use SMALL_GROUPS_SELECT_GENERIC in a few more places CI #90: Commit 725717e pushed by fingolfin
3m 57s master
master
3m 57s
Use SMALL_GROUPS_SELECT_GENERIC in a few more places Docs #37: Commit 725717e pushed by fingolfin
2m 5s master
master
2m 5s
Enhance NumberSmallGroups(<order>, <filter>) by avoiding to list the groups whose count we want CI #89: Pull request #73 synchronize by fingolfin
5m 32s count-without-listing
count-without-listing
5m 32s
Enhance NumberSmallGroups(<order>, <filter>) by avoiding to list the groups whose count we want Docs #36: Pull request #73 synchronize by fingolfin
2m 21s count-without-listing
count-without-listing
2m 21s
Enhance NumberSmallGroups(<order>, <filter>) by avoiding to list the groups whose count we want Docs #35: Pull request #73 opened by fingolfin
2m 16s count-without-listing
count-without-listing
2m 16s
Enhance NumberSmallGroups(<order>, <filter>) by avoiding to list the groups whose count we want CI #88: Pull request #73 opened by fingolfin
5m 10s count-without-listing
count-without-listing
5m 10s
pages build and deployment pages-build-deployment #10: by github-pages Bot
45s gh-pages
gh-pages
45s
Release Release #3: Manually run by fingolfin
4m 2s master
master
4m 2s
Version 1.6.0 CI #87: Commit 1b9896b pushed by fingolfin
4m 16s master
master
4m 16s