Merge pull request #12 from TristanCacqueray/ghc-96 #10
Job | Run time |
---|---|
11m 32s | |
11m 21s | |
13m 2s | |
11m 53s | |
11m 53s | |
10m 35s | |
10m 7s | |
23m 52s | |
20m 28s | |
2h 4m 43s |
Job | Run time |
---|---|
11m 32s | |
11m 21s | |
13m 2s | |
11m 53s | |
11m 53s | |
10m 35s | |
10m 7s | |
23m 52s | |
20m 28s | |
2h 4m 43s |