Organisationsmiragemirage-cryptocc388c (main)(lint-fmt)

(lint-fmt)

Logs

Show full logs
2024-09-13 09:24.55: New job: test mirage/mirage-crypto https://github.com/mirage/mirage-crypto.git#refs/heads/main (cc388cdb0ac068cde73d660d8600c3223feadf96) (linux-x86_64:(lint-fmt))
Base: ocaml/opam:debian-12-ocaml-4.13@sha256:a3da3c524a9eaefadecdecc2161e1a6423dc5278ed342a5af049393270919fa8
ocamlformat version: none

To reproduce locally:

git clone --recursive "https://github.com/mirage/mirage-crypto.git" -b "main" && cd "mirage-crypto" && git reset --hard cc388cdb
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-4.13@sha256:a3da3c524a9eaefadecdecc2161e1a6423dc5278ed342a5af049393270919fa8
RUN echo "skipping format lint because ocamlformat is not configured"

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

2024-09-13 09:24.55: Using cache hint "mirage/mirage-crypto-ocaml/opam:debian-12-ocaml-4.13@sha256:a3da3c524a9eaefadecdecc2161e1a6423dc5278ed342a5af049393270919fa8-debian-12-4.13_opam-2.2-ocamlformat-c0a7b4f3578d1b9d94fef0b9883dc54230fb36a2"
2024-09-13 09:24.55: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-4.13@sha256:a3da3c524a9eaefadecdecc2161e1a6423dc5278ed342a5af049393270919fa8)
 (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
)

2024-09-13 09:24.55: Waiting for resource in pool OCluster
2024-09-13 13:11.29: Waiting for worker…
2024-09-13 13:11.29: Got resource from pool OCluster
Building on x86-bm-c17.sw.ocaml.org
All commits already cached
HEAD is now at cc388cd changes for 1.1.0

(from ocaml/opam:debian-12-ocaml-4.13@sha256:a3da3c524a9eaefadecdecc2161e1a6423dc5278ed342a5af049393270919fa8)
2024-09-13 13:12.07 ---> saved as "3f780e6a721096052e39abdde102bc9ff199077eebd22a6187825d0e718fab89"

/: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
skipping format lint because ocamlformat is not configured
2024-09-13 13:12.07 ---> saved as "4f91a04971f1ddb8141c2a6c0f31a586cefb1ab35e20599dc55214e26f61adcc"
Job succeeded
2024-09-13 13:12.07: Job succeeded