Allow zero-bit result for prim fun-args (#2550) #2283
Job | Run time |
---|---|
8m 1s | |
9m 4s | |
3m 25s | |
17m 47s | |
19m 36s | |
15m 20s | |
13m 49s | |
18m 5s | |
17m 25s | |
24m 18s | |
12m 11s | |
11m 10s | |
28s | |
2h 50m 39s |
Job | Run time |
---|---|
8m 1s | |
9m 4s | |
3m 25s | |
17m 47s | |
19m 36s | |
15m 20s | |
13m 49s | |
18m 5s | |
17m 25s | |
24m 18s | |
12m 11s | |
11m 10s | |
28s | |
2h 50m 39s |