Skip to content

Merge branch 'ijackson-precise-bounds' #70

Merge branch 'ijackson-precise-bounds'

Merge branch 'ijackson-precise-bounds' #70

Job Run time
11s
21s
16s
30s
13s
12s
11s
32s
14s
16s
11s
14s
14s
13s
13s
14s
18s
19s
20s
14s
16s
13s
12s
14s
18s
13s
24s
13s
15s
17s
21s
19s
16s
13s
17s
14s
17s
23s
25s
25s
17s
21s
16s
29s
17s
27s
17s
27s
17s
29s
17s
30s
12s
25s
18s
33s
16s
59s
18s
23s
23s
24s
16s
28s
23s
26s
17s
23s
18s
24s
26s
31s
21s
28s
20s
38s
20s
36s
21s
31s
22s
37s
22s
40s
21s
31s
19s
41s
20s
43s
18s
41s
21s
44s
26s
36s
21s
33s
23s
38s
30s
38s
21s
44s
32s
27s
30s
27s
27s
26s
46s
33s
23s
27s
21s
24s
27s
58s
34s
25s
30s
1m 38s
1m 56s
2m 7s
1m 5s
52s
1m 31s
1m 24s
1m 55s
1m 8s
1m 55s
1m 15s
53s
1m 54s
1m 35s
1m 50s
1m 27s
1m 34s
43s
40s
46s
49s
43s
45s
57s
42s
41s
53s
36s
39s
42s
38s
43s
38s
37s
1h 26m 11s