Organisationsmirageocaml-dns35725f ()(lint-fmt)

(lint-fmt)

Logs

Show full logs
2024-08-22 16:06.56: New job: test mirage/ocaml-dns https://github.com/mirage/ocaml-dns.git#refs/pull/351/head (35725f95c958f809fa965bec6250ecb86beaffa5) (linux-x86_64:(lint-fmt))
Base: ocaml/opam:debian-12-ocaml-4.13@sha256:cc4b34470afbe56a84d6456f33ef6ee4c63195f9c9df098216dc638cd72e20eb
ocamlformat version: none

To reproduce locally:

git clone --recursive "https://github.com/mirage/ocaml-dns.git" && cd "ocaml-dns" && git fetch origin "refs/pull/351/head" && git reset --hard 35725f95
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-4.13@sha256:cc4b34470afbe56a84d6456f33ef6ee4c63195f9c9df098216dc638cd72e20eb
RUN echo "skipping format lint because ocamlformat is not configured"

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

2024-08-22 16:06.56: Using cache hint "mirage/ocaml-dns-ocaml/opam:debian-12-ocaml-4.13@sha256:cc4b34470afbe56a84d6456f33ef6ee4c63195f9c9df098216dc638cd72e20eb-debian-12-4.13_opam-2.2-ocamlformat-705cfbfe709bba2533a3cd6164b7dab37fca0342"
2024-08-22 16:06.56: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-4.13@sha256:cc4b34470afbe56a84d6456f33ef6ee4c63195f9c9df098216dc638cd72e20eb)
 (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
)

2024-08-22 16:06.56: Waiting for resource in pool OCluster
2024-08-22 16:06.56: Waiting for worker…
2024-08-22 16:06.56: Got resource from pool OCluster
Building on x86-bm-c19.sw.ocaml.org
HEAD is now at 2e8b83e re-add tcp pin-depend
HEAD is now at 35725f9 Delete the pin-depends about tcpip.8.2.0

(from ocaml/opam:debian-12-ocaml-4.13@sha256:cc4b34470afbe56a84d6456f33ef6ee4c63195f9c9df098216dc638cd72e20eb)
2024-08-22 16:07.27 ---> saved as "566b1858c6a271754dcdba46b59b76a212827f3366fa0612653a622ede6cd4cb"

/: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
skipping format lint because ocamlformat is not configured
2024-08-22 16:07.27 ---> saved as "8ed2d8a67ccc100b0e76e53ea2863c08d19192cc5a7539262571e65aea7ec406"
Job succeeded
2024-08-22 16:07.27: Job succeeded