Skip to content

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

Actions

Deploy to GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deployment.yml
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
master
April 29, 2024 16:01 43s
Update developers for AY23/24(#37) Deploy to GitHub Pages #36: Commit 0464230 pushed by cheehongw
April 26, 2024 14:48 40s master
master
April 26, 2024 14:48 40s
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
master
December 12, 2023 07:51 39s
Change team lead (#32) Deploy to GitHub Pages #34: Commit 729ce3d pushed by chunweii
October 1, 2023 09:23 42s master
master
October 1, 2023 09:23 42s
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
master
September 30, 2023 18:08 41s