Skip to content

Actions: gap-packages/walrus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
50 workflow runs
50 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 CHANGES.md CI #45: Pull request #42 opened by fingolfin
12m 56s changes-md
changes-md
12m 56s
Add CHANGES.md Docs #22: Pull request #42 opened by fingolfin
10m 7s changes-md
changes-md
10m 7s
CI: check for pending releases Docs #21: Pull request #41 opened by fingolfin
26m 23s check-pending-release
check-pending-release
26m 23s
CI: check for pending releases CI #44: Pull request #41 opened by fingolfin
43m 21s check-pending-release
check-pending-release
43m 21s
CI: update to actions/checkout@v7 CI #43: Commit 88ce719 pushed by fingolfin
35m 32s master
master
35m 32s
CI: update to actions/checkout@v7 Docs #20: Commit 88ce719 pushed by fingolfin
35m 10s master
master
35m 10s
pages build and deployment pages-build-deployment #4: by github-pages Bot
43s gh-pages
gh-pages
43s
Release Release #2: Manually run by fingolfin
4m 10s master
master
4m 10s
Version 0.9993 Docs #19: Commit 9073b18 pushed by fingolfin
2m 12s master
master
2m 12s
Version 0.9993 CI #42: Commit 9073b18 pushed by fingolfin
4m 51s master
master
4m 51s
Drop spurious dependency on GAPDoc Docs #18: Commit 12d3fcf pushed by fingolfin
2m 20s master
master
2m 20s
Drop spurious dependency on GAPDoc CI #41: Commit 12d3fcf pushed by fingolfin
4m 55s master
master
4m 55s
Update CI to use setup-gap@v3 (#40) CI #40: Commit 40ca250 pushed by fingolfin
4m 43s master
master
4m 43s
Update CI to use setup-gap@v3 (#40) Docs #17: Commit 40ca250 pushed by fingolfin
2m 31s master
master
2m 31s
Update CI to use setup-gap@v3 Docs #16: Pull request #40 synchronize by fingolfin
2m 13s codex/update-ci
codex/update-ci
2m 13s
Update CI to use setup-gap@v3 CI #39: Pull request #40 synchronize by fingolfin
11m 29s codex/update-ci
codex/update-ci
11m 29s
doc: fix 'undefined reference' warnings CI #38: Commit 77ba9af pushed by fingolfin
4m 18s master
master
4m 18s
doc: fix 'undefined reference' warnings Docs #15: Commit 77ba9af pushed by fingolfin
2m 17s master
master
2m 17s
Update CI to use setup-gap@v3 CI #36: Pull request #40 synchronize by fingolfin
9m 6s codex/update-ci
codex/update-ci
9m 6s
Update CI to use setup-gap@v3 Docs #13: Pull request #40 synchronize by fingolfin
4m 54s codex/update-ci
codex/update-ci
4m 54s
Update CI to use setup-gap@v3 CI #35: Pull request #40 opened by fingolfin
12m 13s codex/update-ci
codex/update-ci
12m 13s
Update CI to use setup-gap@v3 Docs #12: Pull request #40 opened by fingolfin
7m 34s codex/update-ci
codex/update-ci
7m 34s
Update CI workflow CI #34: Commit e46d516 pushed by fingolfin
1h 1m 31s master
master
1h 1m 31s
Update CI workflow Docs #11: Commit e46d516 pushed by fingolfin
55m 23s master
master
55m 23s
Update release workflow Docs #10: Commit 6fbe7f6 pushed by fingolfin
56m 13s master
master
56m 13s