2025-05-24 13:18.27: New job: test mirage/ocaml-dns https://github.com/mirage/ocaml-dns.git#refs/heads/main (f0afeed4224506e96ca2216dba2374b4cb7ebe28) (linux-x86_64:(lint-fmt)) Base: ocaml/opam:alpine-3.21-ocaml-4.14@sha256:c46d6084a2d69602000f28df4e6676c70008fc18356b5e0da6cde79296e0b89c ocamlformat version: none To reproduce locally: git clone --recursive "https://github.com/mirage/ocaml-dns.git" -b "main" && cd "ocaml-dns" && git reset --hard f0afeed4 cat > Dockerfile <<'END-OF-DOCKERFILE' FROM ocaml/opam:alpine-3.21-ocaml-4.14@sha256:c46d6084a2d69602000f28df4e6676c70008fc18356b5e0da6cde79296e0b89c RUN echo "skipping format lint because ocamlformat is not configured" END-OF-DOCKERFILE docker build . END-REPRO-BLOCK 2025-05-24 13:18.27: Using cache hint "mirage/ocaml-dns-ocaml/opam:alpine-3.21-ocaml-4.14@sha256:c46d6084a2d69602000f28df4e6676c70008fc18356b5e0da6cde79296e0b89c-alpine-3.21-4.14_opam-2.3-ocamlformat-2df846cb67d6f96ae4fced111519ff4ae27d19ae" 2025-05-24 13:18.27: Using OBuilder spec: ((from ocaml/opam:alpine-3.21-ocaml-4.14@sha256:c46d6084a2d69602000f28df4e6676c70008fc18356b5e0da6cde79296e0b89c) (run (shell " echo \"skipping format lint because ocamlformat is not configured\" ")) ) 2025-05-24 13:18.27: Waiting for resource in pool OCluster 2025-05-24 13:18.27: Waiting for worker… 2025-05-24 13:18.27: Got resource from pool OCluster Building on doris.caelum.ci.dev HEAD is now at 13a65e0 Merge pull request #373 from mirage/extend-dns-resolver-api HEAD is now at f0afeed changes for 10.1.0 (from ocaml/opam:alpine-3.21-ocaml-4.14@sha256:c46d6084a2d69602000f28df4e6676c70008fc18356b5e0da6cde79296e0b89c) 2025-05-24 13:18.29 ---> using "b31f8ea9b0da9063a13255c6536c5f85700cfe755ad07fbc6516da39211433c3" from cache /: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" ")) skipping format lint because ocamlformat is not configured 2025-05-24 13:18.29 ---> using "2cf26c4aef51ec2c80c505ab20a2410e3b12058449e883cd39241c606a2ebd51" from cache Job succeeded 2025-05-24 13:18.29: Job succeeded