Use saved state information in check_times.py (#205)
#43
| Job | Run time |
|---|---|
| 13s | |
| 15s | |
| 14s | |
| 18s | |
| 1m 0s |
check_times.py (#205)
#43
| Job | Run time |
|---|---|
| 13s | |
| 15s | |
| 14s | |
| 18s | |
| 1m 0s |