Minor: Use div_ceil
#834
Job | Run time |
---|---|
2m 12s | |
8m 33s | |
3m 17s | |
13m 23s | |
39s | |
9m 59s | |
7m 11s | |
9m 29s | |
54s | |
15m 11s | |
8m 35s | |
4m 23s | |
17m 34s | |
4m 38s | |
3m 1s | |
7m 1s | |
3m 56s | |
8m 12s | |
4m 17s | |
3m 7s | |
14m 4s | |
2h 29m 36s |