Organisationshannesmmirage-cryptod74c32 ()(lint-fmt)

(lint-fmt)

Link Copied
Code Copied

Logs

2025-01-13 16:16.21: New job: test hannesm/mirage-crypto https://github.com/hannesm/mirage-crypto.git#refs/heads/cpu-rng-adjustments (d74c32f740c779220ba5d3de2dc3644e7ee6d794) (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/hannesm/mirage-crypto.git" -b "cpu-rng-adjustments" && cd "mirage-crypto" && git reset --hard d74c32f7
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-13 16:16.21: Using cache hint "hannesm/mirage-crypto-ocaml/opam:alpine-3.21-ocaml-4.14@sha256:c810715263d60567b2461193b2da505b76379f507ee019b54161dd101ccd44bd-alpine-3.21-4.14_opam-2.3-ocamlformat-85e5d991b8369d632f5b367be8b432341e488f88"
2025-01-13 16:16.21: 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-13 16:16.21: Waiting for resource in pool OCluster
2025-01-13 23:11.41: Waiting for worker…
2025-01-13 23:11.41: Got resource from pool OCluster
Building on x86-bm-c3.sw.ocaml.org
HEAD is now at f794fab [ci skip] changes 0.6.2
HEAD is now at d74c32f rdseed: 100 retries, rdrand: 10 retries


(from ocaml/opam:alpine-3.21-ocaml-4.14@sha256:c810715263d60567b2461193b2da505b76379f507ee019b54161dd101ccd44bd)
2025-01-13 23:11.42 ---> 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-13 23:11.43 ---> saved as "6b94828a6f5e519b7f5ddc4f1ecb92590f5869c6d20512cc964f230000659df3"
Job succeeded
2025-01-13 23:11.43: Job succeeded