Skip to content

Actions: gap-packages/utils

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
103 workflow runs
103 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
pages build and deployment pages-build-deployment #21: by github-pages Bot
36s gh-pages
gh-pages
36s
Release Release #5: Manually run by cdwensley
3m 57s master
master
3m 57s
version 0.96 Docs #35: Commit 6b4a074 pushed by cdwensley
2m 14s master
master
2m 14s
version 0.96 CI #200: Commit 6b4a074 pushed by cdwensley
19m 40s master
master
19m 40s
Merge pull request #94 from ThomasBreuer/TB_testall CI #199: Commit eb83d7d pushed by cdwensley
2m 2s master
master
2m 2s
Merge pull request #94 from ThomasBreuer/TB_testall Docs #34: Commit eb83d7d pushed by cdwensley
2m 18s master
master
2m 18s
Make TestPackage work if the package is read-only CI #198: Pull request #94 opened by ThomasBreuer
2m 11s ThomasBreuer:TB_testall
ThomasBreuer:TB_testall
2m 11s
Make TestPackage work if the package is read-only Docs #33: Pull request #94 opened by ThomasBreuer
2m 18s ThomasBreuer:TB_testall
ThomasBreuer:TB_testall
2m 18s
Update release workflow CI #197: Commit e388180 pushed by fingolfin
57m 44s master
master
57m 44s
Update release workflow Docs #32: Commit e388180 pushed by fingolfin
48m 38s master
master
48m 38s
pages build and deployment pages-build-deployment #20: by github-pages Bot
42s gh-pages
gh-pages
42s
Release Release #4: Manually run by cdwensley
2m 57s master
master
2m 57s
version 0.95 release Docs #31: Commit 7678858 pushed by cdwensley
2m 26s master
master
2m 26s
version 0.95 release CI #196: Commit 7678858 pushed by cdwensley
2m 5s master
master
2m 5s
Merge pull request #93 from gap-packages/mh/smallgrp CI #195: Commit 20da0f5 pushed by cdwensley
2m 25s master
master
2m 25s
Merge pull request #93 from gap-packages/mh/smallgrp Docs #30: Commit 20da0f5 pushed by cdwensley
2m 15s master
master
2m 15s
Avoid using the small groups library CI #194: Pull request #93 opened by fingolfin
2m 4s mh/smallgrp
mh/smallgrp
2m 4s
Avoid using the small groups library Docs #29: Pull request #93 opened by fingolfin
2m 20s mh/smallgrp
mh/smallgrp
2m 20s
pages build and deployment pages-build-deployment #19: by github-pages Bot
36s gh-pages
gh-pages
36s
Release Release #3: Manually run by cdwensley
3m 2s master
master
3m 2s
Merge branch 'master' of github.com:gap-packages/utils Docs #28: Commit 35d09e6 pushed by cdwensley
2m 15s master
master
2m 15s
Merge branch 'master' of github.com:gap-packages/utils CI #193: Commit 35d09e6 pushed by cdwensley
1m 52s master
master
1m 52s
Merge pull request #91 from gap-packages/mh/nopdf CI #192: Commit 0cf9e54 pushed by cdwensley
2m 12s master
master
2m 12s
Merge pull request #91 from gap-packages/mh/nopdf Docs #27: Commit 0cf9e54 pushed by cdwensley
2m 13s master
master
2m 13s
tst/testall.g: set nopdf global option for makedoc.g Docs #26: Pull request #91 opened by fingolfin
2m 15s mh/nopdf
mh/nopdf
2m 15s