Skip to content

Actions: matu3ba/matu3ba.github.io

Actions

github pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
gh-pages.yml
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

goal: use formal methods+compilers+code synthesis to design for rewri… github pages #14: Commit 20a0793 pushed by matu3ba
June 6, 2025 12:07 23s master
master
June 6, 2025 12:07 23s
add missing for CI action zine.ziggy config file github pages #13: Commit 8a06be7 pushed by matu3ba
May 14, 2025 21:20 23s master
master
May 14, 2025 21:20 23s
update zine to v0.10.2 and adjust github pages github pages #12: Commit a8f871e pushed by matu3ba
May 14, 2025 21:17 12s master
master
May 14, 2025 21:17 12s
update to zine v0.9.0 and zig 0.14.0 github pages #11: Commit 7481f81 pushed by matu3ba
March 13, 2025 21:58 2m 57s master
master
March 13, 2025 21:58 2m 57s
update to zine v0.9.0 and zig 0.14.0 github pages #10: Commit 2fcb401 pushed by matu3ba
March 13, 2025 21:46 27s master
master
March 13, 2025 21:46 27s
Update debugging article. github pages #9: Commit 6eb424d pushed by matu3ba
January 20, 2025 00:17 32s master
master
January 20, 2025 00:17 32s
add sanitizers, debugging process, many cleanups, examples github pages #8: Commit 5f35aaf pushed by matu3ba
January 15, 2025 08:08 3m 2s master
master
January 15, 2025 08:08 3m 2s
add about page; delete old website; misc improvements github pages #7: Commit 54e4cdd pushed by matu3ba
January 3, 2025 00:40 30s master
master
January 3, 2025 00:40 30s
fixup github pages #6: Commit fff492d pushed by matu3ba
December 29, 2024 22:03 2m 58s master
master
December 29, 2024 22:03 2m 58s
line ending, date and margin fixes github pages #5: Commit 6a2a8c1 pushed by matu3ba
December 21, 2024 23:03 32s master
master
December 21, 2024 23:03 32s
fix typo github pages #4: Commit 8109e3b pushed by matu3ba
December 20, 2024 12:05 31s master
master
December 20, 2024 12:05 31s
add missing configuration hint on usage of zine github pages #3: Commit f7f3d27 pushed by matu3ba
December 20, 2024 12:01 42s master
master
December 20, 2024 12:01 42s
try JamesIves/github-pages-deploy-action@v4 github pages #2: Commit b9337be pushed by matu3ba
December 20, 2024 11:28 41s master
master
December 20, 2024 11:28 41s
move content to zine, add github page github pages #1: Commit e98deb6 pushed by matu3ba
December 20, 2024 10:21 4m 24s master
master
December 20, 2024 10:21 4m 24s