Update HISTORY.md #4531
Job | Run time |
---|---|
12m 37s | |
18m 59s | |
12m 35s | |
19m 7s | |
12m 9s | |
25m 33s | |
11m 15s | |
20m 34s | |
12m 37s | |
18m 14s | |
8m 45s | |
6m 53s | |
2h 59m 18s |
Job | Run time |
---|---|
12m 37s | |
18m 59s | |
12m 35s | |
19m 7s | |
12m 9s | |
25m 33s | |
11m 15s | |
20m 34s | |
12m 37s | |
18m 14s | |
8m 45s | |
6m 53s | |
2h 59m 18s |