Skip to content

Actions: a16z/halmos

Actions

Test long

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-long.yml
229 workflow run results
229 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test long Test long #243: Manually run by daejunpark
April 11, 2024 00:02 23m 36s rework-solver-subcommand
rework-solver-subcommand
April 11, 2024 00:02 23m 36s
Test long Test long #242: Manually run by daejunpark
April 9, 2024 08:34 42m 27s fix-bv-div-by-zero-smt-encoding
fix-bv-div-by-zero-smt-encoding
April 9, 2024 08:34 42m 27s
docs: update README.md (#268) Test long #241: Commit f868681 pushed by daejunpark
March 29, 2024 00:20 17m 45s main
main
March 29, 2024 00:20 17m 45s
fix: vm.etch(addr, "") used to raise an exception (#264) Test long #240: Commit c2d1926 pushed by daejunpark
March 27, 2024 03:40 16m 14s main
main
March 27, 2024 03:40 16m 14s
Test long Test long #239: Manually run by daejunpark
March 27, 2024 01:21 20m 11s fix-empty-vm-etch
fix-empty-vm-etch
March 27, 2024 01:21 20m 11s
test: add expected output for new test (#263) Test long #238: Commit 4f536c7 pushed by karmacoma-eth
March 26, 2024 21:58 20m 44s main
main
March 26, 2024 21:58 20m 44s
Test long Test long #237: Manually run by daejunpark
March 26, 2024 19:21 17m 15s test/update-expected
test/update-expected
March 26, 2024 19:21 17m 15s
feat: constrain (r, s, v) signature values (#259) Test long #236: Commit 30c6bb7 pushed by daejunpark
March 26, 2024 17:11 23m 2s main
main
March 26, 2024 17:11 23m 2s
docs: small fixes for getting-started.md (#258) Test long #235: Commit 8053b58 pushed by daejunpark
March 20, 2024 17:25 18m 56s main
main
March 20, 2024 17:25 18m 56s
feat: support for signing and verifying signatures (#257) Test long #234: Commit 1556374 pushed by daejunpark
March 20, 2024 17:24 22m 6s main
main
March 20, 2024 17:24 22m 6s
Test long Test long #233: Manually run by daejunpark
March 19, 2024 01:38 16m 4s sign-addr-recover
sign-addr-recover
March 19, 2024 01:38 16m 4s
Add --build-info to forge build command (#255) Test long #232: Commit 6979a11 pushed by karmacoma-eth
March 1, 2024 01:13 22m 10s main
main
March 1, 2024 01:13 22m 10s
Test long Test long #231: Manually run by karmacoma-eth
March 1, 2024 00:04 1m 20s main
main
March 1, 2024 00:04 1m 20s
perf: small bytecode caching optimizations (#249) Test long #230: Commit f5684c3 pushed by daejunpark
February 7, 2024 19:48 30m 25s main
main
February 7, 2024 19:48 30m 25s
feat: dump refined queries (#250) Test long #229: Commit 51aed0b pushed by daejunpark
February 7, 2024 19:03 30m 50s main
main
February 7, 2024 19:03 30m 50s
Test long Test long #228: Manually run by daejunpark
January 25, 2024 01:34 24m 9s bytecode-caching-optimizations
bytecode-caching-optimizations
January 25, 2024 01:34 24m 9s
fix: use consistent hex prefix handling (#246) Test long #227: Commit 59fa228 pushed by karmacoma-eth
January 23, 2024 01:28 27m 46s main
main
January 23, 2024 01:28 27m 46s
Fix eager jumpdest parsing Test long #226: Commit 21e1bd4 pushed by karmacoma-eth
January 23, 2024 01:24 17m 37s main
main
January 23, 2024 01:24 17m 37s
fix: use consistent hex prefix handling (#246) Test long #225: Commit 59fa228 pushed by karmacoma-eth
January 10, 2024 06:21 22m 36s main
main
January 10, 2024 06:21 22m 36s
docs: add multicaller example (#241) Test long #224: Commit 70ddda2 pushed by daejunpark
December 23, 2023 02:14 17m 48s main
main
December 23, 2023 02:14 17m 48s
Test long Test long #223: Manually run by daejunpark
December 23, 2023 01:37 24m 23s example/multicaller
example/multicaller
December 23, 2023 01:37 24m 23s
fix: calldata rendering bugfix, large memory offset bugfix (#242) Test long #222: Commit 33dcdda pushed by daejunpark
December 23, 2023 01:36 15m 43s main
main
December 23, 2023 01:36 15m 43s
Test long Test long #221: Manually run by daejunpark
December 23, 2023 01:21 20m 12s trace-bugfix
trace-bugfix
December 23, 2023 01:21 20m 12s
fix: byte check + console.log (#239) Test long #220: Commit 153d9fe pushed by daejunpark
December 22, 2023 21:15 17m 0s main
main
December 22, 2023 21:15 17m 0s
Test long Test long #219: Manually run by daejunpark
December 22, 2023 20:21 17m 55s console-log-symbolic
console-log-symbolic
December 22, 2023 20:21 17m 55s