Skip to content

Actions: a16z/halmos

Actions

Test long

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-long.yml
425 workflow runs
425 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

more docker workflow tweaks (#405) Test long #432: Commit 4e82a90 pushed by karmacoma-eth
November 8, 2024 23:42 3m 40s main
main
November 8, 2024 23:42 3m 40s
more docker workflow tweaks Test long #431: Commit b360660 pushed by karmacoma-eth
November 8, 2024 23:35 3m 50s chore-workflows
chore-workflows
November 8, 2024 23:35 3m 50s
more docker workflow tweaks Test long #430: Commit a23d260 pushed by karmacoma-eth
November 8, 2024 23:31 3m 45s chore-workflows
chore-workflows
November 8, 2024 23:31 3m 45s
update solvers and halmos-builder dockerfiles (#404) Test long #429: Commit 29d9484 pushed by karmacoma-eth
November 8, 2024 22:58 3m 54s main
main
November 8, 2024 22:58 3m 54s
update packages/solvers/README.md Test long #428: Commit a79f6d5 pushed by karmacoma-eth
November 8, 2024 22:46 3m 40s chore-workflows
chore-workflows
November 8, 2024 22:46 3m 40s
install z3 from release binaries Test long #427: Commit 9ad0087 pushed by karmacoma-eth
November 8, 2024 22:43 3m 42s chore-workflows
chore-workflows
November 8, 2024 22:43 3m 42s
Update .github/workflows/test-long.yml Test long #426: Commit c9cbc89 pushed by karmacoma-eth
November 8, 2024 22:06 3m 53s chore-workflows
chore-workflows
November 8, 2024 22:06 3m 53s
Update .github/workflows/test-external.yml Test long #425: Commit 54cba1a pushed by karmacoma-eth
November 8, 2024 22:05 54s chore-workflows
chore-workflows
November 8, 2024 22:05 54s
tweak workflows Test long #424: Commit 40edfa2 pushed by karmacoma-eth
November 8, 2024 19:16 44s chore-workflows
chore-workflows
November 8, 2024 19:16 44s
add foundryup to test-external.yml Test long #423: Commit 067e1be pushed by karmacoma-eth
November 8, 2024 19:07 58s chore-workflows
chore-workflows
November 8, 2024 19:07 58s
add foundryup to halmos-builder Test long #422: Commit e7d411f pushed by karmacoma-eth
November 8, 2024 01:30 3m 57s chore-workflows
chore-workflows
November 8, 2024 01:30 3m 57s
fix: improve error-handling for unsupported symbolic names in cheatco… Test long #421: Commit 10892d2 pushed by daejunpark
November 6, 2024 21:29 3m 53s main
main
November 6, 2024 21:29 3m 53s
👷 Pin Vyper Version to Latest Commit (Again) (#396) Test long #420: Commit 1502e46 pushed by karmacoma-eth
October 15, 2024 16:19 3m 34s main
main
October 15, 2024 16:19 3m 34s
👷 Pin Vyper Temporarily to Specific Commit (#395) Test long #419: Commit 07c82f5 pushed by karmacoma-eth
October 14, 2024 17:14 3m 42s main
main
October 14, 2024 17:14 3m 42s
update actions/setup-python to v5 (#394) Test long #418: Commit 5e9cafb pushed by karmacoma-eth
October 14, 2024 15:50 3m 39s main
main
October 14, 2024 15:50 3m 39s
feat: handle concrete keccaks concretely (WIP) (#391) Test long #417: Commit 9a83860 pushed by karmacoma-eth
October 14, 2024 15:22 52s main
main
October 14, 2024 15:22 52s
feat: lazy concretization (#392) Test long #416: Commit eed8f93 pushed by daejunpark
October 11, 2024 23:32 4m 35s main
main
October 11, 2024 23:32 4m 35s
fix: exclude test contract from symbolic calls (#388) Test long #415: Commit 74a54fb pushed by daejunpark
October 11, 2024 00:46 4m 19s main
main
October 11, 2024 00:46 4m 19s
Update examples/README.md (#387) Test long #414: Commit 1049fb9 pushed by daejunpark
October 10, 2024 23:12 4m 20s main
main
October 10, 2024 23:12 4m 20s
fix: reset z3 solver objects (#389) Test long #413: Commit 755f3f2 pushed by daejunpark
October 10, 2024 23:07 4m 20s main
main
October 10, 2024 23:07 4m 20s
Test long Test long #412: Manually run by daejunpark
October 10, 2024 19:05 4m 18s fix/solver-reset
fix/solver-reset
October 10, 2024 19:05 4m 18s
Test long Test long #411: Manually run by daejunpark
October 9, 2024 21:07 4m 19s fix/solver-reset
fix/solver-reset
October 9, 2024 21:07 4m 19s
Test long Test long #410: Manually run by daejunpark
October 9, 2024 07:45 4m 55s fix/solver-reset
fix/solver-reset
October 9, 2024 07:45 4m 55s
feat: consider various lengths for dynamic-sized parameters (#384) Test long #409: Commit 588744e pushed by daejunpark
October 4, 2024 20:04 4m 21s main
main
October 4, 2024 20:04 4m 21s
Test long Test long #408: Manually run by daejunpark
October 3, 2024 02:38 5m 1s feat/remove-test-parallel
feat/remove-test-parallel
October 3, 2024 02:38 5m 1s