Skip to content

Actions: gap-packages/hap

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
348 workflow runs
348 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

quick fix contd Docs #21: Commit bcbb482 pushed by grahamknockillaree
2m 50s master
master
2m 50s
quick fix contd CI #376: Commit bcbb482 pushed by grahamknockillaree
4m 34s master
master
4m 34s
quick fix for tomorrow CI #375: Commit 2cd3e98 pushed by grahamknockillaree
4m 12s master
master
4m 12s
quick fix for tomorrow Docs #20: Commit 2cd3e98 pushed by grahamknockillaree
2m 42s master
master
2m 42s
tidy up Docs #19: Commit 0f4215d pushed by grahamknockillaree
2m 46s master
master
2m 46s
tidy up CI #374: Commit 0f4215d pushed by grahamknockillaree
3h 8m 41s master
master
3h 8m 41s
workshop changes Docs #18: Commit 96d34a3 pushed by grahamknockillaree
2m 51s master
master
2m 51s
workshop changes CI #373: Commit 96d34a3 pushed by grahamknockillaree
3h 29m 45s master
master
3h 29m 45s
Merge pull request #137 from gap-packages/mh/ci-deps CI #372: Commit 8edbe3d pushed by grahamknockillaree
5m 5s master
master
5m 5s
Merge pull request #137 from gap-packages/mh/ci-deps Docs #17: Commit 8edbe3d pushed by grahamknockillaree
2m 51s master
master
2m 51s
Merge pull request #135 from gap-packages/mh/permissions CI #371: Commit d72bcbc pushed by grahamknockillaree
7m 58s master
master
7m 58s
Merge pull request #135 from gap-packages/mh/permissions Docs #16: Commit d72bcbc pushed by grahamknockillaree
2m 39s master
master
2m 39s
Merge pull request #134 from gap-packages/mh/cleanup CI #370: Commit abcf194 pushed by grahamknockillaree
4m 47s master
master
4m 47s
Merge pull request #134 from gap-packages/mh/cleanup Docs #15: Commit abcf194 pushed by grahamknockillaree
2m 55s master
master
2m 55s
Tweak CI and dependencies Docs #14: Pull request #137 opened by fingolfin
2m 49s mh/ci-deps
mh/ci-deps
2m 49s
Tweak CI and dependencies CI #369: Pull request #137 opened by fingolfin
4m 59s mh/ci-deps
mh/ci-deps
4m 59s
Remove legacy polymake interfacing code Docs #13: Pull request #136 opened by fingolfin
2m 40s mh/remove-legacy-polymake-code
mh/remove-legacy-polymake-code
2m 40s
Remove legacy polymake interfacing code CI #368: Pull request #136 opened by fingolfin
5m 59s mh/remove-legacy-polymake-code
mh/remove-legacy-polymake-code
5m 59s
Delete a bunch of unused file duplicates CI #367: Pull request #134 synchronize by fingolfin
4m 38s mh/cleanup
mh/cleanup
4m 38s
Delete a bunch of unused file duplicates Docs #12: Pull request #134 synchronize by fingolfin
2m 58s mh/cleanup
mh/cleanup
2m 58s
Remove executable flag from a bunch of files CI #366: Pull request #135 opened by fingolfin
4m 45s mh/permissions
mh/permissions
4m 45s
Remove executable flag from a bunch of files Docs #11: Pull request #135 opened by fingolfin
3m 29s mh/permissions
mh/permissions
3m 29s
Delete a bunch of unused file duplicates Docs #10: Pull request #134 synchronize by fingolfin
2m 58s mh/cleanup
mh/cleanup
2m 58s
Delete a bunch of unused file duplicates CI #365: Pull request #134 synchronize by fingolfin
5m 26s mh/cleanup
mh/cleanup
5m 26s
Delete a bunch of unused file duplicates CI #364: Pull request #134 opened by fingolfin
2m 4s mh/cleanup
mh/cleanup
2m 4s