Organisationsmiragemirage-crypto099f00 ()(lint-fmt)

(lint-fmt)

Link Copied
Code Copied

Logs

2025-07-01 15:00.19: New job: test mirage/mirage-crypto https://github.com/mirage/mirage-crypto.git#refs/pull/260/head (099f00dbd8b9e358a9e41be5ded4fce280e099cf) (linux-x86_64:(lint-fmt))
Base: ocaml/opam:alpine-3.21-ocaml-4.14@sha256:2a715c092c4ab201120243e7efc44191d8c5aef3c1bf63ab56cfedfe3a662ad3
ocamlformat version: none


To reproduce locally:


git clone --recursive "https://github.com/mirage/mirage-crypto.git" && cd "mirage-crypto" && git fetch origin "refs/pull/260/head" && git reset --hard 099f00db
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:alpine-3.21-ocaml-4.14@sha256:2a715c092c4ab201120243e7efc44191d8c5aef3c1bf63ab56cfedfe3a662ad3
RUN echo "skipping format lint because ocamlformat is not configured"


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


2025-07-01 15:00.19: Using cache hint "mirage/mirage-crypto-ocaml/opam:alpine-3.21-ocaml-4.14@sha256:2a715c092c4ab201120243e7efc44191d8c5aef3c1bf63ab56cfedfe3a662ad3-alpine-3.21-4.14_opam-2.3-ocamlformat-7210227672addfb4db789560e45923f54c0aeab1"
2025-07-01 15:00.19: Using OBuilder spec:
((from ocaml/opam:alpine-3.21-ocaml-4.14@sha256:2a715c092c4ab201120243e7efc44191d8c5aef3c1bf63ab56cfedfe3a662ad3)
(run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
)


2025-07-01 15:00.19: Waiting for resource in pool OCluster
2025-07-01 15:00.19: Waiting for worker…
2025-07-01 15:00.19: Got resource from pool OCluster
Building on odawa.caelum.ci.dev
All commits already cached
HEAD is now at 099f00d mirage-crypto-ec: add Brainpool curves with 254/384/512 bits


(from ocaml/opam:alpine-3.21-ocaml-4.14@sha256:2a715c092c4ab201120243e7efc44191d8c5aef3c1bf63ab56cfedfe3a662ad3)
2025-07-01 15:01.15 ---> saved as "cae3f84721b1d1626d38afde4577807843a0da8ba3807fc3f5f4606864be9e98"


/: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
skipping format lint because ocamlformat is not configured
2025-07-01 15:01.15 ---> saved as "aef3984134e8b18d59181819bc79a8fc2def9cb8ef2be489c425efe58ad78684"
Job succeeded
2025-07-01 15:01.15: Job succeeded