Skip to content

Actions: matu3ba/matu3ba.github.io

Actions

github pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
gh-pages.yml
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
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
Update debugging article. github pages #9: Commit 6eb424d pushed by matu3ba
32s master
master
32s
add sanitizers, debugging process, many cleanups, examples github pages #8: Commit 5f35aaf pushed by matu3ba
3m 2s master
master
3m 2s
add about page; delete old website; misc improvements github pages #7: Commit 54e4cdd pushed by matu3ba
30s master
master
30s
fixup github pages #6: Commit fff492d pushed by matu3ba
2m 58s master
master
2m 58s
line ending, date and margin fixes github pages #5: Commit 6a2a8c1 pushed by matu3ba
32s master
master
32s
fix typo github pages #4: Commit 8109e3b pushed by matu3ba
31s master
master
31s
add missing configuration hint on usage of zine github pages #3: Commit f7f3d27 pushed by matu3ba
42s master
master
42s
try JamesIves/github-pages-deploy-action@v4 github pages #2: Commit b9337be pushed by matu3ba
41s master
master
41s
move content to zine, add github page github pages #1: Commit e98deb6 pushed by matu3ba
4m 24s master
master
4m 24s