Merge pull request #26 from ymyzk/ocaml-5 #63
| Job | Run time |
|---|---|
| 14m 13s | |
| 14m 52s | |
| 22m 54s | |
| 21m 3s | |
| 13m 43s | |
| 9m 52s | |
| 10m 0s | |
| 17m 23s | |
| 10m 23s | |
| 10m 45s | |
| 15m 19s | |
| 10m 14s | |
| 15m 22s | |
| 10m 22s | |
| 9m 3s | |
| 9m 0s | |
| 9m 11s | |
| 9m 37s | |
| 7m 48s | |
| 6m 1s | |
| 6m 6s | |
| 5m 51s | |
| 6m 6s | |
| 5m 41s | |
| 5m 45s | |
| 5m 57s | |
| 6m 24s | |
| 6m 3s | |
| 4m 14s | |
| 3m 35s | |
| 3m 35s | |
| 3m 39s | |
| 3m 44s | |
| 4m 38s | |
| 4m 44s | |
| 4m 22s | |
| 4m 38s | |
| 4m 22s | |
| 4m 43s | |
| 9m 42s | |
| 1m 44s | |
| 5h 52m 38s |