2025-01-10 13:16.44: New job: test mirage/mirage-crypto https://github.com/mirage/mirage-crypto.git#refs/pull/254/head (698033ff202afcfcc9b0490dfcf93eaaa1587426) (linux-x86_64:(lint-fmt))
Base: ocaml/opam:alpine-3.21-ocaml-4.14@sha256:c810715263d60567b2461193b2da505b76379f507ee019b54161dd101ccd44bd
ocamlformat version: none
To reproduce locally:
git clone --recursive "https://github.com/mirage/mirage-crypto.git" && cd "mirage-crypto" && git fetch origin "refs/pull/254/head" && git reset --hard 698033ff
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:alpine-3.21-ocaml-4.14@sha256:c810715263d60567b2461193b2da505b76379f507ee019b54161dd101ccd44bd
RUN echo "skipping format lint because ocamlformat is not configured"
END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK
2025-01-10 13:16.44: Using cache hint "mirage/mirage-crypto-ocaml/opam:alpine-3.21-ocaml-4.14@sha256:c810715263d60567b2461193b2da505b76379f507ee019b54161dd101ccd44bd-alpine-3.21-4.14_opam-2.3-ocamlformat-e566c29b12a9c284b68b3f6cbe7fbd4e8452406f"
2025-01-10 13:16.44: Using OBuilder spec:
((from ocaml/opam:alpine-3.21-ocaml-4.14@sha256:c810715263d60567b2461193b2da505b76379f507ee019b54161dd101ccd44bd)
(run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
)
2025-01-10 13:16.44: Waiting for resource in pool OCluster
2025-01-10 13:16.44: Waiting for worker…
2025-01-10 18:07.06: Got resource from pool OCluster
Building on toxis.caelum.ci.dev
All commits already cached
HEAD is now at 698033f de-deprecate miou-unix
(from ocaml/opam:alpine-3.21-ocaml-4.14@sha256:c810715263d60567b2461193b2da505b76379f507ee019b54161dd101ccd44bd)
2025-01-10 18:07.06 ---> using "53a586dee36495bf7ec4fb904a8b3330f0aafc149d45da9757d8480bbc81dd56" from cache
/: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
skipping format lint because ocamlformat is not configured
2025-01-10 18:07.06 ---> using "6b94828a6f5e519b7f5ddc4f1ecb92590f5869c6d20512cc964f230000659df3" from cache
Job succeeded
2025-01-10 18:07.07: Job succeeded