Skip to content
CI

Reworked symbolic execution #20

Sign in to view logs

Reworked symbolic execution

Reworked symbolic execution #20

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build Echidna on windows-latest
10m 27s
Build Echidna on macos-13
7m 29s
Build Echidna on ubuntu-latest
5m 58s
Test with solc 0.8.25 on ubuntu-latest
7m 55s
Test with solc 0.8.10 on ubuntu-latest
8m 23s
Test with solc 0.8.10 on windows-latest
5m 30s
Test with solc 0.8.25 on windows-latest
5m 16s
50m 58s