Work around prelude redundant import warnings #2154
Job | Run time |
---|---|
25s | |
1m 7s | |
2m 12s | |
31s | |
21s | |
17s | |
3m 26s | |
22s | |
3m 46s | |
2m 3s | |
22s | |
10s | |
1m 4s | |
16m 6s |
Job | Run time |
---|---|
25s | |
1m 7s | |
2m 12s | |
31s | |
21s | |
17s | |
3m 26s | |
22s | |
3m 46s | |
2m 3s | |
22s | |
10s | |
1m 4s | |
16m 6s |