Skip to content

Actions: jsenn/Event-V

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 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
Added some comments to buffer example. CI #23: Commit df4f89a pushed by jsenn
1m 21s main
main
1m 21s
Comments and cleanup on bridge example. CI #22: Commit 42c9e87 pushed by jsenn
1m 25s main
main
1m 25s
Added some more todos. CI #21: Commit ea810b1 pushed by jsenn
1m 25s main
main
1m 25s
Cleanup of comments in expand.rs CI #20: Commit 42ae116 pushed by jsenn
1m 25s main
main
1m 25s
Abs -> BoardGame in snakes example. CI #19: Commit de516c2 pushed by jsenn
1m 26s main
main
1m 26s
Much clean-up and simplification of snakes example. CI #18: Commit 15ea6f3 pushed by jsenn
2m 2s main
main
2m 2s
Rejiggered snakes and ladders example. CI #17: Commit 683300d pushed by jsenn
2m 5s main
main
2m 5s
Added READMEs for examples. CI #16: Commit c85d3d2 pushed by jsenn
1m 55s main
main
1m 55s
More snakes comments + README. CI #15: Commit cafb63f pushed by jsenn
1m 58s main
main
1m 58s
Comments in the lemma. CI #14: Commit 2fd91c8 pushed by jsenn
2m 7s main
main
2m 7s
Added better error messages for proof_deadlock_free. CI #13: Commit 3354fe4 pushed by jsenn
2m 8s main
main
2m 8s
Further refinements to macro parsing. CI #12: Commit e3ef0c5 pushed by jsenn
2m 1s main
main
2m 1s
Syntax revamp: use closure syntax instead of pseudo function bodies. CI #11: Commit 134cebd pushed by jsenn
2m 2s main
main
2m 2s
Added simple verify script CI #10: Commit 3bd2a9c pushed by jsenn
1m 57s main
main
1m 57s
Renamed all instances of "ctx" to context. CI #9: Commit 2ee2883 pushed by jsenn
2m 2s main
main
2m 2s
Added readme. CI #8: Commit 4e5dea7 pushed by jsenn
2m 18s main
main
2m 18s
Added readme. CI #7: Commit 05cd519 pushed by jsenn
2m 0s main
main
2m 0s
Added readme. CI #6: Commit 6f633d4 pushed by jsenn
49s main
main
49s
Added readme. CI #5: Commit 2b760a3 pushed by jsenn
1m 33s main
main
1m 33s
Added basic CI workflow. CI #4: Commit 7ae8f93 pushed by jsenn
2m 16s main
main
2m 16s
FIXME: add mistake to test ci CI #3: Commit 5422c0f pushed by jsenn
2m 9s main
main
2m 9s
Added basic CI workflow. CI #2: Commit 7ae8f93 pushed by jsenn
1m 44s main
main
1m 44s
Added basic CI workflow. CI #1: Commit b84f2d7 pushed by jsenn
25s main
main
25s