Skip to content

Actions: gap-packages/smallgrp

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: don't test on GAP 4.9 CI #58: Commit dc28287 pushed by fingolfin
13m 24s master
master
13m 24s
CI: update to latest gap-actions CI #57: Commit 0a3c87a pushed by fingolfin
17m 36s master
master
17m 36s
CI: update to actions/checkout@v6 CI #56: Commit 7450aad pushed by fingolfin
3m 47s master
master
3m 47s
Update release workflow wording CI #55: Commit b8c22ba pushed by fingolfin
1h 9m 34s master
master
1h 9m 34s
CI: move docs job into separate workflow CI #54: Commit 0a7856e pushed by fingolfin
25m 58s master
master
25m 58s
CI: also test against GAP 4.15 CI #53: Commit 527de4d pushed by fingolfin
2h 2m 54s master
master
2h 2m 54s
Update GAP GitHub Actions: setup-gap@v3 + build-pkg-docs@v2 CI #52: Commit f1bd54f pushed by fingolfin
24m 5s master
master
24m 5s
Remove dependabot again CI #51: Commit cfa742f pushed by fingolfin
9m 54s master
master
9m 54s
Bump gap-actions/setup-gap from 2 to 3 CI #50: Pull request #65 opened by dependabot bot
3m 36s dependabot/github_actions/gap-actions/setup-gap-3
dependabot/github_actions/gap-actions/setup-gap-3
3m 36s
Bump gap-actions/build-pkg-docs from 1 to 2 CI #49: Pull request #64 opened by dependabot bot
7m 51s dependabot/github_actions/gap-actions/build-pkg-docs-2
dependabot/github_actions/gap-actions/build-pkg-docs-2
7m 51s
Tweak release workflow input description CI #48: Commit 4fe49c7 pushed by fingolfin
4m 34s master
master
4m 34s
Update release workflow CI #47: Commit a333a4e pushed by fingolfin
6m 59s master
master
6m 59s
Make workflow agnostic of name of default branch CI #46: Commit a502305 pushed by fingolfin
3m 49s master
master
3m 49s
add release workflow CI #45: Commit ddcd0b8 pushed by fingolfin
5m 15s master
master
5m 15s
README.md: fix build status badge CI #44: Commit 87d1573 pushed by fingolfin
6m 21s master
master
6m 21s
PackageInfo.g: add GitHub usernames CI #43: Commit 08eb5ce pushed by fingolfin
6m 50s master
master
6m 50s
Oops CI #42: Commit 3985d7e pushed by fingolfin
5m 4s master
master
5m 4s
CI: test against stable-4.14 CI #41: Commit 935b4c1 pushed by fingolfin
6m 31s master
master
6m 31s