Make it build with ghc-9.8 #1480
Job | Run time |
---|---|
3s | |
24m 56s | |
31m 40s | |
27m 33s | |
29m 29s | |
28m 33s | |
24m 5s | |
19m 49s | |
27m 3s | |
24m 7s | |
3h 57m 18s |
Job | Run time |
---|---|
3s | |
24m 56s | |
31m 40s | |
27m 33s | |
29m 29s | |
28m 33s | |
24m 5s | |
19m 49s | |
27m 3s | |
24m 7s | |
3h 57m 18s |