Skip to content

Actions: anoma/avm-lab

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
87 workflow runs
87 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
Add SSE event server to avm-node for real-time trace streaming ci avm #5: Commit 55084f9 pushed by jonaprieto
42s main
main
42s
Add SSE event server to avm-node for real-time trace streaming ci specs #82: Commit 55084f9 pushed by jonaprieto
3m 12s main
main
3m 12s
Update README with Rust workspace overview and distributed runtime ci specs #81: Commit 85b269c pushed by jonaprieto
3m 45s main
main
3m 45s
Update mdbook with distributed runtime docs and tutorial ci specs #80: Commit 550baaf pushed by jonaprieto
3m 41s main
main
3m 41s
Update mdbook with distributed runtime docs and tutorial ci avm #4: Commit 550baaf pushed by jonaprieto
28s main
main
28s
Add justfile recipes for distributed demo ci avm #3: Commit 7e9ae9b pushed by jonaprieto
59s main
main
59s
Add justfile recipes for distributed demo ci specs #79: Commit 7e9ae9b pushed by jonaprieto
3m 42s main
main
3m 42s
Fix mdbook build: remove unsupported multilingual field ci avm #2: Commit a4074f4 pushed by jonaprieto
29s main
main
29s
Fix mdbook build: remove unsupported multilingual field ci specs #78: Commit a4074f4 pushed by jonaprieto
3m 49s main
main
3m 49s
Merge mdbook and MkDocs into one GitHub Pages deployment ci avm #1: Commit 6a31646 pushed by jonaprieto
32s main
main
32s
Merge mdbook and MkDocs into one GitHub Pages deployment ci specs #77: Commit 6a31646 pushed by jonaprieto
3m 32s main
main
3m 32s
Update freeze operation description to specify return values, and i… ci specs #76: Commit 3e1723c pushed by jonaprieto
3m 35s main
main
3m 35s
Refactor AVM error handling and instruction documentation. For now, r… ci specs #75: Commit f7b9559 pushed by jonaprieto
3m 30s main
main
3m 30s
Update agda-mkdocs plugin. ci specs #74: Commit 8d91643 pushed by jonaprieto
3m 33s main
main
3m 33s
Update agda-mkdocs plugin. ci specs #73: Commit de08a43 pushed by jonaprieto
3m 26s main
main
3m 26s
Update agda-mkdocs plugin. ci specs #72: Commit 63947df pushed by jonaprieto
3m 58s main
main
3m 58s
Update agda-mkdocs plugin. ci specs #71: Commit 1a4b583 pushed by jonaprieto
3m 33s main
main
3m 33s
Update agda-mkdocs plugin. ci specs #70: Commit c5dfbaf pushed by jonaprieto
3m 32s main
main
3m 32s
Refactor AVM documentation and examples to support optional controlle… ci specs #69: Commit fa69343 pushed by jonaprieto
5m 1s main
main
5m 1s
Add one slide with related work ci specs #68: Commit a1f0c11 pushed by jonaprieto
3m 24s main
main
3m 24s
Add one slide with related work ci specs #67: Commit ce59b18 pushed by jonaprieto
3m 51s main
main
3m 51s
fix some font stuff ci specs #66: Commit ef8f9c6 pushed by heindel
3m 20s main
main
3m 20s
Initial version ci specs #65: Commit d6c3d46 pushed by jonaprieto
3m 23s main
main
3m 23s
Initial version ci specs #64: Commit b833959 pushed by jonaprieto
6m 3s main
main
6m 3s
glorious start ci specs #63: Pull request #1 opened by heindel
2m 57s heindel/nit
heindel/nit
2m 57s