Organisationshannesmmirage-cryptof794fa (master)(lint-fmt)

(lint-fmt)

Link Copied
Code Copied

Logs

2026-03-14 10:13.08: New job: test hannesm/mirage-crypto https://github.com/hannesm/mirage-crypto.git#refs/heads/master (f794fab91bc9665844fba6d5d8229183038ac1ec) (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/hannesm/mirage-crypto.git" -b "master" && cd "mirage-crypto" && git reset --hard f794fab9
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-03-14 10:13.08: Using cache hint "hannesm/mirage-crypto-ocaml/opam:debian-13-ocaml-4.08@sha256:048f41796adc21a1c591ba8a7027365f75adbd0cc47a89cb4ad5d856f4815f47-debian-13-4.08_opam-2.5-ocamlformat-31462e7d24da1419f9eb9099a0b60ea507d91ef6"
2026-03-14 10:13.08: 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-03-14 10:13.08: Waiting for resource in pool OCluster
2026-03-14 10:16.50: Waiting for worker…
2026-03-14 10:17.57: Got resource from pool OCluster
Building on odawa.caelum.ci.dev
All commits already cached
HEAD is now at f794fab [ci skip] changes 0.6.2


(from ocaml/opam:debian-13-ocaml-4.08@sha256:048f41796adc21a1c591ba8a7027365f75adbd0cc47a89cb4ad5d856f4815f47)
2026-03-14 10:17.58 ---> using "867303d7f04cee0d3e23016229d2a45a69516628a14dbff52754cd3cb283f66f" from cache


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