Support ghc-9.8. #132
Job | Run time |
---|---|
2m 21s | |
2m 56s | |
2m 29s | |
2m 48s | |
2m 36s | |
3m 57s | |
3m 31s | |
3m 0s | |
2m 18s | |
2m 4s | |
8m 32s | |
8m 25s | |
44m 57s |
Job | Run time |
---|---|
2m 21s | |
2m 56s | |
2m 29s | |
2m 48s | |
2m 36s | |
3m 57s | |
3m 31s | |
3m 0s | |
2m 18s | |
2m 4s | |
8m 32s | |
8m 25s | |
44m 57s |