Show all events from all the transactions when a property or assertion fails #815
gustavo-griecorelease.yml
on: pull_request
Matrix: nixBuild
Create release
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
echidna-redistributable-aarch64-linux
|
8.36 MB |
sha256:7a63386834b2e99ff358f49a1d2cb3431882a1b4355ec51c9b2015699d7a7fdb
|
|
|
echidna-redistributable-aarch64-macos
|
29 MB |
sha256:9cc8e11a08eb3c149d7996ffe923a8c3bc55064c675d7281aed61c13f90f6cdb
|
|
|
echidna-redistributable-x86_64-linux
|
8.68 MB |
sha256:9bda425ccd228dd0bc0e590fcdf6711a71a243c35d67bcfe8148709719801fae
|
|
|
echidna-redistributable-x86_64-macos
|
9.49 MB |
sha256:0eabd791239080c191a38b2b711e273a7c42d05e53e306187c44fd9ddf12062b
|
|