Skip to content

Actions: gap-packages/datastructures

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
29 workflow runs
29 workflow runs

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
CI: update codecov/codecov-action to v6 CI #117: Commit d656ec6 pushed by fingolfin
7m 36s master
master
7m 36s
Merge pull request #160 from jamesjer/master CI #116: Commit 8135323 pushed by james-d-mitchell
8m 2s master
master
8m 2s
Avoid undefined behavior in HashValueToObjInt CI #115: Pull request #160 opened by jamesjer
8m 18s jamesjer:master
jamesjer:master
8m 18s
CI: upload manual.pdf uncompressed CI #114: Commit fb22420 pushed by fingolfin
10m 41s master
master
10m 41s
Version 0.4.1 CI #113: Commit 77a0ca8 pushed by fingolfin
7m 7s master
master
7m 7s
CI: give up testing 32 bit ABI CI #112: Commit 9c2560b pushed by fingolfin
7m 59s master
master
7m 59s
CI: update to actions/checkout@v6 CI #111: Commit 629875d pushed by fingolfin
11m 25s master
master
11m 25s
Update release workflow wording CI #110: Commit 2b2b155 pushed by fingolfin
18m 1s master
master
18m 1s
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
CI: update concurrency check CI #107: Commit 461bad2 pushed by fingolfin
24m 3s master
master
24m 3s
Version 0.4.0 CI #106: Commit 8112e0f pushed by fingolfin
8m 15s master
master
8m 15s
Add RootsOfPartitionDS CI #105: Commit 70670df pushed by fingolfin
8m 9s master
master
8m 9s
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 CI #103: Commit c367111 pushed by wilfwilson
10m 19s master
master
10m 19s
Update Windows CI setup and make the manuals job its own workflow CI #102: Pull request #158 opened by wilfwilson
10m 22s ci
ci
10m 22s
README.md: tweak status badge CI #101: Commit c7a228d pushed by fingolfin
9m 30s master
master
9m 30s
Add default release.yml workflow CI #100: Commit bb88e70 pushed by fingolfin
27m 24s master
master
27m 24s
Avoid using UInt1/2/4 CI #99: Commit b0b8540 pushed by fingolfin
3m 35s master
master
3m 35s
PackageInfo.g: add my GitHub username CI #98: Commit afd2cc6 pushed by fingolfin
3m 28s master
master
3m 28s
Version 0.3.3 CI #97: Commit 298ae3d pushed by fingolfin
6m 32s master
master
6m 32s
Remove redundant includes CI #96: Commit 679b68e pushed by fingolfin
6m 25s master
master
6m 25s
Update hashfunction.c to use gap_all.h (#156) CI #95: Commit 479dbb7 pushed by fingolfin
6m 30s master
master
6m 30s
Update hashfunction.c to use gap_all.h CI #94: Pull request #156 opened by ptrrsn
6m 28s ptrrsn:patch-1
ptrrsn:patch-1
6m 28s
Version 0.3.2 CI #93: Commit b852d76 pushed by fingolfin
7m 17s master
master
7m 17s