Skip to content

Actions: a16z/halmos

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,571 workflow run results
2,571 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
remove path conditions from workflows .github/workflows/black.yml #1122: Commit 33a14d8 pushed by karmacoma-eth
July 24, 2024 00:30 20s chore-workflows
chore-workflows
July 24, 2024 00:30 20s
remove path conditions from workflows Test long #336: Commit 33a14d8 pushed by karmacoma-eth
July 24, 2024 00:30 4m 27s chore-workflows
chore-workflows
July 24, 2024 00:30 4m 27s
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
try to fix branch OR path condition Test external projects #368: Commit d154a67 pushed by karmacoma-eth
July 24, 2024 00:24 Failure chore-workflows
chore-workflows
July 24, 2024 00:24 Failure
try to fix branch OR path condition .github/workflows/black.yml #1121: Commit d154a67 pushed by karmacoma-eth
July 24, 2024 00:24 21s chore-workflows
chore-workflows
July 24, 2024 00:24 21s
feat: functional implementation of EXTCODEHASH and EXTCODECOPY CodeQL #906: Pull request #328 synchronize by karmacoma-eth
July 23, 2024 23:20 1m 51s feat-extcodehash
feat-extcodehash
July 23, 2024 23:20 1m 51s
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
feat: functional implementation of EXTCODEHASH and EXTCODECOPY .github/workflows/black.yml #1120: Pull request #328 synchronize by karmacoma-eth
July 23, 2024 23:20 21s feat-extcodehash
feat-extcodehash
July 23, 2024 23:20 21s
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
Merge branch 'main' into feat-extcodehash .github/workflows/black.yml #1119: Commit 9e053fd pushed by karmacoma-eth
July 23, 2024 23:20 18s feat-extcodehash
feat-extcodehash
July 23, 2024 23:20 18s
fix bad abi encoding in createBytes4 (#329) .github/workflows/black.yml #1118: Commit 32b81ed pushed by karmacoma-eth
July 23, 2024 23:19 14s main
main
July 23, 2024 23:19 14s
fix bad abi encoding in createBytes4 (#329) CodeQL #905: Commit 32b81ed pushed by karmacoma-eth
July 23, 2024 23:19 1m 54s main
main
July 23, 2024 23:19 1m 54s
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
fix bad abi encoding in createBytes4 CodeQL #904: Pull request #329 opened by karmacoma-eth
July 23, 2024 17:06 2m 18s fix-createBytes4
fix-createBytes4
July 23, 2024 17:06 2m 18s
fix bad abi encoding in createBytes4 .github/workflows/black.yml #1117: Pull request #329 opened by karmacoma-eth
July 23, 2024 17:06 20s fix-createBytes4
fix-createBytes4
July 23, 2024 17:06 20s
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
fix bad abi encoding in createBytes4 .github/workflows/black.yml #1116: Commit d2826fc pushed by karmacoma-eth
July 23, 2024 17:06 18s fix-createBytes4
fix-createBytes4
July 23, 2024 17:06 18s
feat: functional implementation of EXTCODEHASH and EXTCODECOPY .github/workflows/black.yml #1115: Pull request #328 opened by karmacoma-eth
July 23, 2024 00:55 22s feat-extcodehash
feat-extcodehash
July 23, 2024 00:55 22s
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
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
feat: functional implementation of EXTCODEHASH and EXTCODECOPY CodeQL #903: Pull request #328 opened by karmacoma-eth
July 23, 2024 00:55 1m 53s feat-extcodehash
feat-extcodehash
July 23, 2024 00:55 1m 53s
add expected results for ExtcodehashTest .github/workflows/black.yml #1114: Commit ca9f79a pushed by karmacoma-eth
July 23, 2024 00:51 16s feat-extcodehash
feat-extcodehash
July 23, 2024 00:51 16s
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 (#… .github/workflows/black.yml #1113: Commit fcadd92 pushed by karmacoma-eth
July 19, 2024 23:31 19s main
main
July 19, 2024 23:31 19s