Skip to content

Actions: cits5501/cits5501.github.io

Actions

build docker image

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
58 workflow runs
58 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
sample exam qs with information cover sheet build docker image #248: Commit 5ab7ba5 pushed by websense
53s master
master
53s
fix formal methods link build docker image #247: Commit 4917c49 pushed by arranstewart
1m 5s master
master
1m 5s
Update resources.md build docker image #246: Commit 19fb583 pushed by websense
1m 4s master
master
1m 4s
Formal methods lecture 2025 build docker image #245: Commit 7737ef9 pushed by websense
54s master
master
54s
Delete assets/lectures/Formal Methods.pdf build docker image #244: Commit 94f47bf pushed by websense
42s master
master
42s
Update resources.md build docker image #243: Commit 1c606ff pushed by websense
52s master
master
52s
FM lecture 2025 Matthew Daggitt build docker image #242: Commit 2c76edb pushed by websense
48s master
master
48s
releases wks 7-9 lab solutions build docker image #241: Commit ea98e6a pushed by arranstewart
59s master
master
59s
fix: correction to workshop 4 solutions build docker image #240: Commit d5b6bb7 pushed by arranstewart
59s master
master
59s
add: project phase 2 spec and library build docker image #239: Commit 84a4b27 pushed by arranstewart
52s master
master
52s
add: project phase 2 spec and library build docker image #238: Commit 3085e0f pushed by arranstewart
1m 26s master
master
1m 26s
add: JAR files containing Tachi library for project phase 2 build docker image #237: Commit 362401e pushed by arranstewart
1m 14s master
master
1m 14s
add: JAR files containing Tachi library for project phase 2 build docker image #236: Commit 1a43a6e pushed by arranstewart
1m 2s wip/tidy-workshop-7
wip/tidy-workshop-7
1m 2s
remove: outdated section of workshop 7 build docker image #235: Commit 36ca935 pushed by arranstewart
1m 4s wip/tidy-workshop-7
wip/tidy-workshop-7
1m 4s
remove: outdated section of workshop 7 build docker image #234: Commit 9a927c6 pushed by arranstewart
1m 2s wip/tidy-workshop-7
wip/tidy-workshop-7
1m 2s
fix: number lab 6 headings consistently with previous labs build docker image #233: Commit 64adab1 pushed by arranstewart
1m 6s master
master
1m 6s
fix: corrected bad indentation of week 11 lecture build docker image #232: Commit d59e88b pushed by arranstewart
1m 2s master
master
1m 2s
Wip/lecture plan part2 (#4) build docker image #231: Commit 237d3e1 pushed by arranstewart
1m 13s master
master
1m 13s
fix: whitespace in labs, textbook refs build docker image #230: Commit 60337d1 pushed by arranstewart
53s wip/lecture-plan-part2
wip/lecture-plan-part2
53s
Update resources.md build docker image #229: Commit 02a4678 pushed by websense
1m 8s wip/lecture-plan-part2
wip/lecture-plan-part2
1m 8s
Updated lectures for weeks 8,9,10 in 2025 build docker image #228: Commit 8862980 pushed by websense
53s wip/lecture-plan-part2
wip/lecture-plan-part2
53s
Update resources.md build docker image #227: Commit cc1d906 pushed by websense
1m 2s wip/lecture-plan-part2
wip/lecture-plan-part2
1m 2s
Update resources.md build docker image #226: Commit df0072e pushed by websense
56s wip/lecture-plan-part2
wip/lecture-plan-part2
56s
Update resources.md build docker image #225: Commit 959fc86 pushed by websense
1m 0s wip/lecture-plan-part2
wip/lecture-plan-part2
1m 0s
Upload risk lectures for week 10 build docker image #224: Commit 62b42e0 pushed by websense
1m 0s master
master
1m 0s