Skip to content

Actions: gap-packages/xmod

Actions

Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

version 2.97 release Docs #17: Commit b2b3350 pushed by cdwensley
2m 36s master
master
2m 36s
Merge pull request #159 from gap-packages/gpd2obj Docs #16: Commit c11be95 pushed by cdwensley
2m 15s master
master
2m 15s
adjust to changes in groupoids Docs #15: Pull request #159 opened by cdwensley
2m 25s gpd2obj
gpd2obj
2m 25s
Merge pull request #158 from gap-packages/my-dev Docs #14: Commit 01f0d78 pushed by cdwensley
2m 31s master
master
2m 31s
My dev Docs #13: Pull request #158 synchronize by cdwensley
2m 17s my-dev
my-dev
2m 17s
My dev Docs #12: Pull request #158 synchronize by cdwensley
2m 24s my-dev
my-dev
2m 24s
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
Merge pull request #156 from gap-packages/my-dev Docs #9: Commit 0e5b4b8 pushed by cdwensley
2m 15s master
master
2m 15s
My dev Docs #8: Pull request #156 synchronize by cdwensley
2m 20s my-dev
my-dev
2m 20s
My dev Docs #7: Pull request #156 opened by cdwensley
2m 51s my-dev
my-dev
2m 51s
CI: update to actions/checkout@v6 Docs #6: Commit 7aa860b pushed by fingolfin
7m 15s master
master
7m 15s
Update release workflow wording Docs #5: Commit f87b37d pushed by fingolfin
1h 9m 16s master
master
1h 9m 16s
Merge pull request #155 from gap-packages/my-dev Docs #4: Commit 2e229c6 pushed by cdwensley
2m 24s master
master
2m 24s
Murat change of address Docs #3: Pull request #155 opened by cdwensley
3m 45s my-dev
my-dev
3m 45s
CI: uniformize head of CI.yml Docs #2: Commit 1a8c750 pushed by fingolfin
1h 6m 13s master
master
1h 6m 13s
CI: move docs job into separate workflow Docs #1: Commit 13a282c pushed by fingolfin
3m 40s master
master
3m 40s