Require building with GHC 8.0 or later #17
Job | Run time |
---|---|
2m 52s | |
2m 47s | |
2m 56s | |
2m 51s | |
3m 2s | |
2m 38s | |
2m 38s | |
2m 42s | |
2m 51s | |
2m 42s | |
3m 36s | |
3m 29s | |
35m 4s |
Job | Run time |
---|---|
2m 52s | |
2m 47s | |
2m 56s | |
2m 51s | |
3m 2s | |
2m 38s | |
2m 38s | |
2m 42s | |
2m 51s | |
2m 42s | |
3m 36s | |
3m 29s | |
35m 4s |