Skip to content

Actions: gap-packages/polymaking

Actions

Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
18 workflow runs
18 workflow runs

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
Update release workflow Docs #18: Commit b2248ab pushed by fingolfin
36m 59s master
master
36m 59s
PackageInfo.g: separate URL in ExternalConditions Docs #17: Commit c25acf2 pushed by fingolfin
2m 19s master
master
2m 19s
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 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
CI: upload manual.pdf uncompressed Docs #12: Commit 73acf77 pushed by fingolfin
26m 39s master
master
26m 39s
Version 0.8.8 Docs #11: Commit e4a2834 pushed by fingolfin
2m 7s master
master
2m 7s
Fix duplicate labels in manual (#20) Docs #10: Commit ea1cb6c pushed by fingolfin
2m 32s master
master
2m 32s
Drop false depdency on GAPDoc Docs #9: Commit 48f8070 pushed by fingolfin
2m 23s master
master
2m 23s
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
CI: update to actions/checkout@v6 Docs #6: Commit 02a5dcc pushed by fingolfin
32m 8s master
master
32m 8s
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
Fix URL command in polymaking.bib Docs #3: Pull request #21 opened by stertooy
2m 59s fix-bib
fix-bib
2m 59s
Fix duplicate labels in manual Docs #2: Pull request #20 opened by stertooy
4m 12s fix-ci
fix-ci
4m 12s
CI: move docs job into separate workflow Docs #1: Commit bfc221c pushed by fingolfin
37m 13s master
master
37m 13s