2024-10-01 08:06.07: New job: test mirage/mirage-crypto https://github.com/mirage/mirage-crypto.git#refs/pull/247/head (84cfdd2543f9047c45ced265a1c8d1e695390db7) (linux-x86_64:(lint-fmt)) Base: ocaml/opam:debian-12-ocaml-4.13@sha256:a3da3c524a9eaefadecdecc2161e1a6423dc5278ed342a5af049393270919fa8 ocamlformat version: none To reproduce locally: git clone --recursive "https://github.com/mirage/mirage-crypto.git" && cd "mirage-crypto" && git fetch origin "refs/pull/247/head" && git reset --hard 84cfdd25 cat > Dockerfile <<'END-OF-DOCKERFILE' FROM ocaml/opam:debian-12-ocaml-4.13@sha256:a3da3c524a9eaefadecdecc2161e1a6423dc5278ed342a5af049393270919fa8 RUN echo "skipping format lint because ocamlformat is not configured" END-OF-DOCKERFILE docker build . END-REPRO-BLOCK 2024-10-01 08:06.07: Using cache hint "mirage/mirage-crypto-ocaml/opam:debian-12-ocaml-4.13@sha256:a3da3c524a9eaefadecdecc2161e1a6423dc5278ed342a5af049393270919fa8-debian-12-4.13_opam-2.2-ocamlformat-c0a7b4f3578d1b9d94fef0b9883dc54230fb36a2" 2024-10-01 08:06.07: Using OBuilder spec: ((from ocaml/opam:debian-12-ocaml-4.13@sha256:a3da3c524a9eaefadecdecc2161e1a6423dc5278ed342a5af049393270919fa8) (run (shell " echo \"skipping format lint because ocamlformat is not configured\" ")) ) 2024-10-01 08:06.07: Waiting for resource in pool OCluster 2024-10-01 08:06.08: Waiting for worker… 2024-10-01 08:06.08: Got resource from pool OCluster Building on x86-bm-c17.sw.ocaml.org HEAD is now at 9bad6d8 mirage-crypto-rng-eio: declare the cstruct dependency HEAD is now at 84cfdd2 fix mirage example (from ocaml/opam:debian-12-ocaml-4.13@sha256:a3da3c524a9eaefadecdecc2161e1a6423dc5278ed342a5af049393270919fa8) 2024-10-01 08:06.09 ---> using "3f780e6a721096052e39abdde102bc9ff199077eebd22a6187825d0e718fab89" from cache /: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" ")) skipping format lint because ocamlformat is not configured 2024-10-01 08:06.09 ---> using "4f91a04971f1ddb8141c2a6c0f31a586cefb1ab35e20599dc55214e26f61adcc" from cache Job succeeded 2024-10-01 08:06.09: Job succeeded