Skip to content

Actions: AY2324S1-CS2103T-W08-2/tp

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
741 workflow runs
741 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #125: by github-pages bot
November 14, 2023 03:22 34s
November 14, 2023 03:22 34s
Merge pull request #208 from marioalvaro/branch-Last-Check
MarkBind Action #124: Commit 2d6b5d9 pushed by feifeiraindrops
November 14, 2023 03:21 1m 12s master
November 14, 2023 03:21 1m 12s
Merge pull request #208 from marioalvaro/branch-Last-Check
Java CI #417: Commit 2d6b5d9 pushed by feifeiraindrops
November 14, 2023 03:21 2m 44s master
November 14, 2023 03:21 2m 44s
Enhance dg implementation
Java CI #416: Pull request #209 opened by feifeiraindrops
November 14, 2023 03:20 1m 53s feifeiraindrops:dg
November 14, 2023 03:20 1m 53s
Fix bug in UG and DG
Java CI #415: Pull request #208 synchronize by marioalvaro
November 14, 2023 03:04 1m 40s marioalvaro:branch-Last-Check
November 14, 2023 03:04 1m 40s
Fix bug in UG and DG
Java CI #414: Pull request #208 opened by marioalvaro
November 14, 2023 03:02 3m 2s marioalvaro:branch-Last-Check
November 14, 2023 03:02 3m 2s
Merge pull request #207 from seraphimstreets/master
Java CI #413: Commit 02406a9 pushed by seraphimstreets
November 14, 2023 02:58 2m 7s v.1.4
November 14, 2023 02:58 2m 7s
pages build and deployment
pages-build-deployment #124: by github-pages bot
November 14, 2023 02:57 37s
November 14, 2023 02:57 37s
Merge pull request #207 from seraphimstreets/master
Java CI #412: Commit 02406a9 pushed by seraphimstreets
November 14, 2023 02:56 1m 41s master
November 14, 2023 02:56 1m 41s
Merge pull request #207 from seraphimstreets/master
MarkBind Action #123: Commit 02406a9 pushed by seraphimstreets
November 14, 2023 02:56 1m 9s master
November 14, 2023 02:56 1m 9s
Remove unnecessary code
Java CI #411: Pull request #207 synchronize by seraphimstreets
November 14, 2023 02:53 1m 27s seraphimstreets:master
November 14, 2023 02:53 1m 27s
Remove unnecessary code
Java CI #410: Pull request #207 opened by seraphimstreets
November 14, 2023 02:40 1m 10s seraphimstreets:master
November 14, 2023 02:40 1m 10s
pages build and deployment
pages-build-deployment #123: by github-pages bot
November 14, 2023 02:22 33s
November 14, 2023 02:22 33s
Merge pull request #206 from seraphimstreets/master
Java CI #409: Commit b8cfa33 pushed by marioalvaro
November 14, 2023 02:20 2m 1s master
November 14, 2023 02:20 2m 1s
Merge pull request #206 from seraphimstreets/master
MarkBind Action #122: Commit b8cfa33 pushed by marioalvaro
November 14, 2023 02:20 2m 14s master
November 14, 2023 02:20 2m 14s
Fix some formatting issues
Java CI #408: Pull request #206 synchronize by seraphimstreets
November 13, 2023 23:23 2m 42s seraphimstreets:master
November 13, 2023 23:23 2m 42s
Fix some formatting issues
Java CI #407: Pull request #206 synchronize by seraphimstreets
November 13, 2023 23:14 1m 11s seraphimstreets:master
November 13, 2023 23:14 1m 11s
Fix some formatting issues
Java CI #406: Pull request #206 synchronize by seraphimstreets
November 13, 2023 23:09 1m 11s seraphimstreets:master
November 13, 2023 23:09 1m 11s
Fix some formatting issues
Java CI #405: Pull request #206 opened by seraphimstreets
November 13, 2023 22:54 1m 52s seraphimstreets:master
November 13, 2023 22:54 1m 52s
pages build and deployment
pages-build-deployment #122: by github-pages bot
November 13, 2023 22:10 39s
November 13, 2023 22:10 39s
Merge pull request #205 from feifeiraindrops/master
MarkBind Action #121: Commit edd36d4 pushed by seraphimstreets
November 13, 2023 22:09 1m 9s master
November 13, 2023 22:09 1m 9s
Merge pull request #205 from feifeiraindrops/master
Java CI #404: Commit edd36d4 pushed by seraphimstreets
November 13, 2023 22:09 1m 50s master
November 13, 2023 22:09 1m 50s
Add enhancement and effort appendix
Java CI #403: Pull request #205 opened by feifeiraindrops
November 13, 2023 21:20 2m 5s feifeiraindrops:master
November 13, 2023 21:20 2m 5s
pages build and deployment
pages-build-deployment #121: by github-pages bot
November 13, 2023 20:53 41s
November 13, 2023 20:53 41s
pages build and deployment
pages-build-deployment #120: by github-pages bot
November 13, 2023 20:52 22s
November 13, 2023 20:52 22s