native: add Echidna changes #1886
Job | Run time |
---|---|
25s | |
2m 30s | |
12s | |
6m 48s | |
6m 50s | |
22m 54s | |
17m 26s | |
14s | |
30s | |
1m 28s | |
7s | |
9s | |
9s | |
18s | |
10s | |
38s | |
14s | |
11s | |
15s | |
7s | |
11s | |
33s | |
13s | |
1h 2m 32s |
Job | Run time |
---|---|
25s | |
2m 30s | |
12s | |
6m 48s | |
6m 50s | |
22m 54s | |
17m 26s | |
14s | |
30s | |
1m 28s | |
7s | |
9s | |
9s | |
18s | |
10s | |
38s | |
14s | |
11s | |
15s | |
7s | |
11s | |
33s | |
13s | |
1h 2m 32s |