(lint-fmt)

2026-04-03 11:35.30: New job: test backtracking/bitv https://github.com/backtracking/bitv.git#refs/heads/persistent-bit-vectors (459b76d4286b3fd31297aa41766da2762554a426) (linux-x86_64:(lint-fmt))
Base: ocaml/opam:debian-13-ocaml-4.08@sha256:048f41796adc21a1c591ba8a7027365f75adbd0cc47a89cb4ad5d856f4815f47
ocamlformat version: none


To reproduce locally:


git clone --recursive "https://github.com/backtracking/bitv.git" -b "persistent-bit-vectors" && cd "bitv" && git reset --hard 459b76d4
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.08@sha256:048f41796adc21a1c591ba8a7027365f75adbd0cc47a89cb4ad5d856f4815f47
RUN echo "skipping format lint because ocamlformat is not configured"


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


2026-04-03 11:35.30: Using cache hint "backtracking/bitv-ocaml/opam:debian-13-ocaml-4.08@sha256:048f41796adc21a1c591ba8a7027365f75adbd0cc47a89cb4ad5d856f4815f47-debian-13-4.08_opam-2.5-ocamlformat-d06cfb1853afceb1dc127f88edaac3f8110bf6cc"
2026-04-03 11:35.30: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.08@sha256:048f41796adc21a1c591ba8a7027365f75adbd0cc47a89cb4ad5d856f4815f47)
(run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
)


2026-04-03 11:35.30: Waiting for resource in pool OCluster
2026-04-03 11:41.20: Waiting for worker…
2026-04-03 11:43.32: Got resource from pool OCluster
Building on odawa.caelum.ci.dev
All commits already cached
HEAD is now at 459b76d sets over a given universe


(from ocaml/opam:debian-13-ocaml-4.08@sha256:048f41796adc21a1c591ba8a7027365f75adbd0cc47a89cb4ad5d856f4815f47)
2026-04-03 11:43.32 ---> using "867303d7f04cee0d3e23016229d2a45a69516628a14dbff52754cd3cb283f66f" from cache


/: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
skipping format lint because ocamlformat is not configured
2026-04-03 11:43.32 ---> using "c1df387d7552294a490006a1e5dc7e52227d29fb6d2e4bc00ae04e1dce4c0738" from cache
Job succeeded
2026-04-03 11:43.32: Job succeeded