Skip to content

Actions: CATcher-org/catcher-org.github.io

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #19: by github-pages bot
April 29, 2024 16:01 28s gh-pages
April 29, 2024 16:01 28s
Update team disagreement example to match actual comments (#34)
Deploy to GitHub Pages #37: Commit e4354e5 pushed by chunweii
April 29, 2024 16:01 43s master
April 29, 2024 16:01 43s
pages build and deployment
pages-build-deployment #18: by github-pages bot
April 26, 2024 14:49 28s gh-pages
April 26, 2024 14:49 28s
Update developers for AY23/24(#37)
Deploy to GitHub Pages #36: Commit 0464230 pushed by cheehongw
April 26, 2024 14:48 40s master
April 26, 2024 14:48 40s
pages build and deployment
pages-build-deployment #17: by github-pages bot
December 12, 2023 07:52 27s gh-pages
December 12, 2023 07:52 27s
Add <hr> to all <catcher-end-of-segment> (#33)
Deploy to GitHub Pages #35: Commit f3c20b7 pushed by chunweii
December 12, 2023 07:51 39s master
December 12, 2023 07:51 39s
pages build and deployment
pages-build-deployment #16: by github-pages bot
October 1, 2023 09:23 33s gh-pages
October 1, 2023 09:23 33s
Change team lead (#32)
Deploy to GitHub Pages #34: Commit 729ce3d pushed by chunweii
October 1, 2023 09:23 42s master
October 1, 2023 09:23 42s
pages build and deployment
pages-build-deployment #15: by github-pages bot
September 30, 2023 18:09 39s gh-pages
September 30, 2023 18:09 39s
Remove Electron from DG - to be merged during next release (#30)
Deploy to GitHub Pages #33: Commit fe65575 pushed by chunweii
September 30, 2023 18:08 41s master
September 30, 2023 18:08 41s