[args] [coq] Allow to set ocamlpath and findlib init file separately. #2889
| Job | Run time |
|---|---|
| 15s | |
| 8m 59s | |
| 1m 28s | |
| 8m 18s | |
| 2m 36s | |
| 8m 26s | |
| 49s | |
| 8m 50s | |
| 10m 8s | |
| 8m 46s | |
| 9m 36s | |
| 8m 29s | |
| 16m 40s | |
| 1h 33m 20s |
| Job | Run time |
|---|---|
| 15s | |
| 8m 59s | |
| 1m 28s | |
| 8m 18s | |
| 2m 36s | |
| 8m 26s | |
| 49s | |
| 8m 50s | |
| 10m 8s | |
| 8m 46s | |
| 9m 36s | |
| 8m 29s | |
| 16m 40s | |
| 1h 33m 20s |