Merge pull request #789 from ocsigen/ocaml5.2 #793
Job | Run time |
---|---|
7m 34s | |
7m 30s | |
11m 38s | |
12m 16s | |
7m 50s | |
8m 18s | |
9m 38s | |
4m 28s | |
4m 26s | |
4m 55s | |
4m 34s | |
4m 30s | |
5m 20s | |
4m 21s | |
1h 37m 18s |
Job | Run time |
---|---|
7m 34s | |
7m 30s | |
11m 38s | |
12m 16s | |
7m 50s | |
8m 18s | |
9m 38s | |
4m 28s | |
4m 26s | |
4m 55s | |
4m 34s | |
4m 30s | |
5m 20s | |
4m 21s | |
1h 37m 18s |