Skip to content

Actions: a16z/halmos

Actions

Test FFI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-ffi.yml
404 workflow run results
404 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

handle SIGINT and SIGTERM (#210) Test FFI #56: Commit 6666a32 pushed by karmacoma-eth
October 24, 2023 01:26 1m 31s main
main
October 24, 2023 01:26 1m 31s
handle SIGINT and SIGTERM Test FFI #55: Pull request #210 opened by karmacoma-eth
October 23, 2023 22:06 1m 17s signal-handler
signal-handler
October 23, 2023 22:06 1m 17s
feat: nicer output (#209) Test FFI #54: Commit 4620b71 pushed by karmacoma-eth
October 20, 2023 23:49 1m 22s main
main
October 20, 2023 23:49 1m 22s
feat: nicer output Test FFI #53: Pull request #209 synchronize by karmacoma-eth
October 20, 2023 22:44 1m 15s feat-nicer-output
feat-nicer-output
October 20, 2023 22:44 1m 15s
feat: nicer output Test FFI #52: Pull request #209 synchronize by karmacoma-eth
October 20, 2023 22:37 1m 25s feat-nicer-output
feat-nicer-output
October 20, 2023 22:37 1m 25s
feat: nicer output Test FFI #51: Pull request #209 synchronize by karmacoma-eth
October 20, 2023 22:10 1m 26s feat-nicer-output
feat-nicer-output
October 20, 2023 22:10 1m 26s
feat: nicer output Test FFI #50: Pull request #209 opened by karmacoma-eth
October 18, 2023 22:49 1m 28s feat-nicer-output
feat-nicer-output
October 18, 2023 22:49 1m 28s
chore: update pyproject.toml (#206) Test FFI #49: Commit bdbcf51 pushed by daejunpark
October 12, 2023 19:11 1m 41s main
main
October 12, 2023 19:11 1m 41s
chore: update pyproject.toml Test FFI #48: Pull request #206 opened by daejunpark
October 12, 2023 00:23 1m 18s chore/pyproject
chore/pyproject
October 12, 2023 00:23 1m 18s
feat: smt solving refinement (#203) Test FFI #47: Commit 3f72a02 pushed by daejunpark
October 12, 2023 00:02 1m 25s main
main
October 12, 2023 00:02 1m 25s
feat: smt solving refinement Test FFI #46: Pull request #203 synchronize by daejunpark
October 11, 2023 23:26 1m 25s feat/refinement
feat/refinement
October 11, 2023 23:26 1m 25s
feat: smt solving refinement Test FFI #45: Pull request #203 synchronize by daejunpark
October 11, 2023 04:38 1m 18s feat/refinement
feat/refinement
October 11, 2023 04:38 1m 18s
feat: smt solving refinement Test FFI #44: Pull request #203 synchronize by daejunpark
October 11, 2023 02:06 1m 37s feat/refinement
feat/refinement
October 11, 2023 02:06 1m 37s
feat: smt solving refinement Test FFI #43: Pull request #203 synchronize by daejunpark
October 11, 2023 00:43 2m 52s feat/refinement
feat/refinement
October 11, 2023 00:43 2m 52s
feat: smt solving refinement Test FFI #42: Pull request #203 synchronize by daejunpark
October 11, 2023 00:32 2m 8s feat/refinement
feat/refinement
October 11, 2023 00:32 2m 8s
feat: smt solving refinement Test FFI #41: Pull request #203 opened by daejunpark
October 11, 2023 00:31 1m 49s feat/refinement
feat/refinement
October 11, 2023 00:31 1m 49s
docs: add fork testing example (#202) Test FFI #40: Commit 9ae36d1 pushed by daejunpark
October 10, 2023 06:05 1m 39s main
main
October 10, 2023 06:05 1m 39s
docs: add fork testing example Test FFI #39: Pull request #202 opened by daejunpark
October 10, 2023 05:52 3m 54s docs/fork-example
docs/fork-example
October 10, 2023 05:52 3m 54s
feat: execution traces (#199) Test FFI #38: Commit d5be133 pushed by karmacoma-eth
October 10, 2023 00:31 1m 35s main
main
October 10, 2023 00:31 1m 35s
feat: execution traces Test FFI #37: Pull request #199 synchronize by daejunpark
October 9, 2023 22:51 1m 42s exec-traces
exec-traces
October 9, 2023 22:51 1m 42s
feat: execution traces Test FFI #36: Pull request #199 synchronize by daejunpark
October 9, 2023 19:51 1m 40s exec-traces
exec-traces
October 9, 2023 19:51 1m 40s
feat: execution traces Test FFI #35: Pull request #199 synchronize by daejunpark
October 7, 2023 01:06 1m 43s exec-traces
exec-traces
October 7, 2023 01:06 1m 43s
feat: execution traces Test FFI #34: Pull request #199 synchronize by daejunpark
October 6, 2023 03:13 1m 49s exec-traces
exec-traces
October 6, 2023 03:13 1m 49s
feat: execution traces Test FFI #33: Pull request #199 synchronize by daejunpark
October 6, 2023 03:07 1m 40s exec-traces
exec-traces
October 6, 2023 03:07 1m 40s
feat: execution traces Test FFI #32: Pull request #199 synchronize by daejunpark
October 6, 2023 02:39 1m 38s exec-traces
exec-traces
October 6, 2023 02:39 1m 38s
ProTip! You can narrow down the results and go further in time using created:<2023-10-06 or the other filters available.