Update ghc, bounds #16
Job | Run time |
---|---|
5m 28s | |
11m 54s | |
18m 16s | |
3m 10s | |
2m 49s | |
5m 11s | |
4m 18s | |
3m 5s | |
4m 44s | |
4m 18s | |
3m 5s | |
5m 29s | |
2m 49s | |
3m 28s | |
4m 20s | |
2m 45s | |
1m 58s | |
3m 1s | |
3m 4s | |
1m 58s | |
4m 44s | |
1h 39m 54s |
Job | Run time |
---|---|
5m 28s | |
11m 54s | |
18m 16s | |
3m 10s | |
2m 49s | |
5m 11s | |
4m 18s | |
3m 5s | |
4m 44s | |
4m 18s | |
3m 5s | |
5m 29s | |
2m 49s | |
3m 28s | |
4m 20s | |
2m 45s | |
1m 58s | |
3m 1s | |
3m 4s | |
1m 58s | |
4m 44s | |
1h 39m 54s |