Skip to content
Nix and release

Reworked symbolic execution #42

Sign in to view logs

Reworked symbolic execution

Reworked symbolic execution #42

Triggered via pull request July 8, 2025 14:23
@gustavo-griecogustavo-grieco
synchronize #10
fixed-sym-exec
Status Success
Total duration 15m 24s
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.06 MB
sha256:e084602f195ba6b1b6800f7cc955bfa5bcbea3a23d1b2049e4256e65463323b1
echidna-redistributable-aarch64-macos Expired
28.5 MB
sha256:671f0e9c1a2758edd08da512d694ba0cff67844dc7aaf33946a035767d80c18b
echidna-redistributable-x86_64-linux Expired
8.39 MB
sha256:6c0f2827650094bd16f43fcdd14252d0b45b7970d404341b7844d251999c6a22
echidna-redistributable-x86_64-macos Expired
9.14 MB
sha256:09a0da1eddb73c04d59c59842a976a8dc86b45b2d2615c65e015f3e1e7c3f303