2025-10-28 11:15.57: New job: test mirage/mirage-crypto https://github.com/mirage/mirage-crypto.git#refs/heads/main (073e872ecf45688c8c06f27af9ca45a153f2651a) (linux-x86_64:(lint-fmt)) Base: ocaml/opam:alpine-3.22-ocaml-4.14@sha256:7061e4d210c551f55328c75cfe57a1297de774a191b5ef915d0cd2547319e29e ocamlformat version: none To reproduce locally: git clone --recursive "https://github.com/mirage/mirage-crypto.git" -b "main" && cd "mirage-crypto" && git reset --hard 073e872e cat > Dockerfile <<'END-OF-DOCKERFILE' FROM ocaml/opam:alpine-3.22-ocaml-4.14@sha256:7061e4d210c551f55328c75cfe57a1297de774a191b5ef915d0cd2547319e29e RUN echo "skipping format lint because ocamlformat is not configured" END-OF-DOCKERFILE docker build . END-REPRO-BLOCK 2025-10-28 11:15.57: Using cache hint "mirage/mirage-crypto-ocaml/opam:alpine-3.22-ocaml-4.14@sha256:7061e4d210c551f55328c75cfe57a1297de774a191b5ef915d0cd2547319e29e-alpine-3.22-4.14_opam-2.4-ocamlformat-d7f7268816afb69b2cbae1753a589be542bc99dc" 2025-10-28 11:15.57: Using OBuilder spec: ((from ocaml/opam:alpine-3.22-ocaml-4.14@sha256:7061e4d210c551f55328c75cfe57a1297de774a191b5ef915d0cd2547319e29e) (run (shell " echo \"skipping format lint because ocamlformat is not configured\" ")) ) 2025-10-28 11:15.57: Waiting for resource in pool OCluster 2025-10-28 11:15.58: Waiting for worker… 2025-10-28 11:18.26: Got resource from pool OCluster Building on bremusa.ocamllabs.io All commits already cached HEAD is now at 073e872 mirage_crypto.h, entropy_cpu_stubs.c: add powerpc macros (#269) (from ocaml/opam:alpine-3.22-ocaml-4.14@sha256:7061e4d210c551f55328c75cfe57a1297de774a191b5ef915d0cd2547319e29e) 2025-10-28 11:18.27 ---> using "764276640f5b3f4ce6b610321003cb55f6545c42846dc0b360f6be7a346afe65" from cache /: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" ")) skipping format lint because ocamlformat is not configured 2025-10-28 11:18.27 ---> saved as "fe52ca83e74361aca9500bea3b0c75bc6bae0cbe0ab9418ad1259676e20dd8e0" Job succeeded 2025-10-28 11:18.27: Job succeeded