Skip to content

Actions: gap-packages/xmod

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
77 workflow runs
77 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #17: by github-pages bot
3m 33s gh-pages
gh-pages
3m 33s
Release Release #2: Manually run by cdwensley
2m 58s master
master
2m 58s
version 2.97 release Docs #17: Commit b2b3350 pushed by cdwensley
2m 36s master
master
2m 36s
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 Docs #16: Commit c11be95 pushed by cdwensley
2m 15s master
master
2m 15s
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 Docs #15: Pull request #159 opened by cdwensley
2m 25s gpd2obj
gpd2obj
2m 25s
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 Docs #14: Commit 01f0d78 pushed by cdwensley
2m 31s master
master
2m 31s
Merge pull request #158 from gap-packages/my-dev CI #156: Commit 01f0d78 pushed by cdwensley
7m 40s master
master
7m 40s
My dev Docs #13: Pull request #158 synchronize by cdwensley
2m 17s my-dev
my-dev
2m 17s
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 Docs #12: Pull request #158 synchronize by cdwensley
2m 24s my-dev
my-dev
2m 24s
My dev CI #153: Pull request #158 synchronize by cdwensley
1m 30s my-dev
my-dev
1m 30s
My dev Docs #11: Pull request #158 synchronize by cdwensley
2m 20s my-dev
my-dev
2m 20s
My dev Docs #10: Pull request #158 opened by cdwensley
2m 16s my-dev
my-dev
2m 16s
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 Docs #9: Commit 0e5b4b8 pushed by cdwensley
2m 15s master
master
2m 15s
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 Docs #8: Pull request #156 synchronize by cdwensley
2m 20s my-dev
my-dev
2m 20s
My dev CI #149: Pull request #156 opened by cdwensley
1m 35s my-dev
my-dev
1m 35s
My dev Docs #7: Pull request #156 opened by cdwensley
2m 51s my-dev
my-dev
2m 51s
CI: update to actions/checkout@v6 CI #148: Commit 7aa860b pushed by fingolfin
16m 20s master
master
16m 20s