Skip to content

Actions: filipeom/filipeom.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add some SEO Deploy to Pages #14: Commit 3e4fbf7 pushed by filipeom
2m 46s main
main
2m 46s
Style adjustments for blog posts Deploy to Pages #13: Commit a7210e4 pushed by filipeom
2m 44s main
main
2m 44s
Remove unused functions and files Deploy to Pages #12: Commit 47359fd pushed by filipeom
2m 58s main
main
2m 58s
Smt.ml was accepted at TACAS'26 :) Deploy to Pages #11: Commit 65bdf85 pushed by filipeom
2m 52s main
main
2m 52s
Add smtml reference Deploy to Pages #10: Commit de1d76e pushed by filipeom
6m 11s main
main
6m 11s
Update README.md Deploy to Pages #9: Commit 004747c pushed by filipeom
6m 42s main
main
6m 42s
Use Eio to get direct-style concurrency Deploy to Pages #8: Commit 9e550ba pushed by filipeom
5m 3s main
main
5m 3s
Add gnupg key Deploy to Pages #7: Commit 52f17e1 pushed by filipeom
2m 52s main
main
2m 52s
Add publications page Deploy to Pages #6: Commit ba430e9 pushed by filipeom
3m 27s main
main
3m 27s
Justifying text leaves big gaps which are not good :( Deploy to Pages #5: Commit 5da5c0e pushed by filipeom
2m 56s main
main
2m 56s
Add projects page (#7) Deploy to Pages #4: Commit cde7fe5 pushed by filipeom
3m 14s main
main
3m 14s
Adjust profile picture for mobile Deploy to Pages #3: Commit eaaac8a pushed by filipeom
3m 1s main
main
3m 1s
Actually build webpage in deploy CI Deploy to Pages #2: Commit 4dd87d9 pushed by filipeom
3m 34s main
main
3m 34s
Deploy to pages Deploy to Pages #1: Commit cc16de0 pushed by filipeom
6m 26s main
main
6m 26s
pages build and deployment pages-build-deployment #3: by filipeom
52s main
main
52s
pages build and deployment pages-build-deployment #2: by filipeom
51s main
main
51s
pages build and deployment pages-build-deployment #1: by filipeom
50s main
main
50s