Skip to content
CI

Reworked symbolic execution #48

Sign in to view logs

Reworked symbolic execution

Reworked symbolic execution #48

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build Echidna on ubuntu-latest
7m 49s
Build Echidna on windows-latest
7m 36s
Build Echidna on macos-13
9m 38s
Test with solc 0.8.25 on ubuntu-latest
3m 12s
Test with solc 0.8.10 on ubuntu-latest
4m 11s
Test with solc 0.8.10 on windows-latest
6m 22s
Test with solc 0.8.25 on windows-latest
6m 51s
45m 39s