Skip to content
CI

Reworked symbolic execution #17

Sign in to view logs

Reworked symbolic execution

Reworked symbolic execution #17

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build Echidna on ubuntu-latest
24m 9s
Build Echidna on windows-latest
26m 5s
Build Echidna on macos-13
28m 27s
Test with solc 0.8.25 on ubuntu-latest
2m 41s
Test with solc 0.8.10 on windows-latest
6m 30s
Test with solc 0.8.25 on windows-latest
6m 19s
Test with solc 0.8.10 on ubuntu-latest
3m 6s
1h 37m 17s