Skip to content

Actions: gap-packages/polymaking

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 stertooy:fix-ci
stertooy:fix-ci
4m 3s
Fix duplicate labels in manual Docs #8: Pull request #20 synchronize by fingolfin
2m 20s stertooy:fix-ci
stertooy: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
CI: uniformize head of CI.yml CI #53: Commit f5021e2 pushed by fingolfin
57m 7s master
master
57m 7s
Fix URL command in polymaking.bib CI #52: Pull request #21 opened by stertooy
6m 5s stertooy:fix-bib
stertooy:fix-bib
6m 5s
Fix URL command in polymaking.bib Docs #3: Pull request #21 opened by stertooy
2m 59s stertooy:fix-bib
stertooy:fix-bib
2m 59s
Fix duplicate labels in manual Docs #2: Pull request #20 opened by stertooy
4m 12s stertooy:fix-ci
stertooy:fix-ci
4m 12s
Fix duplicate labels in manual CI #51: Pull request #20 opened by stertooy
7m 26s stertooy:fix-ci
stertooy:fix-ci
7m 26s
CI: move docs job into separate workflow Docs #1: Commit bfc221c pushed by fingolfin
37m 13s master
master
37m 13s
CI: move docs job into separate workflow CI #50: Commit bfc221c pushed by fingolfin
47m 22s master
master
47m 22s
CI: also test against GAP 4.15 CI #49: Commit 7e21022 pushed by fingolfin
1h 53m 5s master
master
1h 53m 5s