2024-10-24 12:24.12: New job: test ocaml-multicore/eio https://github.com/ocaml-multicore/eio.git#refs/pull/772/head (0733123f01fbdf2351862c101cb472ad25ddcd0a) (linux-x86_64:(lint-fmt)) Base: ocaml/opam:debian-12-ocaml-5.1@sha256:8f56ed204049da44e6929f71bd0a97fea51803eb0925bf30aab63f51752a06bd ocamlformat version: none To reproduce locally: git clone --recursive "https://github.com/ocaml-multicore/eio.git" && cd "eio" && git fetch origin "refs/pull/772/head" && git reset --hard 0733123f cat > Dockerfile <<'END-OF-DOCKERFILE' FROM ocaml/opam:debian-12-ocaml-5.1@sha256:8f56ed204049da44e6929f71bd0a97fea51803eb0925bf30aab63f51752a06bd RUN echo "skipping format lint because ocamlformat is not configured" END-OF-DOCKERFILE docker build . END-REPRO-BLOCK 2024-10-24 12:24.12: Using cache hint "ocaml-multicore/eio-ocaml/opam:debian-12-ocaml-5.1@sha256:8f56ed204049da44e6929f71bd0a97fea51803eb0925bf30aab63f51752a06bd-debian-12-5.1_opam-2.2-ocamlformat-b876d7d37014df697368765c088aa86d24dc8b6b" 2024-10-24 12:24.12: Using OBuilder spec: ((from ocaml/opam:debian-12-ocaml-5.1@sha256:8f56ed204049da44e6929f71bd0a97fea51803eb0925bf30aab63f51752a06bd) (run (shell " echo \"skipping format lint because ocamlformat is not configured\" ")) ) 2024-10-24 12:24.12: Waiting for resource in pool OCluster 2024-10-24 12:24.12: Waiting for worker… 2024-10-24 12:26.30: Got resource from pool OCluster Building on x86-bm-c16.sw.ocaml.org HEAD is now at 8387e50 removed the whitespace at line 100 HEAD is now at 0733123 Update eio_linux.ml (from ocaml/opam:debian-12-ocaml-5.1@sha256:8f56ed204049da44e6929f71bd0a97fea51803eb0925bf30aab63f51752a06bd) 2024-10-24 12:26.31 ---> using "6ee1fe27fa6366d6c0b58a456592efca1ae7ebcb8c8dad869bb23ac981216fb0" from cache /: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" ")) skipping format lint because ocamlformat is not configured 2024-10-24 12:26.31 ---> using "9046080f4f653de11503609792b0731ade5c466be66c8bdb76c4f5618661072e" from cache Job succeeded 2024-10-24 12:26.31: Job succeeded