Skip to content

Actions: gap-packages/xmod

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
52 workflow runs
52 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 #169: Commit 2d835b7 pushed by fingolfin
47m 11s master
master
47m 11s
Merge pull request #162 from gap-packages/mh/cdata CI #168: Commit 700c960 pushed by cdwensley
4m 41s master
master
4m 41s
Some more CDATA fixes CI #167: Pull request #162 opened by fingolfin
4m 14s mh/cdata
mh/cdata
4m 14s
Merge pull request #161 from gap-packages/mh/cdata CI #166: Commit 4624f09 pushed by cdwensley
4m 36s master
master
4m 36s
Fix CDATA usage CI #165: Pull request #161 opened by fingolfin
4m 27s mh/cdata
mh/cdata
4m 27s
version 2.98 release CI #164: Commit 217e496 pushed by cdwensley
4m 23s master
master
4m 23s
CI CI #163: by cdwensley
4m 37s master
master
4m 37s
many changes to the actor square CI #162: Pull request #160 synchronize by cdwensley
5m 39s my-dev
my-dev
5m 39s
many changes to the actor square CI #161: Pull request #160 opened by cdwensley
4m 31s my-dev
my-dev
4m 31s
CI: upload manual.pdf uncompressed CI #160: Commit cf7f50c pushed by fingolfin
49m 18s master
master
49m 18s
version 2.97 release CI #159: Commit b2b3350 pushed by cdwensley
7m 29s master
master
7m 29s
Merge pull request #159 from gap-packages/gpd2obj CI #158: Commit c11be95 pushed by cdwensley
7m 22s master
master
7m 22s
adjust to changes in groupoids CI #157: Pull request #159 opened by cdwensley
7m 50s gpd2obj
gpd2obj
7m 50s
Merge pull request #158 from gap-packages/my-dev CI #156: Commit 01f0d78 pushed by cdwensley
7m 40s master
master
7m 40s
My dev CI #155: Pull request #158 synchronize by cdwensley
7m 23s my-dev
my-dev
7m 23s
My dev CI #154: Pull request #158 synchronize by cdwensley
4m 22s my-dev
my-dev
4m 22s
My dev CI #153: Pull request #158 synchronize by cdwensley
1m 30s my-dev
my-dev
1m 30s
My dev CI #152: Pull request #158 opened by cdwensley
1m 30s my-dev
my-dev
1m 30s
Merge pull request #156 from gap-packages/my-dev CI #151: Commit 0e5b4b8 pushed by cdwensley
1m 20s master
master
1m 20s
My dev CI #150: Pull request #156 synchronize by cdwensley
2m 4s my-dev
my-dev
2m 4s
My dev CI #149: Pull request #156 opened by cdwensley
1m 35s my-dev
my-dev
1m 35s
CI: update to actions/checkout@v6 CI #148: Commit 7aa860b pushed by fingolfin
16m 20s master
master
16m 20s
Update release workflow wording CI #147: Commit f87b37d pushed by fingolfin
1h 17m 1s master
master
1h 17m 1s
Merge pull request #155 from gap-packages/my-dev CI #146: Commit 2e229c6 pushed by cdwensley
7m 26s master
master
7m 26s
Murat change of address CI #145: Pull request #155 opened by cdwensley
7m 18s my-dev
my-dev
7m 18s