Organisationsmiragemirage-tcpipee22b7 (main)(lint-fmt)

(lint-fmt)

Link Copied
Code Copied

Logs

2025-04-17 15:33.10: New job: test mirage/mirage-tcpip https://github.com/mirage/mirage-tcpip.git#refs/heads/main (ee22b76879cda4f00cd942664fb55904a9d63378) (linux-x86_64:(lint-fmt))
Base: ocaml/opam:alpine-3.21-ocaml-4.14@sha256:700cef7086e5ab8f24a42fb371b7be0855051db65c822dc447f90adc9609dbb7
ocamlformat version: none


To reproduce locally:


git clone --recursive "https://github.com/mirage/mirage-tcpip.git" -b "main" && cd "mirage-tcpip" && git reset --hard ee22b768
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:alpine-3.21-ocaml-4.14@sha256:700cef7086e5ab8f24a42fb371b7be0855051db65c822dc447f90adc9609dbb7
RUN echo "skipping format lint because ocamlformat is not configured"


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


2025-04-17 15:33.10: Using cache hint "mirage/mirage-tcpip-ocaml/opam:alpine-3.21-ocaml-4.14@sha256:700cef7086e5ab8f24a42fb371b7be0855051db65c822dc447f90adc9609dbb7-alpine-3.21-4.14_opam-2.3-ocamlformat-442eddb8a363418dcb02e519972818da08bb7cd4"
2025-04-17 15:33.10: Using OBuilder spec:
((from ocaml/opam:alpine-3.21-ocaml-4.14@sha256:700cef7086e5ab8f24a42fb371b7be0855051db65c822dc447f90adc9609dbb7)
(run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
)


2025-04-17 15:33.10: Waiting for resource in pool OCluster
2025-04-17 18:50.58: Waiting for worker…
2025-04-17 18:52.57: Got resource from pool OCluster
Building on x86-bm-c3.sw.ocaml.org
All commits already cached
HEAD is now at ee22b768 changes for 9.0.1


(from ocaml/opam:alpine-3.21-ocaml-4.14@sha256:700cef7086e5ab8f24a42fb371b7be0855051db65c822dc447f90adc9609dbb7)
2025-04-17 18:52.58 ---> using "bd1a6ff8682763d02f6ea8340f8477bfdb4114ca8e4b584f0035829bd3e9edc4" from cache


/: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
skipping format lint because ocamlformat is not configured
2025-04-17 18:52.58 ---> saved as "7c79392ca57e6f77694fc0fe6f9377825053cd75e0e88022cd83e8e560b06366"
Job succeeded
2025-04-17 18:52.58: Job succeeded