Better dune support #42
Job | Run time |
---|---|
42s | |
49s | |
49s | |
48s | |
48s | |
56s | |
53s | |
51s | |
53s | |
53s | |
1m 3s | |
1m 1s | |
56s | |
58s | |
55s | |
57s | |
4m 3s | |
18m 15s |
Job | Run time |
---|---|
42s | |
49s | |
49s | |
48s | |
48s | |
56s | |
53s | |
51s | |
53s | |
53s | |
1m 3s | |
1m 1s | |
56s | |
58s | |
55s | |
57s | |
4m 3s | |
18m 15s |