Merge pull request #789 from ocsigen/ocaml5.2 #792
Job | Run time |
---|---|
8m 55s | |
16m 32s | |
16m 46s | |
16m 15s | |
8m 51s | |
8m 47s | |
11m 19s | |
4m 43s | |
4m 20s | |
4m 33s | |
4m 53s | |
4m 42s | |
4m 44s | |
4m 33s | |
1h 59m 53s |
Job | Run time |
---|---|
8m 55s | |
16m 32s | |
16m 46s | |
16m 15s | |
8m 51s | |
8m 47s | |
11m 19s | |
4m 43s | |
4m 20s | |
4m 33s | |
4m 53s | |
4m 42s | |
4m 44s | |
4m 33s | |
1h 59m 53s |