Skip to content

Actions: gap-packages/groupoids

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
41 workflow runs
41 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: upload manual.pdf uncompressed CI #135: Commit 4e573d4 pushed by fingolfin
16m 6s master
master
16m 6s
Merge pull request #79 from gap-packages/my-dev CI #134: Commit b74f5f3 pushed by cdwensley
1m 43s master
master
1m 43s
added ReduceRangeToImage etc. CI #133: Pull request #79 opened by cdwensley
1m 37s my-dev
my-dev
1m 37s
CI: update to latest gap-actions CI #132: Commit 7de69c1 pushed by fingolfin
6m 5s master
master
6m 5s
Merge pull request #78 from gap-packages/my-dev CI #131: Commit 62e666f pushed by cdwensley
1m 46s master
master
1m 46s
added tecnotes.tst CI #130: Pull request #78 synchronize by cdwensley
1m 51s my-dev
my-dev
1m 51s
added tecnotes.tst CI #129: Pull request #78 opened by cdwensley
1m 43s my-dev
my-dev
1m 43s
version 1.81 release CI #128: Commit 2e08a89 pushed by cdwensley
1m 31s master
master
1m 31s
Merge pull request #77 from gap-packages/my-dev CI #127: Commit 29d79b1 pushed by cdwensley
1m 30s master
master
1m 30s
extensive collection of rewrites CI #126: Pull request #77 opened by cdwensley
1m 59s my-dev
my-dev
1m 59s
CI: update to actions/checkout@v6 CI #125: Commit 679049e pushed by fingolfin
20m 35s master
master
20m 35s
Merge pull request #76 from gap-packages/my-dev CI #124: Commit 7711559 pushed by cdwensley
1m 52s master
master
1m 52s
GroupoidWithMonoidObjects, etc. CI #123: Pull request #76 opened by cdwensley
1m 47s my-dev
my-dev
1m 47s
Merge pull request #75 from gap-packages/issue68 CI #122: Commit f671baa pushed by cdwensley
1m 43s master
master
1m 43s
dealt with issue 68 CI #121: Pull request #75 opened by cdwensley
2m 48s issue68
issue68
2m 48s
Update release workflow wording CI #120: Commit ae92b00 pushed by fingolfin
26m 42s master
master
26m 42s
CI: uniformize head of CI.yml CI #119: Commit 78900b1 pushed by fingolfin
39m 47s master
master
39m 47s
CI: move docs job into separate workflow CI #118: Commit 2cbbe90 pushed by fingolfin
47m 6s master
master
47m 6s
CI: also test against GAP 4.15 CI #117: Commit f50cfe5 pushed by fingolfin
1m 51s master
master
1m 51s
CI: update concurrency check CI #116: Commit c67088d pushed by fingolfin
29m 52s master
master
29m 52s
Merge pull request #74 from gap-packages/latex CI #115: Commit f72d115 pushed by cdwensley
6m 5s master
master
6m 5s
split operation GroupoidInnerAutomorphism CI #114: Pull request #74 opened by cdwensley
5m 7s latex
latex
5m 7s
Update CI, fix README.md badge CI #113: Commit b94b172 pushed by fingolfin
4m 32s master
master
4m 32s
Update GAP GitHub Actions: setup-gap@v3 + build-pkg-docs@v2 CI #112: Commit 7a445fc pushed by fingolfin
8m 1s master
master
8m 1s
Merge pull request #73 from gap-packages/release-1.79 CI #111: Commit 5b01441 pushed by cdwensley
5m 11s master
master
5m 11s