Make it build with ghc-9.8 #1488
Job | Run time |
---|---|
4s | |
11m 22s | |
12m 20s | |
43m 59s | |
9m 52s | |
10m 8s | |
23m 19s | |
27m 46s | |
26m 23s | |
30m 38s | |
3h 15m 51s |
Job | Run time |
---|---|
4s | |
11m 22s | |
12m 20s | |
43m 59s | |
9m 52s | |
10m 8s | |
23m 19s | |
27m 46s | |
26m 23s | |
30m 38s | |
3h 15m 51s |