Organisationsmiragemirage-cryptoe7e7ef ()(lint-fmt)

(lint-fmt)

Link Copied
Code Copied

Logs

2026-02-13 09:55.07: New job: test mirage/mirage-crypto https://github.com/mirage/mirage-crypto.git#refs/heads/riscv64 (e7e7ef0dcb56da1318da7d5151bb70436cb0fcd5) (linux-x86_64:(lint-fmt))
Base: ocaml/opam:alpine-3.22-ocaml-4.14@sha256:1c3a5ef9216cc43d14bea2bc9b42f4b1ee30cd78bf2e6993672b4c0c52909216
ocamlformat version: none


To reproduce locally:


git clone --recursive "https://github.com/mirage/mirage-crypto.git" -b "riscv64" && cd "mirage-crypto" && git reset --hard e7e7ef0d
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:alpine-3.22-ocaml-4.14@sha256:1c3a5ef9216cc43d14bea2bc9b42f4b1ee30cd78bf2e6993672b4c0c52909216
RUN echo "skipping format lint because ocamlformat is not configured"


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


2026-02-13 09:55.07: Using cache hint "mirage/mirage-crypto-ocaml/opam:alpine-3.22-ocaml-4.14@sha256:1c3a5ef9216cc43d14bea2bc9b42f4b1ee30cd78bf2e6993672b4c0c52909216-alpine-3.22-4.14_opam-2.5-ocamlformat-302e116c4009da2f5a31c350a57c8b3c9b27289e"
2026-02-13 09:55.07: Using OBuilder spec:
((from ocaml/opam:alpine-3.22-ocaml-4.14@sha256:1c3a5ef9216cc43d14bea2bc9b42f4b1ee30cd78bf2e6993672b4c0c52909216)
(run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
)


2026-02-13 09:55.07: Waiting for resource in pool OCluster
2026-02-13 09:55.08: Waiting for worker…
2026-02-13 09:56.14: Got resource from pool OCluster
Building on clete
All commits already cached
HEAD is now at e7e7ef0 Try riscv && arch_sixtyfour over riscv64


(from ocaml/opam:alpine-3.22-ocaml-4.14@sha256:1c3a5ef9216cc43d14bea2bc9b42f4b1ee30cd78bf2e6993672b4c0c52909216)
2026-02-13 09:56.15 ---> using "d1cef22083ba59d6db4e2f107091c68dd70ebdcc64c3894ad7db7be62ad17f4a" from cache


/: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
skipping format lint because ocamlformat is not configured
2026-02-13 09:56.15 ---> using "4f989350a029227966d90ce0ea5cea8f7852265c38d41bac1e0219693b40991b" from cache
Job succeeded
2026-02-13 09:56.15: Job succeeded