(lint-fmt)

2026-04-14 08:11.25: New job: test ocaml-multicore/eio-trace https://github.com/ocaml-multicore/eio-trace.git#refs/heads/main (ce5fb3cfd516783c13cc6ae1962459a0c57a2514) (linux-x86_64:(lint-fmt))
Base: ocaml/opam:debian-13-ocaml-5.1@sha256:797983c9507c9e2cb45b55653a3587cd658e2e6326de67c9fc8eb1e284652c80
ocamlformat version: none


To reproduce locally:


git clone --recursive "https://github.com/ocaml-multicore/eio-trace.git" -b "main" && cd "eio-trace" && git reset --hard ce5fb3cf
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-5.1@sha256:797983c9507c9e2cb45b55653a3587cd658e2e6326de67c9fc8eb1e284652c80
RUN echo "skipping format lint because ocamlformat is not configured"


END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK


2026-04-14 08:11.25: Using cache hint "ocaml-multicore/eio-trace-ocaml/opam:debian-13-ocaml-5.1@sha256:797983c9507c9e2cb45b55653a3587cd658e2e6326de67c9fc8eb1e284652c80-debian-13-5.1_opam-2.5-ocamlformat-5f7bb1a6e69f1ea15d8b2b08eeaa70a162c6fd41"
2026-04-14 08:11.25: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-5.1@sha256:797983c9507c9e2cb45b55653a3587cd658e2e6326de67c9fc8eb1e284652c80)
(run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
)


2026-04-14 08:11.25: Waiting for resource in pool OCluster
2026-04-14 09:27.34: Waiting for worker…
2026-04-14 09:30.13: Got resource from pool OCluster
Building on odawa.caelum.ci.dev
All commits already cached
HEAD is now at ce5fb3c Merge pull request #45 from talex5/nix


(from ocaml/opam:debian-13-ocaml-5.1@sha256:797983c9507c9e2cb45b55653a3587cd658e2e6326de67c9fc8eb1e284652c80)
2026-04-14 09:30.13 ---> using "7a8c4318ebecc195a110e805c6df6198dcb53ee500b47b3114d1212689aacb75" from cache


/: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
skipping format lint because ocamlformat is not configured
2026-04-14 09:30.13 ---> saved as "ac1325c38759dbbfda904a5d1f775bcde07deb786739c106a0bead33a8486393"
Job succeeded
2026-04-14 09:30.13: Job succeeded