Skip to content

Actions: a16z/halmos

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
412 workflow run results
412 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix workflows Test #823: Pull request #330 synchronize by karmacoma-eth
July 24, 2024 22:17 3m 5s chore-workflows
chore-workflows
July 24, 2024 22:17 3m 5s
try out bitwuzla on snekmate Test #822: Commit e169cae pushed by karmacoma-eth
July 24, 2024 22:17 4m 13s chore-workflows
chore-workflows
July 24, 2024 22:17 4m 13s
feat: functional implementation of EXTCODEHASH and EXTCODECOPY Test #821: Pull request #328 synchronize by karmacoma-eth
July 24, 2024 18:17 3m 2s feat-extcodehash
feat-extcodehash
July 24, 2024 18:17 3m 2s
fix workflows Test #820: Pull request #330 synchronize by karmacoma-eth
July 24, 2024 17:12 3m 5s chore-workflows
chore-workflows
July 24, 2024 17:12 3m 5s
move to python >=3.11 per community vote Test #819: Commit 52c5b66 pushed by karmacoma-eth
July 24, 2024 17:12 2m 54s chore-workflows
chore-workflows
July 24, 2024 17:12 2m 54s
fix workflows Test #818: Pull request #330 synchronize by karmacoma-eth
July 24, 2024 16:36 4m 4s chore-workflows
chore-workflows
July 24, 2024 16:36 4m 4s
Remove the checkout submodules step Test #817: Commit 512886c pushed by karmacoma-eth
July 24, 2024 16:36 3m 37s chore-workflows
chore-workflows
July 24, 2024 16:36 3m 37s
fix workflows Test #816: Pull request #330 synchronize by karmacoma-eth
July 24, 2024 16:35 4m 5s chore-workflows
chore-workflows
July 24, 2024 16:35 4m 5s
try marking submodules as shallow Test #815: Commit 184b32c pushed by karmacoma-eth
July 24, 2024 16:35 3m 33s chore-workflows
chore-workflows
July 24, 2024 16:35 3m 33s
fix workflows Test #814: Pull request #330 synchronize by karmacoma-eth
July 24, 2024 01:19 3m 32s chore-workflows
chore-workflows
July 24, 2024 01:19 3m 32s
try --jobs 4 for submodule command Test #813: Commit bfb02ae pushed by karmacoma-eth
July 24, 2024 01:18 4m 19s chore-workflows
chore-workflows
July 24, 2024 01:18 4m 19s
fix workflows Test #812: Pull request #330 synchronize by karmacoma-eth
July 24, 2024 01:08 3m 32s chore-workflows
chore-workflows
July 24, 2024 01:08 3m 32s
try a shallow clone of submodules Test #811: Commit 8fe9f5e pushed by karmacoma-eth
July 24, 2024 01:08 3m 16s chore-workflows
chore-workflows
July 24, 2024 01:08 3m 16s
fix workflows Test #810: Pull request #330 synchronize by karmacoma-eth
July 24, 2024 00:33 3m 22s chore-workflows
chore-workflows
July 24, 2024 00:33 3m 22s
build halmos package from halmos-builder:latest Test #809: Commit 5114f2e pushed by karmacoma-eth
July 24, 2024 00:33 3m 37s chore-workflows
chore-workflows
July 24, 2024 00:33 3m 37s
fix workflows Test #808: Pull request #330 opened by karmacoma-eth
July 24, 2024 00:31 3m 23s chore-workflows
chore-workflows
July 24, 2024 00:31 3m 23s
remove path conditions from workflows Test #807: Commit 33a14d8 pushed by karmacoma-eth
July 24, 2024 00:30 6m 57s chore-workflows
chore-workflows
July 24, 2024 00:30 6m 57s
feat: functional implementation of EXTCODEHASH and EXTCODECOPY Test #806: Pull request #328 synchronize by karmacoma-eth
July 23, 2024 23:20 3m 21s feat-extcodehash
feat-extcodehash
July 23, 2024 23:20 3m 21s
fix bad abi encoding in createBytes4 Test #805: Pull request #329 opened by karmacoma-eth
July 23, 2024 17:06 2m 59s fix-createBytes4
fix-createBytes4
July 23, 2024 17:06 2m 59s
feat: functional implementation of EXTCODEHASH and EXTCODECOPY Test #804: Pull request #328 opened by karmacoma-eth
July 23, 2024 00:55 2m 57s feat-extcodehash
feat-extcodehash
July 23, 2024 00:55 2m 57s
add intermediary halmos-builder image and dockerize more workflows (#… Test #803: Commit fcadd92 pushed by karmacoma-eth
July 19, 2024 23:31 3m 14s main
main
July 19, 2024 23:31 3m 14s
add intermediary halmos-builder image and dockerize more workflows Test #802: Pull request #308 synchronize by karmacoma-eth
July 19, 2024 23:26 2m 58s chore-workflows
chore-workflows
July 19, 2024 23:26 2m 58s
add intermediary halmos-builder image and dockerize more workflows Test #801: Pull request #308 synchronize by karmacoma-eth
July 19, 2024 23:07 1m 45s chore-workflows
chore-workflows
July 19, 2024 23:07 1m 45s
add intermediary halmos-builder image and dockerize more workflows Test #800: Pull request #308 synchronize by daejunpark
July 19, 2024 20:39 2m 10s chore-workflows
chore-workflows
July 19, 2024 20:39 2m 10s
add intermediary halmos-builder image and dockerize more workflows Test #799: Pull request #308 synchronize by karmacoma-eth
July 19, 2024 00:25 12h 8m 40s chore-workflows
chore-workflows
July 19, 2024 00:25 12h 8m 40s