Skip to content

first round of improvements to type system; thanks to Daniel Knuettel… #1159

first round of improvements to type system; thanks to Daniel Knuettel…

first round of improvements to type system; thanks to Daniel Knuettel… #1159

Job Run time
44s
34s
44s
45s
47s
41s
50s
1m 1s
57s
59s
46s
1m 1s
48s
1m 2s
1m 0s
46s
56s
49s
1m 9s
51s
43s
54s
58s
47s
7m 12s
50s
13m 50s
17m 32s
7m 45s
15m 2s
18m 45s
7m 1s
13m 27s
17m 12s
7m 33s
14m 49s
18m 26s
7m 10s
14m 4s
17m 28s
7m 38s
14m 48s
18m 10s
45s
1m 31s
1m 25s
4h 22m 55s