Skip to content

Actions: a16z/halmos

Actions

Test FFI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: mappings from bytecode to contract name Test FFI #832: Pull request #429 opened by daejunpark
December 20, 2024 23:14 1m 3s feat/bytecode-contract-mapping
feat/bytecode-contract-mapping
December 20, 2024 23:14 1m 3s
feat: support for snapshot cheatcodes (#427) Test FFI #831: Commit 0ef9341 pushed by daejunpark
December 17, 2024 02:36 48s main
main
December 17, 2024 02:36 48s
feat: support for snapshot cheatcodes Test FFI #830: Pull request #427 synchronize by daejunpark
December 16, 2024 19:53 50s feat/snapshot
feat/snapshot
December 16, 2024 19:53 50s
feat: support for snapshot cheatcodes Test FFI #829: Pull request #427 synchronize by daejunpark
December 14, 2024 06:07 59s feat/snapshot
feat/snapshot
December 14, 2024 06:07 59s
feat: support for snapshot cheatcodes Test FFI #828: Pull request #427 synchronize by daejunpark
December 14, 2024 06:06 43s feat/snapshot
feat/snapshot
December 14, 2024 06:06 43s
feat: support for snapshot cheatcodes Test FFI #827: Pull request #427 synchronize by daejunpark
December 12, 2024 19:26 1m 3s feat/snapshot
feat/snapshot
December 12, 2024 19:26 1m 3s
feat: support for snapshot cheatcodes Test FFI #826: Pull request #427 synchronize by daejunpark
December 12, 2024 05:31 47s feat/snapshot
feat/snapshot
December 12, 2024 05:31 47s
fix: nested prank error message (#428) Test FFI #825: Commit f4f3185 pushed by daejunpark
December 12, 2024 05:21 54s main
main
December 12, 2024 05:21 54s
feat: support for snapshot cheatcodes Test FFI #824: Pull request #427 synchronize by daejunpark
December 12, 2024 05:17 51s feat/snapshot
feat/snapshot
December 12, 2024 05:17 51s
feat: support for snapshot cheatcodes Test FFI #823: Pull request #427 synchronize by daejunpark
December 12, 2024 05:07 47s feat/snapshot
feat/snapshot
December 12, 2024 05:07 47s
feat: support for snapshot cheatcodes Test FFI #822: Pull request #427 synchronize by daejunpark
December 12, 2024 00:50 1m 2s feat/snapshot
feat/snapshot
December 12, 2024 00:50 1m 2s
Fix nested prank error message Test FFI #821: Pull request #428 opened by karmacoma-eth
December 12, 2024 00:27 1m 2s fix-nested-prank-error
fix-nested-prank-error
December 12, 2024 00:27 1m 2s
feat: support for snapshot cheatcodes Test FFI #820: Pull request #427 synchronize by daejunpark
December 11, 2024 23:46 51s feat/snapshot
feat/snapshot
December 11, 2024 23:46 51s
feat: support for snapshot cheatcodes Test FFI #819: Pull request #427 synchronize by daejunpark
December 11, 2024 22:36 51s feat/snapshot
feat/snapshot
December 11, 2024 22:36 51s
feat: support for snapshot cheatcodes Test FFI #818: Pull request #427 opened by daejunpark
December 11, 2024 22:31 51s feat/snapshot
feat/snapshot
December 11, 2024 22:31 51s
switch from result_exs to exec_cache Test FFI #817: Commit 2408639 pushed by karmacoma-eth
December 11, 2024 22:21 1m 3s main
main
December 11, 2024 22:21 1m 3s
add memory tracer and fix linear memory growth Test FFI #816: Pull request #426 opened by karmacoma-eth
December 11, 2024 19:06 49s memtrace
memtrace
December 11, 2024 19:06 49s
feat: improve logging (#418) Test FFI #815: Commit 27f620a pushed by daejunpark
December 7, 2024 01:22 48s main
main
December 7, 2024 01:22 48s
feat: improve logging Test FFI #814: Pull request #418 synchronize by daejunpark
December 7, 2024 01:11 46s feat/improve-logging
feat/improve-logging
December 7, 2024 01:11 46s
feat: improve logging Test FFI #813: Pull request #418 synchronize by daejunpark
December 7, 2024 01:09 59s feat/improve-logging
feat/improve-logging
December 7, 2024 01:09 59s
feat: improve logging Test FFI #812: Pull request #418 synchronize by daejunpark
December 7, 2024 01:01 1m 2s feat/improve-logging
feat/improve-logging
December 7, 2024 01:01 1m 2s
docs: Fix grammatical error getting-started.md (#424) Test FFI #811: Commit c2e8661 pushed by karmacoma-eth
December 7, 2024 00:54 54s main
main
December 7, 2024 00:54 54s
feat: improve logging Test FFI #810: Pull request #418 synchronize by karmacoma-eth
December 6, 2024 23:59 1m 8s feat/improve-logging
feat/improve-logging
December 6, 2024 23:59 1m 8s
docs: Fix grammatical error getting-started.md Test FFI #809: Pull request #424 opened by mdqst
December 6, 2024 10:28 49s mdqst:patch-1
mdqst:patch-1
December 6, 2024 10:28 49s
embrace uv (#422) Test FFI #808: Commit 2b68913 pushed by karmacoma-eth
December 4, 2024 19:17 52s main
main
December 4, 2024 19:17 52s