Merge pull request #569 from MatthewFluet/useless-update #181
Job | Run time |
---|---|
19m 50s | |
26m 14s | |
20m 31s | |
27m 48s | |
27m 37s | |
55m 12s | |
52m 35s | |
49m 49s | |
24m 33s | |
25m 39s | |
41m 50s | |
46m 8s | |
6h 57m 46s |
Job | Run time |
---|---|
19m 50s | |
26m 14s | |
20m 31s | |
27m 48s | |
27m 37s | |
55m 12s | |
52m 35s | |
49m 49s | |
24m 33s | |
25m 39s | |
41m 50s | |
46m 8s | |
6h 57m 46s |