Organisationsmirageocaml-dns50884d (main)(lint-fmt)

(lint-fmt)

Logs

Show full logs
2024-11-14 17:01.04: New job: test mirage/ocaml-dns https://github.com/mirage/ocaml-dns.git#refs/heads/main (50884df9d71a7a931826b0f89f94dec95dfe8022) (linux-x86_64:(lint-fmt))
Base: ocaml/opam:debian-12-ocaml-4.13@sha256:7952522237453ab019b621056e279bd6d12a1c7b46b9f4de35e342fd0793cecc
ocamlformat version: none

To reproduce locally:

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

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

2024-11-14 17:01.04: Using cache hint "mirage/ocaml-dns-ocaml/opam:debian-12-ocaml-4.13@sha256:7952522237453ab019b621056e279bd6d12a1c7b46b9f4de35e342fd0793cecc-debian-12-4.13_opam-2.2-ocamlformat-01aa7e5fa3a719d7eaef358f0afbee2f53638458"
2024-11-14 17:01.04: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-4.13@sha256:7952522237453ab019b621056e279bd6d12a1c7b46b9f4de35e342fd0793cecc)
 (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
)

2024-11-14 17:01.04: Waiting for resource in pool OCluster
2024-11-14 20:09.35: Waiting for worker…
2024-11-14 20:09.39: Got resource from pool OCluster
Building on doris.caelum.ci.dev
All commits already cached
HEAD is now at 50884df Merge pull request #357 from hannesm/certify-api

(from ocaml/opam:debian-12-ocaml-4.13@sha256:7952522237453ab019b621056e279bd6d12a1c7b46b9f4de35e342fd0793cecc)
2024-11-14 20:09.39 ---> using "4671d91d620de463500ac0d3192fd582c43ef2c52fd6f83e69c987c8940ba12a" from cache

/: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
skipping format lint because ocamlformat is not configured
2024-11-14 20:09.39 ---> using "cb380262abbb2e21ec81152063250276133f8d7a9e1172ce81c895365bf55c08" from cache
Job succeeded
2024-11-14 20:09.39: Job succeeded