Skip to content

Actions: gap-packages/groupoids

Actions

Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: upload manual.pdf uncompressed Docs #18: Commit 4e573d4 pushed by fingolfin
12m 27s master
master
12m 27s
Merge pull request #79 from gap-packages/my-dev Docs #17: Commit b74f5f3 pushed by cdwensley
2m 13s master
master
2m 13s
added ReduceRangeToImage etc. Docs #16: Pull request #79 opened by cdwensley
2m 39s my-dev
my-dev
2m 39s
CI: update to latest gap-actions Docs #15: Commit 7de69c1 pushed by fingolfin
6m 2s master
master
6m 2s
Merge pull request #78 from gap-packages/my-dev Docs #14: Commit 62e666f pushed by cdwensley
2m 20s master
master
2m 20s
added tecnotes.tst Docs #13: Pull request #78 synchronize by cdwensley
2m 22s my-dev
my-dev
2m 22s
added tecnotes.tst Docs #12: Pull request #78 opened by cdwensley
2m 16s my-dev
my-dev
2m 16s
version 1.81 release Docs #11: Commit 2e08a89 pushed by cdwensley
2m 25s master
master
2m 25s
Merge pull request #77 from gap-packages/my-dev Docs #10: Commit 29d79b1 pushed by cdwensley
2m 22s master
master
2m 22s
extensive collection of rewrites Docs #9: Pull request #77 opened by cdwensley
2m 10s my-dev
my-dev
2m 10s
CI: update to actions/checkout@v6 Docs #8: Commit 679049e pushed by fingolfin
15m 17s master
master
15m 17s
Merge pull request #76 from gap-packages/my-dev Docs #7: Commit 7711559 pushed by cdwensley
2m 22s master
master
2m 22s
GroupoidWithMonoidObjects, etc. Docs #6: Pull request #76 opened by cdwensley
3m 51s my-dev
my-dev
3m 51s
Merge pull request #75 from gap-packages/issue68 Docs #5: Commit f671baa pushed by cdwensley
2m 29s master
master
2m 29s
dealt with issue 68 Docs #4: Pull request #75 opened by cdwensley
2m 36s issue68
issue68
2m 36s
Update release workflow wording Docs #3: Commit ae92b00 pushed by fingolfin
21m 19s master
master
21m 19s
CI: uniformize head of CI.yml Docs #2: Commit 78900b1 pushed by fingolfin
31m 57s master
master
31m 57s
CI: move docs job into separate workflow Docs #1: Commit 2cbbe90 pushed by fingolfin
41m 18s master
master
41m 18s