Skip to content
CI

Reworked symbolic execution #59

Sign in to view logs

Reworked symbolic execution

Reworked symbolic execution #59

Triggered via pull request August 5, 2025 12:26
@gustavo-griecogustavo-grieco
synchronize #10
fixed-sym-exec
Status Success
Total duration 13m 42s
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.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
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

Artifacts

Produced during runtime
Name Size Digest
echidna-Linux Expired
20.2 MB
sha256:53bbb4db45705d651b40c3f7ceb2d3ffff4d524a6316761498a635f024a81d44
echidna-Windows Expired
20.1 MB
sha256:64db79942227c3a0da60aca1a65face5b35487786db049128e3bf3789329345b
echidna-macOS Expired
9.2 MB
sha256:7c224c703df95f7ef1e09f7d97771a7bc6abac71e22b0a30f015b07ed16e1dcf
echidna-testsuite-Linux Expired
27.7 MB
sha256:b27f0b9995826c1c590abfb86b05d1a7311120915ace2f9f0dc7596e072e37d7
echidna-testsuite-Windows Expired
23 MB
sha256:6beb7b3d808f1672519b50abbfc2158aad6bfdbf4ed61a834eb4e47c87878abd