Make it build with ghc-9.8 #1484
Job | Run time |
---|---|
6s | |
23m 48s | |
31m 40s | |
33m 11s | |
22m 11s | |
28m 51s | |
29m 19s | |
22m 21s | |
25m 40s | |
39m 32s | |
4h 16m 39s |
Job | Run time |
---|---|
6s | |
23m 48s | |
31m 40s | |
33m 11s | |
22m 11s | |
28m 51s | |
29m 19s | |
22m 21s | |
25m 40s | |
39m 32s | |
4h 16m 39s |