Organisationsmiragemirage-cryptoec40f4 ()(lint-fmt)

(lint-fmt)

Link Copied
Code Copied

Logs

2026-02-13 09:57.00: New job: test mirage/mirage-crypto https://github.com/mirage/mirage-crypto.git#refs/heads/riscv64 (ec40f43be075dfb19bad9a336f81611daff0a5f8) (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 ec40f43b
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:57.00: 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:57.00: 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:57.00: Waiting for resource in pool OCluster
2026-02-13 09:57.00: Waiting for worker…
2026-02-13 09:57.32: Got resource from pool OCluster
Building on clete
All commits already cached
HEAD is now at ec40f43 Try riscv && arch_sixtyfour over riscv64


(from ocaml/opam:alpine-3.22-ocaml-4.14@sha256:1c3a5ef9216cc43d14bea2bc9b42f4b1ee30cd78bf2e6993672b4c0c52909216)
2026-02-13 09:57.33 ---> 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:57.33 ---> using "4f989350a029227966d90ce0ea5cea8f7852265c38d41bac1e0219693b40991b" from cache
Job succeeded
2026-02-13 09:57.33: Job succeeded