Merge pull request #586 from Oscar-Pepper/checkmate_fail_on_warning #1120
Job | Run time |
---|---|
5m 14s | |
4s | |
4s | |
8m 24s | |
5m 5s | |
6m 3s | |
7m 39s | |
10s | |
5m 23s | |
6m 50s | |
4m 0s | |
5m 37s | |
8m 8s | |
8m 12s | |
4m 48s | |
4m 1s | |
1h 19m 42s |
Job | Run time |
---|---|
5m 14s | |
4s | |
4s | |
8m 24s | |
5m 5s | |
6m 3s | |
7m 39s | |
10s | |
5m 23s | |
6m 50s | |
4m 0s | |
5m 37s | |
8m 8s | |
8m 12s | |
4m 48s | |
4m 1s | |
1h 19m 42s |