jenkins opam for quick