(lint-fmt)

2025-07-10 13:42.04: New job: test mirage/mirage-crypto https://github.com/mirage/mirage-crypto.git#refs/heads/main (eeafba3bdf5074616ead0c73411b1e9352b6871e) (linux-x86_64:(lint-fmt))
Base: ocaml/opam:alpine-3.21-ocaml-4.14@sha256:ce7c521de2e50e6ba02ecb769afb8f518fd84aef8447affa8b443c3175d9dc33
ocamlformat version: none


To reproduce locally:


git clone --recursive "https://github.com/mirage/mirage-crypto.git" -b "main" && cd "mirage-crypto" && git reset --hard eeafba3b
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:alpine-3.21-ocaml-4.14@sha256:ce7c521de2e50e6ba02ecb769afb8f518fd84aef8447affa8b443c3175d9dc33
RUN echo "skipping format lint because ocamlformat is not configured"


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


2025-07-10 13:42.04: Using cache hint "mirage/mirage-crypto-ocaml/opam:alpine-3.21-ocaml-4.14@sha256:ce7c521de2e50e6ba02ecb769afb8f518fd84aef8447affa8b443c3175d9dc33-alpine-3.21-4.14_opam-2.3-ocamlformat-64169c3d1d6774ef4ce0fcc471269bb09cd215f5"
2025-07-10 13:42.04: Using OBuilder spec:
((from ocaml/opam:alpine-3.21-ocaml-4.14@sha256:ce7c521de2e50e6ba02ecb769afb8f518fd84aef8447affa8b443c3175d9dc33)
(run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
)


2025-07-10 13:42.04: Waiting for resource in pool OCluster
2025-07-10 16:12.14: Waiting for worker…
2025-07-10 16:14.22: Got resource from pool OCluster
Building on clete.caelum.ci.dev
All commits already cached
HEAD is now at eeafba3 changes: fix reference to PR


(from ocaml/opam:alpine-3.21-ocaml-4.14@sha256:ce7c521de2e50e6ba02ecb769afb8f518fd84aef8447affa8b443c3175d9dc33)
2025-07-10 16:14.23 ---> using "55d202f7fecfb1870e4e5ff40a2bf370c1ccb0b90b65ea9e954fa8fcf7fc2c95" from cache


/: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
skipping format lint because ocamlformat is not configured
2025-07-10 16:14.23 ---> using "950017a68ff972835553d094e1269305984e03821030420cae3211baada77ede" from cache
Job succeeded
2025-07-10 16:14.23: Job succeeded