Skip to content
Nix and release

Symbolic execution fixes to make sure no counter example is missed #749

Sign in to view logs

Symbolic execution fixes to make sure no counter example is missed

Symbolic execution fixes to make sure no counter example is missed #749

Triggered via pull request September 16, 2025 00:20
@gustavo-griecogustavo-grieco
synchronize #1441
gustavo-grieco:dev-sym-exec-fixes
Status Success
Total duration 20m 12s
Artifacts 4

release.yml

on: pull_request
Matrix: nixBuild
Create release
0s
Create release
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
echidna-redistributable-aarch64-linux Expired
8.17 MB
sha256:ba2469153cc91dca0108c2272bb0118a9bbbf4b048c7fec48d9857e4d595cb5e
echidna-redistributable-aarch64-macos Expired
28.6 MB
sha256:431981a40166ba9463e39130bd327e318ee21b20f11e407612c221646bf88795
echidna-redistributable-x86_64-linux Expired
8.49 MB
sha256:21658370ae937c87362bd86185b94ae73851fc5544d8954b24de8bfee5cf08ca
echidna-redistributable-x86_64-macos Expired
9.25 MB
sha256:1f2e674f3391c57fc6ea0ae3a79ea8da1a0fc53cf15c2a8e73f76a942fd617df