Merge pull request #249 from wolfgangwalther/ghc98 #53
Job | Run time |
---|---|
10m 20s | |
22m 38s | |
7m 50s | |
18m 18s | |
7m 38s | |
19m 38s | |
7m 39s | |
17m 28s | |
8m 29s | |
14m 15s | |
7m 24s | |
13m 23s | |
8m 8s | |
15m 18s | |
6m 45s | |
22m 0s | |
6m 44s | |
14m 48s | |
3h 48m 43s |
Job | Run time |
---|---|
10m 20s | |
22m 38s | |
7m 50s | |
18m 18s | |
7m 38s | |
19m 38s | |
7m 39s | |
17m 28s | |
8m 29s | |
14m 15s | |
7m 24s | |
13m 23s | |
8m 8s | |
15m 18s | |
6m 45s | |
22m 0s | |
6m 44s | |
14m 48s | |
3h 48m 43s |