Skip to content

Actions: a16z/halmos

Actions

Test FFI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-ffi.yml
787 workflow runs
787 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: decoding storage mapping with bytes key Test FFI #78: Pull request #221 synchronize by daejunpark
November 29, 2023 18:07 1m 16s fix/complex-storage
fix/complex-storage
November 29, 2023 18:07 1m 16s
fix: decoding storage mapping with bytes key Test FFI #77: Pull request #221 synchronize by daejunpark
November 29, 2023 17:54 1m 36s fix/complex-storage
fix/complex-storage
November 29, 2023 17:54 1m 36s
fix: decoding storage mapping with bytes key Test FFI #76: Pull request #221 synchronize by daejunpark
November 29, 2023 06:21 1m 22s fix/complex-storage
fix/complex-storage
November 29, 2023 06:21 1m 22s
fix: decoding storage mapping with bytes key Test FFI #75: Pull request #221 synchronize by daejunpark
November 29, 2023 05:30 2m 23s fix/complex-storage
fix/complex-storage
November 29, 2023 05:30 2m 23s
fix: decoding storage mapping with bytes key Test FFI #74: Pull request #221 synchronize by daejunpark
November 29, 2023 05:14 1m 44s fix/complex-storage
fix/complex-storage
November 29, 2023 05:14 1m 44s
fix: decoding storage mapping with bytes key Test FFI #73: Pull request #221 opened by daejunpark
November 29, 2023 04:21 1m 23s fix/complex-storage
fix/complex-storage
November 29, 2023 04:21 1m 23s
perf: single solver shared by multiple paths (#218) Test FFI #72: Commit 380314a pushed by daejunpark
November 29, 2023 03:31 1m 36s main
main
November 29, 2023 03:31 1m 36s
perf: single solver shared by multiple paths Test FFI #71: Pull request #218 synchronize by daejunpark
November 29, 2023 03:04 1m 13s perf/solver-reuse
perf/solver-reuse
November 29, 2023 03:04 1m 13s
perf: single solver shared by multiple paths Test FFI #70: Pull request #218 synchronize by daejunpark
November 29, 2023 02:14 1m 11s perf/solver-reuse
perf/solver-reuse
November 29, 2023 02:14 1m 11s
perf: single solver shared by multiple paths Test FFI #69: Pull request #218 synchronize by daejunpark
November 29, 2023 00:10 1m 25s perf/solver-reuse
perf/solver-reuse
November 29, 2023 00:10 1m 25s
perf: single solver shared by multiple paths Test FFI #68: Pull request #218 synchronize by daejunpark
November 29, 2023 00:08 1m 16s perf/solver-reuse
perf/solver-reuse
November 29, 2023 00:08 1m 16s
perf: single solver shared by multiple paths Test FFI #67: Pull request #218 synchronize by daejunpark
November 28, 2023 23:47 1m 33s perf/solver-reuse
perf/solver-reuse
November 28, 2023 23:47 1m 33s
perf: single solver shared by multiple paths Test FFI #66: Pull request #218 synchronize by daejunpark
November 26, 2023 03:22 1m 22s perf/solver-reuse
perf/solver-reuse
November 26, 2023 03:22 1m 22s
perf: single solver shared by multiple paths Test FFI #65: Pull request #218 synchronize by daejunpark
November 26, 2023 02:02 1m 11s perf/solver-reuse
perf/solver-reuse
November 26, 2023 02:02 1m 11s
perf: single solver shared by multiple paths Test FFI #64: Pull request #218 synchronize by daejunpark
November 26, 2023 01:08 1m 5s perf/solver-reuse
perf/solver-reuse
November 26, 2023 01:08 1m 5s
perf: single solver shared by multiple paths Test FFI #63: Pull request #218 synchronize by daejunpark
November 13, 2023 02:21 1m 17s perf/solver-reuse
perf/solver-reuse
November 13, 2023 02:21 1m 17s
perf: single solver shared by multiple paths Test FFI #62: Pull request #218 synchronize by daejunpark
November 10, 2023 21:07 1m 21s perf/solver-reuse
perf/solver-reuse
November 10, 2023 21:07 1m 21s
perf: single solver shared by multiple paths Test FFI #61: Pull request #218 opened by daejunpark
November 10, 2023 19:51 1m 22s perf/solver-reuse
perf/solver-reuse
November 10, 2023 19:51 1m 22s
ffi: decode output as hex if it looks like a hexstring (#215) Test FFI #59: Commit 4d2793f pushed by karmacoma-eth
October 31, 2023 22:20 1m 48s main
main
October 31, 2023 22:20 1m 48s
ffi: decode output as hex if it looks like a hexstring Test FFI #58: Pull request #215 opened by karmacoma-eth
October 31, 2023 18:01 1m 26s ffi-implicit-hex
ffi-implicit-hex
October 31, 2023 18:01 1m 26s
Update __main__.py Test FFI #57: Pull request #211 opened by aviggiano
October 25, 2023 18:49 1m 18s aviggiano:patch-1
aviggiano:patch-1
October 25, 2023 18:49 1m 18s
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
ProTip! You can narrow down the results and go further in time using created:<2023-10-20 or the other filters available.