Skip to content

Actions: gap-packages/datastructures

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
45 workflow runs
45 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #8: by github-pages bot
37s gh-pages
gh-pages
37s
Release Release #2: Manually run by fingolfin
2m 42s master
master
2m 42s
Version 0.4.1 CI #113: Commit 77a0ca8 pushed by fingolfin
7m 7s master
master
7m 7s
Version 0.4.1 Docs #6: Commit 77a0ca8 pushed by fingolfin
2m 18s master
master
2m 18s
CI: give up testing 32 bit ABI CI #112: Commit 9c2560b pushed by fingolfin
7m 59s master
master
7m 59s
CI: give up testing 32 bit ABI Docs #5: Commit 9c2560b pushed by fingolfin
2m 16s master
master
2m 16s
CI: update to actions/checkout@v6 CI #111: Commit 629875d pushed by fingolfin
11m 25s master
master
11m 25s
CI: update to actions/checkout@v6 Docs #4: Commit 629875d pushed by fingolfin
7m 12s master
master
7m 12s
Update release workflow wording Docs #3: Commit 2b2b155 pushed by fingolfin
8m 21s master
master
8m 21s
Update release workflow wording CI #110: Commit 2b2b155 pushed by fingolfin
18m 1s master
master
18m 1s
CI: uniformize head of CI.yml Docs #2: Commit 5babdc0 pushed by fingolfin
26m 11s master
master
26m 11s
CI: uniformize head of CI.yml CI #109: Commit 5babdc0 pushed by fingolfin
35m 4s master
master
35m 4s
Replace manual.yml by 'standard' docs.yml CI #108: Commit 4f4f032 pushed by fingolfin
8m 4s master
master
8m 4s
Replace manual.yml by 'standard' docs.yml Docs #1: Commit 4f4f032 pushed by fingolfin
4m 19s master
master
4m 19s
CI: update concurrency check CI #107: Commit 461bad2 pushed by fingolfin
24m 3s master
master
24m 3s
CI: update concurrency check Build manual #6: Commit 461bad2 pushed by fingolfin
20m 3s master
master
20m 3s
pages build and deployment pages-build-deployment #7: by github-pages bot
34s gh-pages
gh-pages
34s
Release Release #1: Manually run by fingolfin
5m 1s master
master
5m 1s
Version 0.4.0 CI #106: Commit 8112e0f pushed by fingolfin
8m 15s master
master
8m 15s
Version 0.4.0 Build manual #5: Commit 8112e0f pushed by fingolfin
3m 47s master
master
3m 47s
Add RootsOfPartitionDS Build manual #4: Commit 70670df pushed by fingolfin
2m 42s master
master
2m 42s
Add RootsOfPartitionDS CI #105: Commit 70670df pushed by fingolfin
8m 9s master
master
8m 9s
Some quality of life improvements for PartitionDS Build manual #3: Pull request #159 opened by james-d-mitchell
3m 49s james-d-mitchell:partition-ds-qol
james-d-mitchell:partition-ds-qol
3m 49s
Some quality of life improvements for PartitionDS CI #104: Pull request #159 opened by james-d-mitchell
7m 14s james-d-mitchell:partition-ds-qol
james-d-mitchell:partition-ds-qol
7m 14s
CI: update cygwin setup and make manuals job its own workflow Build manual #2: Commit c367111 pushed by wilfwilson
2m 18s master
master
2m 18s