2025-09-29 08:40.43: New job: test ocaml-multicore/eio https://github.com/ocaml-multicore/eio.git#refs/pull/575/head (bb07b4488b632d3c088a8fb5d6575b719816f0cc) (linux-x86_64:(lint-fmt))
Base: ocaml/opam:debian-13-ocaml-5.2@sha256:984d9490e0a1ce0f5250b287a3e18d57c5d896c2798cdb35bfdcd62bbcc563d0
ocamlformat version: none
To reproduce locally:
git clone --recursive "https://github.com/ocaml-multicore/eio.git" && cd "eio" && git fetch origin "refs/pull/575/head" && git reset --hard bb07b448
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-5.2@sha256:984d9490e0a1ce0f5250b287a3e18d57c5d896c2798cdb35bfdcd62bbcc563d0
RUN echo "skipping format lint because ocamlformat is not configured"
END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK
2025-09-29 08:40.43: Using cache hint "ocaml-multicore/eio-ocaml/opam:debian-13-ocaml-5.2@sha256:984d9490e0a1ce0f5250b287a3e18d57c5d896c2798cdb35bfdcd62bbcc563d0-debian-13-5.2_opam-2.4-ocamlformat-64dfb8c8f3d57322d6c1c70adec809b801b9121a"
2025-09-29 08:40.43: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-5.2@sha256:984d9490e0a1ce0f5250b287a3e18d57c5d896c2798cdb35bfdcd62bbcc563d0)
(run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
)
2025-09-29 08:40.43: Waiting for resource in pool OCluster
2025-09-29 11:22.01: Waiting for worker…
2025-09-29 11:26.29: Got resource from pool OCluster
Building on odawa.caelum.ci.dev
All commits already cached
HEAD is now at bb07b44 more Linux specific options, skipping multicast ones
(from ocaml/opam:debian-13-ocaml-5.2@sha256:984d9490e0a1ce0f5250b287a3e18d57c5d896c2798cdb35bfdcd62bbcc563d0)
2025-09-29 11:26.29 ---> using "9548e78a507c80b995a7fc0f058a6e164acbd87e20aba9687b0e7efc1668edfe" from cache
/: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
skipping format lint because ocamlformat is not configured
2025-09-29 11:26.29 ---> using "51fb0555f3eacdadb01a36a933efcc70990f6fdb62f61486d452d5c56685c069" from cache
Job succeeded
2025-09-29 11:26.29: Job succeeded