Skip to content

Actions: gap-packages/polymaking

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
41 workflow runs
41 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
pages build and deployment pages-build-deployment #4: by github-pages bot
38s gh-pages
gh-pages
38s
Release Release #2: Manually run by fingolfin
2m 34s master
master
2m 34s
Version 0.8.9 CI #65: Commit 4fc99c0 pushed by fingolfin
3m 3s master
master
3m 3s
Version 0.8.9 Docs #16: Commit 4fc99c0 pushed by fingolfin
2m 13s master
master
2m 13s
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