2026-04-14 07:59.41: New job: test ocaml-multicore/eio https://github.com/ocaml-multicore/eio.git#refs/pull/836/head (807ad3dd0c60e1892dae71706411eac219bbfb7c) (linux-x86_64:(lint-fmt)) Base: ocaml/opam:debian-13-ocaml-5.2@sha256:e9e8a26d58179e75ca1525025bcc5dbbc56cd84f4176f8d1dcd97b95cde427b0 ocamlformat version: none To reproduce locally: git clone --recursive "https://github.com/ocaml-multicore/eio.git" && cd "eio" && git fetch origin "refs/pull/836/head" && git reset --hard 807ad3dd cat > Dockerfile <<'END-OF-DOCKERFILE' FROM ocaml/opam:debian-13-ocaml-5.2@sha256:e9e8a26d58179e75ca1525025bcc5dbbc56cd84f4176f8d1dcd97b95cde427b0 RUN echo "skipping format lint because ocamlformat is not configured" END-OF-DOCKERFILE docker build . END-REPRO-BLOCK 2026-04-14 07:59.41: Using cache hint "ocaml-multicore/eio-ocaml/opam:debian-13-ocaml-5.2@sha256:e9e8a26d58179e75ca1525025bcc5dbbc56cd84f4176f8d1dcd97b95cde427b0-debian-13-5.2_opam-2.5-ocamlformat-5f7bb1a6e69f1ea15d8b2b08eeaa70a162c6fd41" 2026-04-14 07:59.41: Using OBuilder spec: ((from ocaml/opam:debian-13-ocaml-5.2@sha256:e9e8a26d58179e75ca1525025bcc5dbbc56cd84f4176f8d1dcd97b95cde427b0) (run (shell " echo \"skipping format lint because ocamlformat is not configured\" ")) ) 2026-04-14 07:59.41: Waiting for resource in pool OCluster 2026-04-14 08:28.50: Waiting for worker… 2026-04-14 08:32.06: Got resource from pool OCluster Building on bremusa.ocamllabs.io All commits already cached HEAD is now at 807ad3d Make Linux and Posix eventfd functions configurable (from ocaml/opam:debian-13-ocaml-5.2@sha256:e9e8a26d58179e75ca1525025bcc5dbbc56cd84f4176f8d1dcd97b95cde427b0) 2026-04-14 08:32.06 ---> using "94a57a9c3527a48ab5d91602eeb79e35d18ff1f71260d38c89c82f7fbff465ae" from cache /: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" ")) skipping format lint because ocamlformat is not configured 2026-04-14 08:32.06 ---> using "959589cf92920aa67d7074bab8dc95b23a3c6df0ab0b5eeed39e06100d474db9" from cache Job succeeded 2026-04-14 08:32.06: Job succeeded