2026-06-09 17:49.50: New job: test ocaml-ppx/cinaps https://github.com/ocaml-ppx/cinaps.git#refs/pull/10/head (aa89b6c7e30acfc10f5667c4ba9fe854ee071091) (linux-x86_64:(lint-fmt)) Base: ocaml/opam:debian-13-ocaml-4.11@sha256:6c34153b2b07fc0f884e792a60178e250c2d06a45050e01ed0883a67ec11440c ocamlformat version: none To reproduce locally: git clone --recursive "https://github.com/ocaml-ppx/cinaps.git" && cd "cinaps" && git fetch origin "refs/pull/10/head" && git reset --hard aa89b6c7 cat > Dockerfile <<'END-OF-DOCKERFILE' FROM ocaml/opam:debian-13-ocaml-4.11@sha256:6c34153b2b07fc0f884e792a60178e250c2d06a45050e01ed0883a67ec11440c RUN echo "skipping format lint because ocamlformat is not configured" END-OF-DOCKERFILE docker build . END-REPRO-BLOCK 2026-06-09 17:49.50: Using cache hint "ocaml-ppx/cinaps-ocaml/opam:debian-13-ocaml-4.11@sha256:6c34153b2b07fc0f884e792a60178e250c2d06a45050e01ed0883a67ec11440c-debian-13-4.11_opam-2.5-ocamlformat-c180e1630960e0dbb8e30c22b3de89113eb5cc93" 2026-06-09 17:49.50: Using OBuilder spec: ((from ocaml/opam:debian-13-ocaml-4.11@sha256:6c34153b2b07fc0f884e792a60178e250c2d06a45050e01ed0883a67ec11440c) (run (shell " echo \"skipping format lint because ocamlformat is not configured\" ")) ) 2026-06-09 17:49.50: Waiting for resource in pool OCluster 2026-06-09 17:49.50: Waiting for worker… 2026-06-09 17:49.51: Got resource from pool OCluster Building on toxis.caelum.ci.dev All commits already cached HEAD is now at aa89b6c Support Rocq files (from ocaml/opam:debian-13-ocaml-4.11@sha256:6c34153b2b07fc0f884e792a60178e250c2d06a45050e01ed0883a67ec11440c) 2026-06-09 17:49.53 ---> using "36abb6db1723167d15c41f53ef05d371444812dc64e2ea7fe109d222db988473" from cache /: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" ")) skipping format lint because ocamlformat is not configured 2026-06-09 17:49.53 ---> using "571a3bd8b853fa1c4c5e2aaace162ba4e01cc08c659d7aa219a6218259321dde" from cache Job succeeded 2026-06-09 17:49.53: Job succeeded