Merge pull request #2064 from crytic/dev-echidna #944
| Job | Run time |
|---|---|
| 31s | |
| 32s | |
| 31s | |
| 28s | |
| 27s | |
| 34s | |
| 30s | |
| 28s | |
| 29s | |
| 30s | |
| 31s | |
| 28s | |
| 19s | |
| 18s | |
| 18s | |
| 19s | |
| 17s | |
| 20s | |
| 20s | |
| 20s | |
| 18s | |
| 17s | |
| 20s | |
| 17s | |
| 1s | |
| 9m 43s |
| Job | Run time |
|---|---|
| 31s | |
| 32s | |
| 31s | |
| 28s | |
| 27s | |
| 34s | |
| 30s | |
| 28s | |
| 29s | |
| 30s | |
| 31s | |
| 28s | |
| 19s | |
| 18s | |
| 18s | |
| 19s | |
| 17s | |
| 20s | |
| 20s | |
| 20s | |
| 18s | |
| 17s | |
| 20s | |
| 17s | |
| 1s | |
| 9m 43s |