Skip to content
CI

Reworked symbolic execution #62

Sign in to view logs

Reworked symbolic execution

Reworked symbolic execution #62

Triggered via pull request August 6, 2025 08:26
@gustavo-griecogustavo-grieco
synchronize #10
fixed-sym-exec
Status Success
Total duration 14m 1s
Artifacts 5

ci.yml

on: pull_request
Matrix: build
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

3 notices
Build Echidna on windows-latest
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677
Test with solc 0.8.25 on windows-latest
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677
Test with solc 0.8.10 on windows-latest
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677

Artifacts

Produced during runtime
Name Size Digest
echidna-Linux Expired
20.2 MB
sha256:01246c3150e94376c7cc35712662a435b8136db37e24ade4d6b20c1f81ee3823
echidna-Windows Expired
20.1 MB
sha256:7ecdf40510c352583a8f7d745da03224e4c8e7625b5df7cf2ee5facdaa7a5190
echidna-macOS Expired
9.2 MB
sha256:4ab70a9547fa2ae3f250e2164ca15d95b8e1bc08384b49102e3b7f76a56f384b
echidna-testsuite-Linux Expired
27.7 MB
sha256:ddcf29d50a08ab676db3a597f7dff4c52e6f159751b309fcb30e795ed4d26ded
echidna-testsuite-Windows Expired
23 MB
sha256:da8b6b643eafe58ae47c0bdc62f36765b69bda23e962779f0ee099e9ac973b34