2025-11-16 20:11.33: New job: test mirage/mirage-tcpip https://github.com/mirage/mirage-tcpip.git#refs/heads/main (bbc5b0190b42ae2cbd712596d03ad759fc4072ac) (linux-x86_64:(lint-fmt)) Base: ocaml/opam:alpine-3.22-ocaml-4.14@sha256:035343faa2345fbb738069f2d899570ced75942aab3c76ec7fd2353ed127049a ocamlformat version: none To reproduce locally: git clone --recursive "https://github.com/mirage/mirage-tcpip.git" -b "main" && cd "mirage-tcpip" && git reset --hard bbc5b019 cat > Dockerfile <<'END-OF-DOCKERFILE' FROM ocaml/opam:alpine-3.22-ocaml-4.14@sha256:035343faa2345fbb738069f2d899570ced75942aab3c76ec7fd2353ed127049a RUN echo "skipping format lint because ocamlformat is not configured" END-OF-DOCKERFILE docker build . END-REPRO-BLOCK 2025-11-16 20:11.33: Using cache hint "mirage/mirage-tcpip-ocaml/opam:alpine-3.22-ocaml-4.14@sha256:035343faa2345fbb738069f2d899570ced75942aab3c76ec7fd2353ed127049a-alpine-3.22-4.14_opam-2.4-ocamlformat-1ec0eeb78dfedb9d754ae7abb8baed71c715f786" 2025-11-16 20:11.33: Using OBuilder spec: ((from ocaml/opam:alpine-3.22-ocaml-4.14@sha256:035343faa2345fbb738069f2d899570ced75942aab3c76ec7fd2353ed127049a) (run (shell " echo \"skipping format lint because ocamlformat is not configured\" ")) ) 2025-11-16 20:11.33: Waiting for resource in pool OCluster 2025-11-17 00:04.36: Waiting for worker… 2025-11-17 00:06.05: Got resource from pool OCluster Building on toxis.caelum.ci.dev All commits already cached HEAD is now at bbc5b019 Merge pull request #529 from patricoferris/restore-packet-functions (from ocaml/opam:alpine-3.22-ocaml-4.14@sha256:035343faa2345fbb738069f2d899570ced75942aab3c76ec7fd2353ed127049a) 2025-11-17 00:06.05 ---> using "531dd882a2fae5a34a8bfa5ee93af1613955008dcdcd99be6da6c29a1733a42a" from cache /: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" ")) skipping format lint because ocamlformat is not configured 2025-11-17 00:06.06 ---> saved as "06ada8b86dc478d63fd685a653742636f06c862de7f4e670a4b45886262e2191" Job succeeded 2025-11-17 00:06.06: Job succeeded