Bump base for ghc-8.4 #96
Job | Run time |
---|---|
7m 1s | |
13m 45s | |
13m 55s | |
15m 29s | |
17m 4s | |
18m 34s | |
16m 23s | |
16m 43s | |
15m 50s | |
1m 18s | |
1m 38s | |
2h 17m 40s |
Job | Run time |
---|---|
7m 1s | |
13m 45s | |
13m 55s | |
15m 29s | |
17m 4s | |
18m 34s | |
16m 23s | |
16m 43s | |
15m 50s | |
1m 18s | |
1m 38s | |
2h 17m 40s |