2025-01-08 16:06.57: New job: test hannesm/mirage-crypto https://github.com/hannesm/mirage-crypto.git#refs/heads/cpu-rng-adjustments (21945e62035793b19376a71161167dd75f713919) (linux-x86_64:(lint-fmt))
Base: ocaml/opam:alpine-3.20-ocaml-4.14@sha256:1373fc17e4d358b445e2642e92df91c019d7c9372b501e18374f891e87f709b0
ocamlformat version: none
To reproduce locally:
git clone --recursive "https://github.com/hannesm/mirage-crypto.git" -b "cpu-rng-adjustments" && cd "mirage-crypto" && git reset --hard 21945e62
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:alpine-3.20-ocaml-4.14@sha256:1373fc17e4d358b445e2642e92df91c019d7c9372b501e18374f891e87f709b0
RUN echo "skipping format lint because ocamlformat is not configured"
END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK
2025-01-08 16:06.57: Using cache hint "hannesm/mirage-crypto-ocaml/opam:alpine-3.20-ocaml-4.14@sha256:1373fc17e4d358b445e2642e92df91c019d7c9372b501e18374f891e87f709b0-alpine-3.20-4.14_opam-2.3-ocamlformat-e566c29b12a9c284b68b3f6cbe7fbd4e8452406f"
2025-01-08 16:06.57: Using OBuilder spec:
((from ocaml/opam:alpine-3.20-ocaml-4.14@sha256:1373fc17e4d358b445e2642e92df91c019d7c9372b501e18374f891e87f709b0)
(run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
)
2025-01-08 16:06.57: Waiting for resource in pool OCluster
2025-01-08 16:06.58: Waiting for worker…
2025-01-08 16:22.48: Got resource from pool OCluster
Building on phoebe.caelum.ci.dev
All commits already cached
HEAD is now at 21945e6 use memcpy instead of manual copying
(from ocaml/opam:alpine-3.20-ocaml-4.14@sha256:1373fc17e4d358b445e2642e92df91c019d7c9372b501e18374f891e87f709b0)
2025-01-08 16:22.57 ---> saved as "a3e9f67bc1ee9201c96140c65f9dc31519ebfb933f158b75d3a6cace968f8f0b"
/: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
skipping format lint because ocamlformat is not configured
2025-01-08 16:22.57 ---> saved as "08531b211c79869936193858aa39be3a119d4fa4d4e64483b81db26a249535ce"
Job succeeded
2025-01-08 16:22.58: Job succeeded