Skip to content

Actions: gap-packages/utils

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
61 workflow runs
61 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: update to actions/checkout@v6 CI #171: Commit 36e6681 pushed by fingolfin
6m 2s master
master
6m 2s
CI: update to actions/checkout@v6 Docs #6: Commit 36e6681 pushed by fingolfin
4m 28s master
master
4m 28s
pages build and deployment pages-build-deployment #18: by github-pages bot
1m 21s gh-pages
gh-pages
1m 21s
Release Release #2: Manually run by cdwensley
2m 55s master
master
2m 55s
release 0.93 CI #170: Commit d5b732a pushed by cdwensley
1m 59s master
master
1m 59s
release 0.93 Docs #5: Commit d5b732a pushed by cdwensley
2m 37s master
master
2m 37s
Update release workflow wording Docs #4: Commit 0376084 pushed by fingolfin
1h 5m 41s master
master
1h 5m 41s
Update release workflow wording CI #169: Commit 0376084 pushed by fingolfin
1h 8m 47s master
master
1h 8m 47s
CI: uniformize head of CI.yml CI #168: Commit 2d72f84 pushed by fingolfin
1h 13m 14s master
master
1h 13m 14s
CI: uniformize head of CI.yml Docs #3: Commit 2d72f84 pushed by fingolfin
1h 3m 33s master
master
1h 3m 33s
Merge pull request #87 from gap-packages/mh/banner CI #167: Commit 01649b9 pushed by cdwensley
2m 15s master
master
2m 15s
Merge pull request #87 from gap-packages/mh/banner Docs #2: Commit 01649b9 pushed by cdwensley
2m 50s master
master
2m 50s
CI: move docs job into separate workflow Docs #1: Commit cc4ebf3 pushed by fingolfin
3m 38s master
master
3m 38s
CI: move docs job into separate workflow CI #166: Commit cc4ebf3 pushed by fingolfin
2m 11s master
master
2m 11s
Don't hardcode GAP version in package banner CI #165: Pull request #87 opened by fingolfin
2m 21s mh/banner
mh/banner
2m 21s
CI: also test against GAP 4.15 CI #164: Commit 5e81d0e pushed by fingolfin
1h 58m 22s master
master
1h 58m 22s
CI: update concurrency check CI #163: Commit 4e95442 pushed by fingolfin
57m 32s master
master
57m 32s
pages build and deployment pages-build-deployment #17: by github-pages bot
41s gh-pages
gh-pages
41s
Release Release #1: Manually run by cdwensley
2m 40s master
master
2m 40s
version 0.92 release CI #162: Commit 6f4b401 pushed by cdwensley
3m 41s master
master
3m 41s
Set up release workflow (#84) CI #161: Commit 84aac85 pushed by fingolfin
5m 33s master
master
5m 33s
Set up release workflow CI #160: Pull request #84 synchronize by fingolfin
4m 8s mh/release
mh/release
4m 8s
Merge pull request #86 from gap-packages/revert-85-release CI #159: Commit 54d0e3b pushed by cdwensley
3m 54s master
master
3m 54s
Revert "adding release.yml to .github/workflows" CI #158: Pull request #86 opened by cdwensley
5m 8s revert-85-release
revert-85-release
5m 8s
Merge pull request #85 from gap-packages/release CI #157: Commit 9074b18 pushed by cdwensley
3m 48s master
master
3m 48s