Make it build with ghc-9.8 #1481
Job | Run time |
---|---|
3s | |
25m 36s | |
31m 47s | |
42m 52s | |
33m 36s | |
28m 45s | |
41m 23s | |
27m 9s | |
27m 25s | |
35m 56s | |
4h 54m 32s |
Job | Run time |
---|---|
3s | |
25m 36s | |
31m 47s | |
42m 52s | |
33m 36s | |
28m 45s | |
41m 23s | |
27m 9s | |
27m 25s | |
35m 56s | |
4h 54m 32s |