2025-04-14 07:59.03: New job: test mirleft/ocaml-tls https://github.com/mirleft/ocaml-tls.git#refs/heads/main (ee021d694dae87e6f70b5549cc0e842c00bd8f74) (linux-x86_64:(lint-fmt))
Base: ocaml/opam:debian-11-ocaml-4.14@sha256:2ff02c3403f95154b1f460e045f879dbcbd9ac798e5cb3f66eae2c4646f0a143
ocamlformat version: none
To reproduce locally:
git clone --recursive "https://github.com/mirleft/ocaml-tls.git" -b "main" && cd "ocaml-tls" && git reset --hard ee021d69
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-11-ocaml-4.14@sha256:2ff02c3403f95154b1f460e045f879dbcbd9ac798e5cb3f66eae2c4646f0a143
RUN echo "skipping format lint because ocamlformat is not configured"
END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK
2025-04-14 07:59.03: Using cache hint "mirleft/ocaml-tls-ocaml/opam:debian-11-ocaml-4.14@sha256:2ff02c3403f95154b1f460e045f879dbcbd9ac798e5cb3f66eae2c4646f0a143-debian-11-4.14_opam-2.3-ocamlformat-34a3fc46c301a891122df75c17fef6b5358bd68f"
2025-04-14 07:59.03: Using OBuilder spec:
((from ocaml/opam:debian-11-ocaml-4.14@sha256:2ff02c3403f95154b1f460e045f879dbcbd9ac798e5cb3f66eae2c4646f0a143)
(run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
)
2025-04-14 07:59.03: Waiting for resource in pool OCluster
2025-04-14 07:59.03: Waiting for worker…
2025-04-14 07:59.03: Got resource from pool OCluster
Building on x86-bm-c1.sw.ocaml.org
HEAD is now at 8ff2cb3 address review comments by @reynir
HEAD is now at ee021d6 allocate less: the case where huge data is sent via send_application_data (#515)
(from ocaml/opam:debian-11-ocaml-4.14@sha256:2ff02c3403f95154b1f460e045f879dbcbd9ac798e5cb3f66eae2c4646f0a143)
2025-04-14 07:59.04 ---> using "08ab79dfdee1b44c019b845705ad607a3d79b4e72c030368b0ca87a52933bb68" from cache
/: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
skipping format lint because ocamlformat is not configured
2025-04-14 07:59.04 ---> using "b759aa08354444c2e66909020e8329aef147daf139340d3d7990b33f325e3085" from cache
Job succeeded
2025-04-14 07:59.04: Job succeeded