Skip to content

Actions: 7angel4/7angel4.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

updated personal intro Deploy static content to Pages #44: Commit eb48a98 pushed by 7angel4
31s main
main
31s
updated website link for TACAS 2026 paper Deploy static content to Pages #43: Commit 2cdabb0 pushed by 7angel4
23s main
main
23s
moved some projects to "other-projects" category Deploy static content to Pages #42: Commit 8cdba05 pushed by 7angel4
27s main
main
27s
added website link to arXiv HTML for TACAS 2026 paper Deploy static content to Pages #41: Commit bda731e pushed by 7angel4
24s main
main
24s
fixed profile video's responsive width Deploy static content to Pages #40: Commit bf70eb4 pushed by 7angel4
24s main
main
24s
replaced profile photo on homepage Deploy static content to Pages #39: Commit c76ec17 pushed by 7angel4
31s main
main
31s
silenced some image captions Deploy static content to Pages #38: Commit 99d4bc4 pushed by 7angel4
21s main
main
21s
minor formatting of authors list Deploy static content to Pages #37: Commit 07ce9d4 pushed by 7angel4
30s main
main
30s
minor formatting of abstract Deploy static content to Pages #36: Commit 219eaa0 pushed by 7angel4
26s main
main
26s
added entry for TACAS 2026 paper "Robust Verification of Concurrent S… Deploy static content to Pages #35: Commit 061bd0e pushed by 7angel4
28s main
main
28s
Merge remote-tracking branch 'origin/main' Deploy static content to Pages #34: Commit 5b9132f pushed by 7angel4
25s main
main
25s
Upgrade GitHub Actions to latest versions Deploy static content to Pages #33: Commit 707a15b pushed by 7angel4
25s main
main
25s
Completed MSc; added progression to DPhil Deploy static content to Pages #32: Commit 3067032 pushed by 7angel4
7s main
main
7s