Merge pull request #1160 from DoctorWkt/less_revised #878
Job | Run time |
---|---|
23s | |
1m 9s | |
1m 7s | |
2m 9s | |
54s | |
44s | |
52s | |
33s | |
29s | |
2m 0s | |
56s | |
28s | |
54s | |
12m 38s |
Job | Run time |
---|---|
23s | |
1m 9s | |
1m 7s | |
2m 9s | |
54s | |
44s | |
52s | |
33s | |
29s | |
2m 0s | |
56s | |
28s | |
54s | |
12m 38s |