Skip to content

Actions: PLSec-VU/plsec-vu.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
updated picture Deploy Astro site to GitHub Pages #27: Commit 8cb338a pushed by Singularitty
1m 10s main
main
1m 10s
Update refinement post assets and math rendering Deploy Astro site to GitHub Pages #26: Commit a4c3f7c pushed by Singularitty
47s main
main
47s
Add my profile picture and fix image paths Deploy Astro site to GitHub Pages #25: Commit 440e681 pushed by windtf
1m 8s main
main
1m 8s
Change top level root for the website Deploy Astro site to GitHub Pages #24: Commit 8f00062 pushed by windtf
38s main
main
38s
Use PLSEC logo in header Deploy Astro site to GitHub Pages #23: Commit 9cb5eef pushed by windtf
41s main
main
41s
fix top level root in CI Deploy Astro site to GitHub Pages #22: Commit ec85385 pushed by windtf
40s main
main
40s
Change top level root for the website Deploy Astro site to GitHub Pages #21: Commit 48b9231 pushed by windtf
41s main
main
41s
Use PLSEC logo in header Deploy Astro site to GitHub Pages #20: Commit 9cb5eef pushed by Singularitty
43s main
main
43s
Add PLDI news article Deploy Astro site to GitHub Pages #19: Commit 3e24df8 pushed by Singularitty
37s main
main
37s
Fixed summary Deploy Astro site to GitHub Pages #18: Commit 8ddb78b pushed by Singularitty
44s main
main
44s
Add short people summaries Deploy Astro site to GitHub Pages #17: Commit 19fcff6 pushed by Singularitty
37s main
main
37s
Add collaborator people role Deploy Astro site to GitHub Pages #16: Commit fc4e0c5 pushed by Singularitty
36s main
main
36s
Feature TYPES paper on homepage Deploy Astro site to GitHub Pages #15: Commit d76331e pushed by Singularitty
39s main
main
39s
Improve mobile layout and add TYPES paper Deploy Astro site to GitHub Pages #14: Commit 63e4135 pushed by Singularitty
44s main
main
44s
Feature group GitHub project card Deploy Astro site to GitHub Pages #13: Commit 5668e59 pushed by Singularitty
46s main
main
46s
Add group GitHub project Deploy Astro site to GitHub Pages #12: Commit f45a728 pushed by Singularitty
38s main
main
38s
Remove Zunchen from people Deploy Astro site to GitHub Pages #11: Commit ee6e9a9 pushed by Singularitty
49s main
main
49s
Update people and Pantomime content Deploy Astro site to GitHub Pages #10: Commit c9f4b38 pushed by Singularitty
33s main
main
33s
Show authored work on person pages Deploy Astro site to GitHub Pages #9: Commit 7c96568 pushed by Singularitty
1m 13s main
main
1m 13s
Fix initials for names with nicknames Deploy Astro site to GitHub Pages #8: Commit c3b0fc6 pushed by Singularitty
34s main
main
34s
Restore Anna in Parnian display name Deploy Astro site to GitHub Pages #7: Commit d2a0abf pushed by Singularitty
41s main
main
41s
Add people pages and linked authors Deploy Astro site to GitHub Pages #6: Commit 63725cd pushed by Singularitty
37s main
main
37s
Update join page opportunities Deploy Astro site to GitHub Pages #5: Commit f38177e pushed by Singularitty
1m 2s main
main
1m 2s
Deploy from main branch Deploy Astro site to GitHub Pages #4: Commit 0b082dc pushed by Singularitty
1m 55s main
main
1m 55s
Fix base path URL joins Deploy Astro site to GitHub Pages #3: Commit 46bcdde pushed by Singularitty
40s deployed
deployed
40s