Skip to content

Actions: a16z/halmos

Actions

Test FFI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix workflows Test FFI #435: Pull request #330 synchronize by karmacoma-eth
July 24, 2024 22:17 53s chore-workflows
chore-workflows
July 24, 2024 22:17 53s
try out bitwuzla on snekmate Test FFI #434: Commit e169cae pushed by karmacoma-eth
July 24, 2024 22:17 1m 3s chore-workflows
chore-workflows
July 24, 2024 22:17 1m 3s
feat: functional implementation of EXTCODEHASH and EXTCODECOPY Test FFI #433: Pull request #328 synchronize by karmacoma-eth
July 24, 2024 18:17 1m 1s feat-extcodehash
feat-extcodehash
July 24, 2024 18:17 1m 1s
fix workflows Test FFI #432: Pull request #330 synchronize by karmacoma-eth
July 24, 2024 17:12 1m 5s chore-workflows
chore-workflows
July 24, 2024 17:12 1m 5s
move to python >=3.11 per community vote Test FFI #431: Commit 52c5b66 pushed by karmacoma-eth
July 24, 2024 17:12 45s chore-workflows
chore-workflows
July 24, 2024 17:12 45s
fix workflows Test FFI #430: Pull request #330 synchronize by karmacoma-eth
July 24, 2024 16:36 3m 7s chore-workflows
chore-workflows
July 24, 2024 16:36 3m 7s
Remove the checkout submodules step Test FFI #429: Commit 512886c pushed by karmacoma-eth
July 24, 2024 16:36 1m 11s chore-workflows
chore-workflows
July 24, 2024 16:36 1m 11s
fix workflows Test FFI #428: Pull request #330 synchronize by karmacoma-eth
July 24, 2024 16:35 1m 6s chore-workflows
chore-workflows
July 24, 2024 16:35 1m 6s
try marking submodules as shallow Test FFI #427: Commit 184b32c pushed by karmacoma-eth
July 24, 2024 16:35 52s chore-workflows
chore-workflows
July 24, 2024 16:35 52s
fix workflows Test FFI #426: Pull request #330 synchronize by karmacoma-eth
July 24, 2024 01:19 50s chore-workflows
chore-workflows
July 24, 2024 01:19 50s
try --jobs 4 for submodule command Test FFI #425: Commit bfb02ae pushed by karmacoma-eth
July 24, 2024 01:18 53s chore-workflows
chore-workflows
July 24, 2024 01:18 53s
fix workflows Test FFI #424: Pull request #330 synchronize by karmacoma-eth
July 24, 2024 01:08 55s chore-workflows
chore-workflows
July 24, 2024 01:08 55s
try a shallow clone of submodules Test FFI #423: Commit 8fe9f5e pushed by karmacoma-eth
July 24, 2024 01:08 57s chore-workflows
chore-workflows
July 24, 2024 01:08 57s
fix workflows Test FFI #422: Pull request #330 synchronize by karmacoma-eth
July 24, 2024 00:33 57s chore-workflows
chore-workflows
July 24, 2024 00:33 57s
build halmos package from halmos-builder:latest Test FFI #421: Commit 5114f2e pushed by karmacoma-eth
July 24, 2024 00:33 1m 0s chore-workflows
chore-workflows
July 24, 2024 00:33 1m 0s
fix workflows Test FFI #420: Pull request #330 opened by karmacoma-eth
July 24, 2024 00:31 47s chore-workflows
chore-workflows
July 24, 2024 00:31 47s
remove path conditions from workflows Test FFI #419: Commit 33a14d8 pushed by karmacoma-eth
July 24, 2024 00:30 1m 1s chore-workflows
chore-workflows
July 24, 2024 00:30 1m 1s
feat: functional implementation of EXTCODEHASH and EXTCODECOPY Test FFI #418: Pull request #328 synchronize by karmacoma-eth
July 23, 2024 23:20 45s feat-extcodehash
feat-extcodehash
July 23, 2024 23:20 45s
fix bad abi encoding in createBytes4 Test FFI #417: Pull request #329 opened by karmacoma-eth
July 23, 2024 17:06 1m 2s fix-createBytes4
fix-createBytes4
July 23, 2024 17:06 1m 2s
feat: functional implementation of EXTCODEHASH and EXTCODECOPY Test FFI #416: Pull request #328 opened by karmacoma-eth
July 23, 2024 00:55 45s feat-extcodehash
feat-extcodehash
July 23, 2024 00:55 45s
add intermediary halmos-builder image and dockerize more workflows (#… Test FFI #415: Commit fcadd92 pushed by karmacoma-eth
July 19, 2024 23:31 56s main
main
July 19, 2024 23:31 56s
add intermediary halmos-builder image and dockerize more workflows Test FFI #414: Pull request #308 synchronize by karmacoma-eth
July 19, 2024 23:26 40s chore-workflows
chore-workflows
July 19, 2024 23:26 40s
add intermediary halmos-builder image and dockerize more workflows Test FFI #413: Pull request #308 synchronize by karmacoma-eth
July 19, 2024 23:07 48s chore-workflows
chore-workflows
July 19, 2024 23:07 48s
More printing of the halmos version Test FFI #412: Commit ac2848e pushed by karmacoma-eth
July 19, 2024 23:07 50s chore-workflows
chore-workflows
July 19, 2024 23:07 50s
add intermediary halmos-builder image and dockerize more workflows Test FFI #411: Pull request #308 synchronize by daejunpark
July 19, 2024 20:39 1m 7s chore-workflows
chore-workflows
July 19, 2024 20:39 1m 7s