Skip to content

Actions: matu3ba/matu3ba.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update zine, optimal_debugging content and goals github pages #15: Commit 3371cb4 pushed by matu3ba
19s master
master
19s
goal: use formal methods+compilers+code synthesis to design for rewri… github pages #14: Commit 20a0793 pushed by matu3ba
23s master
master
23s
add missing for CI action zine.ziggy config file github pages #13: Commit 8a06be7 pushed by matu3ba
23s master
master
23s
update zine to v0.10.2 and adjust github pages github pages #12: Commit a8f871e pushed by matu3ba
12s master
master
12s
pages build and deployment pages-build-deployment #47: by github-pages bot
28s gh-pages
gh-pages
28s
update to zine v0.9.0 and zig 0.14.0 github pages #11: Commit 7481f81 pushed by matu3ba
2m 57s master
master
2m 57s
update to zine v0.9.0 and zig 0.14.0 github pages #10: Commit 2fcb401 pushed by matu3ba
27s master
master
27s
pages build and deployment pages-build-deployment #46: by github-pages bot
22s gh-pages
gh-pages
22s
Update debugging article. github pages #9: Commit 6eb424d pushed by matu3ba
32s master
master
32s
pages build and deployment pages-build-deployment #45: by github-pages bot
27s gh-pages
gh-pages
27s
add sanitizers, debugging process, many cleanups, examples github pages #8: Commit 5f35aaf pushed by matu3ba
3m 2s master
master
3m 2s
pages build and deployment pages-build-deployment #44: by github-pages bot
24s gh-pages
gh-pages
24s
add about page; delete old website; misc improvements github pages #7: Commit 54e4cdd pushed by matu3ba
30s master
master
30s
pages build and deployment pages-build-deployment #43: by github-pages bot
27s gh-pages
gh-pages
27s
fixup github pages #6: Commit fff492d pushed by matu3ba
2m 58s master
master
2m 58s