2024-08-21 14:43.48: New job: test mirage/mirage-tcpip https://github.com/mirage/mirage-tcpip.git#refs/heads/main (f03cd0d4388f14f67b8574cb3f025c3241e406c9) (linux-x86_64:(lint-fmt)) Base: ocaml/opam:debian-12-ocaml-4.08@sha256:c28916655d4002c809b289b1e3cdf6f3fb3ced5fc0f1f4196affaa61d04c4161 ocamlformat version: none To reproduce locally: git clone --recursive "https://github.com/mirage/mirage-tcpip.git" -b "main" && cd "mirage-tcpip" && git reset --hard f03cd0d4 cat > Dockerfile <<'END-OF-DOCKERFILE' FROM ocaml/opam:debian-12-ocaml-4.08@sha256:c28916655d4002c809b289b1e3cdf6f3fb3ced5fc0f1f4196affaa61d04c4161 RUN echo "skipping format lint because ocamlformat is not configured" END-OF-DOCKERFILE docker build . END-REPRO-BLOCK 2024-08-21 14:43.48: Using cache hint "mirage/mirage-tcpip-ocaml/opam:debian-12-ocaml-4.08@sha256:c28916655d4002c809b289b1e3cdf6f3fb3ced5fc0f1f4196affaa61d04c4161-debian-12-4.08_opam-2.2-ocamlformat-d7e8a9dd3d0865a60337483baffe30a60c7e7c3a" 2024-08-21 14:43.48: Using OBuilder spec: ((from ocaml/opam:debian-12-ocaml-4.08@sha256:c28916655d4002c809b289b1e3cdf6f3fb3ced5fc0f1f4196affaa61d04c4161) (run (shell " echo \"skipping format lint because ocamlformat is not configured\" ")) ) 2024-08-21 14:43.48: Waiting for resource in pool OCluster 2024-08-21 20:33.43: Waiting for worker… 2024-08-21 20:33.43: Got resource from pool OCluster Building on x86-bm-c8.sw.ocaml.org HEAD is now at 9c5849ea use mirage-crypto 1.0 and randomconv 0.2, drop mirage-random dependency HEAD is now at f03cd0d4 update unikernel to recent mirage (#522) (from ocaml/opam:debian-12-ocaml-4.08@sha256:c28916655d4002c809b289b1e3cdf6f3fb3ced5fc0f1f4196affaa61d04c4161) 2024-08-21 20:33.43 ---> using "e56ce535acbd951fcfbcd65573c01678077ca4943aa96594530958d93f117a2a" from cache /: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" ")) skipping format lint because ocamlformat is not configured 2024-08-21 20:33.43 ---> saved as "d06b23a2c87f2fdb9177f25eb1f9a56f94b6eee9218224ee9c2981e563766261" Job succeeded 2024-08-21 20:33.44: Job succeeded