Skip to content

Actions: gap-packages/polymaking

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update PackageInfo.g and CI suite (#24) Docs #15: Commit 04f59b5 pushed by fingolfin
2m 12s master
master
2m 12s
Update PackageInfo.g and CI suite (#24) CI #64: Commit 04f59b5 pushed by fingolfin
3m 23s master
master
3m 23s
Update PackageInfo.g and CI suite CI #63: Pull request #24 opened by stertooy
3m 9s stertooy:update-ci
stertooy:update-ci
3m 9s
Update PackageInfo.g and CI suite Docs #14: Pull request #24 opened by stertooy
2m 10s stertooy:update-ci
stertooy:update-ci
2m 10s
Fix CDATA usage Docs #13: Commit da6db79 pushed by fingolfin
2m 5s master
master
2m 5s
Fix CDATA usage CI #62: Commit da6db79 pushed by fingolfin
3m 28s master
master
3m 28s
CI: upload manual.pdf uncompressed Docs #12: Commit 73acf77 pushed by fingolfin
26m 39s master
master
26m 39s
CI: upload manual.pdf uncompressed CI #61: Commit 73acf77 pushed by fingolfin
34m 41s master
master
34m 41s
pages build and deployment pages-build-deployment #3: by github-pages bot
1m 33s gh-pages
gh-pages
1m 33s
Release Release #1: Manually run by fingolfin
2m 53s master
master
2m 53s
Version 0.8.8 Docs #11: Commit e4a2834 pushed by fingolfin
2m 7s master
master
2m 7s
Version 0.8.8 CI #60: Commit e4a2834 pushed by fingolfin
3m 42s master
master
3m 42s
Fix duplicate labels in manual (#20) Docs #10: Commit ea1cb6c pushed by fingolfin
2m 32s master
master
2m 32s
Fix duplicate labels in manual (#20) CI #59: Commit ea1cb6c pushed by fingolfin
3m 53s master
master
3m 53s
Drop false depdency on GAPDoc CI #58: Commit 48f8070 pushed by fingolfin
4m 5s master
master
4m 5s
Drop false depdency on GAPDoc Docs #9: Commit 48f8070 pushed by fingolfin
2m 23s master
master
2m 23s
Fix duplicate labels in manual CI #57: Pull request #20 synchronize by fingolfin
4m 3s fix-ci
fix-ci
4m 3s
Fix duplicate labels in manual Docs #8: Pull request #20 synchronize by fingolfin
2m 20s fix-ci
fix-ci
2m 20s
Update polymaking.bib (#21) Docs #7: Commit 071fca3 pushed by fingolfin
2m 22s master
master
2m 22s
Update polymaking.bib (#21) CI #56: Commit 071fca3 pushed by fingolfin
4m 9s master
master
4m 9s
CI: update to actions/checkout@v6 CI #55: Commit 02a5dcc pushed by fingolfin
40m 48s master
master
40m 48s
CI: update to actions/checkout@v6 Docs #6: Commit 02a5dcc pushed by fingolfin
32m 8s master
master
32m 8s
Update release workflow wording CI #54: Commit 0cbc21d pushed by fingolfin
1h 4m 31s master
master
1h 4m 31s
Update release workflow wording Docs #5: Commit 0cbc21d pushed by fingolfin
45m 24s master
master
45m 24s
CI: uniformize head of CI.yml Docs #4: Commit f5021e2 pushed by fingolfin
51m 33s master
master
51m 33s