(lint-fmt)

2025-02-18 13:52.16: New job: test robur-coop/happy-eyeballs https://github.com/robur-coop/happy-eyeballs.git#refs/heads/main (545d1ee750d0453d743e90aa3400710fcf902634) (linux-x86_64:(lint-fmt))
Base: ocaml/opam:debian-12-ocaml-4.08@sha256:cb36ada8bb596f67e8e27c6261b722b395133d8890bdee127859b7e4173d7ac0
ocamlformat version: none


To reproduce locally:


git clone --recursive "https://github.com/robur-coop/happy-eyeballs.git" -b "main" && cd "happy-eyeballs" && git reset --hard 545d1ee7
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-4.08@sha256:cb36ada8bb596f67e8e27c6261b722b395133d8890bdee127859b7e4173d7ac0
RUN echo "skipping format lint because ocamlformat is not configured"


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


2025-02-18 13:52.16: Using cache hint "robur-coop/happy-eyeballs-ocaml/opam:debian-12-ocaml-4.08@sha256:cb36ada8bb596f67e8e27c6261b722b395133d8890bdee127859b7e4173d7ac0-debian-12-4.08_opam-2.3-ocamlformat-cf5182fecd136e84d8ca14d9c0774986a77f5209"
2025-02-18 13:52.16: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-4.08@sha256:cb36ada8bb596f67e8e27c6261b722b395133d8890bdee127859b7e4173d7ac0)
(run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
)


2025-02-18 13:52.16: Waiting for resource in pool OCluster
2025-02-18 18:14.11: Waiting for worker…
2025-02-18 18:17.31: Got resource from pool OCluster
Building on asteria.caelum.ci.dev
All commits already cached
HEAD is now at 545d1ee changes for 2.0.0


(from ocaml/opam:debian-12-ocaml-4.08@sha256:cb36ada8bb596f67e8e27c6261b722b395133d8890bdee127859b7e4173d7ac0)
2025-02-18 18:17.32 ---> using "00aea64e10ae0c7539e49349e74a22e5b31f7345320d1fcee09b4272923b54dc" from cache


/: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
skipping format lint because ocamlformat is not configured
2025-02-18 18:17.32 ---> using "3b57b45bed8eb7166df3df94802221022851e5a1fd0e884e8ca0123d16d99dcf" from cache
Job succeeded
2025-02-18 18:17.32: Job succeeded