Merge pull request #223 from crytic/dev-error-exit #1393
Job | Run time |
---|---|
1m 3s | |
1m 0s | |
2m 26s | |
59s | |
50s | |
1m 4s | |
2m 29s | |
1m 2s | |
2m 27s | |
2m 30s | |
1m 40s | |
1m 23s | |
18m 53s |
Job | Run time |
---|---|
1m 3s | |
1m 0s | |
2m 26s | |
59s | |
50s | |
1m 4s | |
2m 29s | |
1m 2s | |
2m 27s | |
2m 30s | |
1m 40s | |
1m 23s | |
18m 53s |