(lint-fmt)

2026-04-03 11:38.10: New job: test mirage/mirage-crypto https://github.com/mirage/mirage-crypto.git#refs/heads/riscv64 (bc32ff1d7945d96f8ebdfda28feec7e8000e1323) (linux-x86_64:(lint-fmt))
Base: ocaml/opam:alpine-3.22-ocaml-4.14@sha256:1c3a5ef9216cc43d14bea2bc9b42f4b1ee30cd78bf2e6993672b4c0c52909216
ocamlformat version: none


To reproduce locally:


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


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


2026-04-03 11:38.10: Using cache hint "mirage/mirage-crypto-ocaml/opam:alpine-3.22-ocaml-4.14@sha256:1c3a5ef9216cc43d14bea2bc9b42f4b1ee30cd78bf2e6993672b4c0c52909216-alpine-3.22-4.14_opam-2.5-ocamlformat-d06cfb1853afceb1dc127f88edaac3f8110bf6cc"
2026-04-03 11:38.10: Using OBuilder spec:
((from ocaml/opam:alpine-3.22-ocaml-4.14@sha256:1c3a5ef9216cc43d14bea2bc9b42f4b1ee30cd78bf2e6993672b4c0c52909216)
(run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
)


2026-04-03 11:38.10: Waiting for resource in pool OCluster
2026-04-03 21:10.07: Waiting for worker…
2026-04-03 21:12.27: Got resource from pool OCluster
Building on bremusa.ocamllabs.io
All commits already cached
HEAD is now at bc32ff1 Remove dead code (warning 32)


(from ocaml/opam:alpine-3.22-ocaml-4.14@sha256:1c3a5ef9216cc43d14bea2bc9b42f4b1ee30cd78bf2e6993672b4c0c52909216)
2026-04-03 21:12.28 ---> using "d1cef22083ba59d6db4e2f107091c68dd70ebdcc64c3894ad7db7be62ad17f4a" from cache


/: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
skipping format lint because ocamlformat is not configured
2026-04-03 21:12.28 ---> saved as "4f989350a029227966d90ce0ea5cea8f7852265c38d41bac1e0219693b40991b"
Job succeeded
2026-04-03 21:12.28: Job succeeded