![[Jenkins]](/ocaml/static/8707ff75/images/svgs/logo.svg){kind=logo}
Started 9 days 13 hr ago
Took 1 hr 18 min
on ocaml-linux-64
Started by user olivier+ci.inria.fr@chnik.fr | |
| Revision: e2bbdf4d62be9da076e501dbb8f70ae1fa98891e
Repository: ${REPO_URL}
|
Started by user olivier+ci.inria.fr@chnik.fr | |
| Revision: e2bbdf4d62be9da076e501dbb8f70ae1fa98891e
Repository: ${REPO_URL}
|