Skip to content

Actions: ToposInstitute/poly

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
143 workflow runs
143 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #24: by github-pages bot
July 17, 2024 18:08 42s
July 17, 2024 18:08 42s
pages build and deployment
pages-build-deployment #23: by github-pages bot
July 17, 2024 18:07 39s
July 17, 2024 18:07 39s
pages build and deployment
pages-build-deployment #22: by github-pages bot
July 17, 2024 18:07 36s
July 17, 2024 18:07 36s
Merge pull request #13 from ToposInstitute/revert-12-cup
Build PDF on push #430: Commit f9d60e9 pushed by nelson-niu
July 17, 2024 18:02 5m 43s main
July 17, 2024 18:02 5m 43s
Revert "Make CUP version main"
Build PDF on push #429: Commit 4299340 pushed by nelson-niu
July 17, 2024 18:02 5m 25s revert-12-cup
July 17, 2024 18:02 5m 25s
Merge pull request #12 from nelson-niu/cup
Build PDF on push #428: Commit eeaa3f7 pushed by nelson-niu
July 17, 2024 18:02 5m 20s main
July 17, 2024 18:02 5m 20s
pages build and deployment
pages-build-deployment #21: by github-pages bot
July 17, 2024 17:30 43s
July 17, 2024 17:30 43s
typo
Build PDF on push #427: Commit 93e1eaf pushed by dspivak
July 17, 2024 17:25 5m 48s cup
cup
July 17, 2024 17:25 5m 48s
pages build and deployment
pages-build-deployment #20: by github-pages bot
July 17, 2024 17:15 34s
July 17, 2024 17:15 34s
typo
Build PDF on push #426: Commit da54b3a pushed by dspivak
July 17, 2024 17:10 5m 22s main
July 17, 2024 17:10 5m 22s
pages build and deployment
pages-build-deployment #19: by github-pages bot
July 16, 2024 18:05 35s
July 16, 2024 18:05 35s
still more formatting
Build PDF on push #425: Commit 3b1c674 pushed by nelson-niu
July 16, 2024 18:00 5m 36s cup
cup
July 16, 2024 18:00 5m 36s
pages build and deployment
pages-build-deployment #18: by github-pages bot
July 16, 2024 17:57 35s
July 16, 2024 17:57 35s
pages build and deployment
pages-build-deployment #17: by github-pages bot
July 16, 2024 17:56 42s
July 16, 2024 17:56 42s
typo
Build PDF on push #424: Commit 4af4bc9 pushed by nelson-niu
July 16, 2024 17:51 5m 15s main
July 16, 2024 17:51 5m 15s
more formatting
Build PDF on push #423: Commit 8810b70 pushed by nelson-niu
July 16, 2024 17:51 5m 22s cup
cup
July 16, 2024 17:51 5m 22s
pages build and deployment
pages-build-deployment #16: by github-pages bot
July 15, 2024 23:50 34s
July 15, 2024 23:50 34s
formatting
Build PDF on push #422: Commit 28c2565 pushed by nelson-niu
July 15, 2024 23:44 5m 23s cup
cup
July 15, 2024 23:44 5m 23s
pages build and deployment
pages-build-deployment #15: by github-pages bot
July 15, 2024 21:57 45s
July 15, 2024 21:57 45s
pages build and deployment
pages-build-deployment #14: by github-pages bot
July 15, 2024 21:54 35s
July 15, 2024 21:54 35s
resolving notes & some color checking
Build PDF on push #421: Commit 8a9f8a6 pushed by nelson-niu
July 15, 2024 21:51 5m 15s cup
cup
July 15, 2024 21:51 5m 15s
resolving notes & some color checking
Build PDF on push #420: Commit 8a9f8a6 pushed by nelson-niu
July 15, 2024 21:49 5m 9s main
July 15, 2024 21:49 5m 9s
pages build and deployment
pages-build-deployment #13: by github-pages bot
July 15, 2024 21:02 35s
July 15, 2024 21:02 35s
fixed position/direction terminology in part II
Build PDF on push #419: Commit 5e193ed pushed by nelson-niu
July 15, 2024 20:55 6m 37s main
July 15, 2024 20:55 6m 37s
pages build and deployment
pages-build-deployment #12: by github-pages bot
July 15, 2024 20:53 45s
July 15, 2024 20:53 45s