Skip to content

Actions: cits5501/cits5501.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
108 workflow runs
108 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #221: by github-pages bot
25s gh-pages
gh-pages
25s
sample exam qs with information cover sheet build docker image #248: Commit 5ab7ba5 pushed by websense
53s master
master
53s
pages build and deployment pages-build-deployment #220: by github-pages bot
21s gh-pages
gh-pages
21s
fix formal methods link build docker image #247: Commit 4917c49 pushed by arranstewart
1m 5s master
master
1m 5s
pages build and deployment pages-build-deployment #219: by github-pages bot
22s gh-pages
gh-pages
22s
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
pages build and deployment pages-build-deployment #218: by github-pages bot
23s gh-pages
gh-pages
23s
releases wks 7-9 lab solutions build docker image #241: Commit ea98e6a pushed by arranstewart
59s master
master
59s
pages build and deployment pages-build-deployment #217: by github-pages bot
20s gh-pages
gh-pages
20s
fix: correction to workshop 4 solutions build docker image #240: Commit d5b6bb7 pushed by arranstewart
59s master
master
59s
pages build and deployment pages-build-deployment #216: by github-pages bot
26s gh-pages
gh-pages
26s
add: project phase 2 spec and library build docker image #239: Commit 84a4b27 pushed by arranstewart
52s master
master
52s
pages build and deployment pages-build-deployment #215: by github-pages bot
26s gh-pages
gh-pages
26s
add: project phase 2 spec and library build docker image #238: Commit 3085e0f pushed by arranstewart
1m 26s master
master
1m 26s
pages build and deployment pages-build-deployment #214: by github-pages bot
27s gh-pages
gh-pages
27s
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
pages build and deployment pages-build-deployment #213: by github-pages bot
24s gh-pages
gh-pages
24s
fix: number lab 6 headings consistently with previous labs build docker image #233: Commit 64adab1 pushed by arranstewart
1m 6s master
master
1m 6s