Skip to content

Actions: a16z/halmos

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
818 workflow runs
818 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: add multicaller example Test #543: Pull request #241 synchronize by daejunpark
December 23, 2023 01:36 5m 38s example/multicaller
example/multicaller
December 23, 2023 01:36 5m 38s
fix: calldata rendering bugfix, large memory offset bugfix (#242) Test #542: Commit 33dcdda pushed by daejunpark
December 23, 2023 01:36 6m 34s main
main
December 23, 2023 01:36 6m 34s
docs: add multicaller example Test #541: Pull request #241 synchronize by daejunpark
December 23, 2023 01:34 9m 28s example/multicaller
example/multicaller
December 23, 2023 01:34 9m 28s
calldata rendering bugfix, large memory offset bugfix Test #540: Pull request #242 synchronize by karmacoma-eth
December 23, 2023 01:26 2m 46s trace-bugfix
trace-bugfix
December 23, 2023 01:26 2m 46s
docs: add multicaller example Test #539: Pull request #241 synchronize by daejunpark
December 23, 2023 01:13 6m 52s example/multicaller
example/multicaller
December 23, 2023 01:13 6m 52s
calldata rendering bugfix, large memory offset bugfix Test #538: Pull request #242 opened by karmacoma-eth
December 23, 2023 01:08 6m 46s trace-bugfix
trace-bugfix
December 23, 2023 01:08 6m 46s
docs: add multicaller example Test #537: Pull request #241 opened by daejunpark
December 23, 2023 00:59 8m 21s example/multicaller
example/multicaller
December 23, 2023 00:59 8m 21s
fix: byte check + console.log (#239) Test #536: Commit 153d9fe pushed by daejunpark
December 22, 2023 21:15 6m 3s main
main
December 22, 2023 21:15 6m 3s
paper cut fixes Test #535: Pull request #239 synchronize by daejunpark
December 22, 2023 20:16 6m 16s console-log-symbolic
console-log-symbolic
December 22, 2023 20:16 6m 16s
paper cut fixes Test #534: Pull request #239 synchronize by karmacoma-eth
December 22, 2023 19:55 7m 55s console-log-symbolic
console-log-symbolic
December 22, 2023 19:55 7m 55s
paper cut fixes Test #533: Pull request #239 opened by karmacoma-eth
December 22, 2023 00:16 4m 56s console-log-symbolic
console-log-symbolic
December 22, 2023 00:16 4m 56s
feat: add --match-test and --match-contract (#238) Test #532: Commit 3421763 pushed by daejunpark
December 21, 2023 23:00 5m 11s main
main
December 21, 2023 23:00 5m 11s
feat: add --match-test and --match-contract Test #531: Pull request #238 synchronize by daejunpark
December 21, 2023 22:56 6m 36s feat/match-test
feat/match-test
December 21, 2023 22:56 6m 36s
feat: add --match-test and --match-contract Test #530: Pull request #238 synchronize by daejunpark
December 21, 2023 22:32 5m 29s feat/match-test
feat/match-test
December 21, 2023 22:32 5m 29s
feat: add --match-test and --match-contract Test #529: Pull request #238 synchronize by daejunpark
December 21, 2023 22:19 6m 50s feat/match-test
feat/match-test
December 21, 2023 22:19 6m 50s
feat: introduce other failure modes (#237) Test #528: Commit a5a48df pushed by daejunpark
December 21, 2023 22:17 8m 15s main
main
December 21, 2023 22:17 8m 15s
feat: add --match-test and --match-contract Test #527: Pull request #238 synchronize by daejunpark
December 21, 2023 22:13 6m 44s feat/match-test
feat/match-test
December 21, 2023 22:13 6m 44s
feat: introduce other failure modes Test #526: Pull request #237 synchronize by daejunpark
December 21, 2023 22:02 4m 9s feat/timeout
feat/timeout
December 21, 2023 22:02 4m 9s
feat: introduce other failure modes Test #525: Pull request #237 synchronize by daejunpark
December 21, 2023 22:01 8m 17s feat/timeout
feat/timeout
December 21, 2023 22:01 8m 17s
feat: add --match-test and --match-contract Test #524: Pull request #238 opened by daejunpark
December 21, 2023 21:41 4m 38s feat/match-test
feat/match-test
December 21, 2023 21:41 4m 38s
feat: introduce other failure modes Test #523: Pull request #237 synchronize by daejunpark
December 21, 2023 08:49 6m 30s feat/timeout
feat/timeout
December 21, 2023 08:49 6m 30s
feat: introduce other failure modes Test #522: Pull request #237 synchronize by daejunpark
December 21, 2023 08:41 1m 35s feat/timeout
feat/timeout
December 21, 2023 08:41 1m 35s
feat: introduce other failure modes Test #521: Pull request #237 synchronize by daejunpark
December 21, 2023 08:30 4m 18s feat/timeout
feat/timeout
December 21, 2023 08:30 4m 18s
feat: introduce other failure modes Test #520: Pull request #237 synchronize by daejunpark
December 21, 2023 08:15 5m 0s feat/timeout
feat/timeout
December 21, 2023 08:15 5m 0s
dep(z3): pin 4.12.2 in pyproject (#236) Test #519: Commit 2228ead pushed by daejunpark
December 21, 2023 08:15 6m 17s main
main
December 21, 2023 08:15 6m 17s
ProTip! You can narrow down the results and go further in time using created:<2023-12-21 or the other filters available.