Skip to content
CI

Update hevm to support dynamic argument inputs in symbolic mode (#1580) #2787

Sign in to view logs

Update hevm to support dynamic argument inputs in symbolic mode (#1580)

Update hevm to support dynamic argument inputs in symbolic mode (#1580) #2787

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build Echidna on macos-15-intel
28m 58s
Build Echidna on windows-latest
28m 4s
Build Echidna on ubuntu-latest
30m 19s
Test with solc 0.7.5 on ubuntu-latest
3m 14s
Test with solc 0.8.25 on ubuntu-latest
7m 11s
Test with solc 0.4.25 on ubuntu-latest
2m 35s
Test with solc 0.6.12 on ubuntu-latest
3m 8s
Test with solc 0.7.5 on windows-latest
5m 8s
Test with solc 0.8.10 on ubuntu-latest
3m 13s
Test with solc 0.5.7 on ubuntu-latest
2m 43s
Test with solc 0.4.25 on windows-latest
5m 23s
Test with solc 0.5.7 on windows-latest
6m 19s
Test with solc 0.6.12 on windows-latest
5m 21s
Test with solc 0.8.10 on windows-latest
6m 37s
Test with solc 0.8.25 on windows-latest
11m 57s
2h 30m 10s