2025-09-10 00:46.35: New job: test ocaml-ppx/ppx_deriving https://github.com/ocaml-ppx/ppx_deriving.git#refs/pull/295/head (5d601fbe29b71aab436c20e8c41f212f9296ea56) (linux-x86_64:(lint-fmt))
Base: ocaml/opam:debian-12-ocaml-4.08@sha256:1f8f583356b37c1cbcde061de13bfdb1a8963b80127e721c7ca17f4e884e669d
ocamlformat version: none
To reproduce locally:
git clone --recursive "https://github.com/ocaml-ppx/ppx_deriving.git" && cd "ppx_deriving" && git fetch origin "refs/pull/295/head" && git reset --hard 5d601fbe
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-4.08@sha256:1f8f583356b37c1cbcde061de13bfdb1a8963b80127e721c7ca17f4e884e669d
RUN echo "skipping format lint because ocamlformat is not configured"
END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK
2025-09-10 00:46.35: Using cache hint "ocaml-ppx/ppx_deriving-ocaml/opam:debian-12-ocaml-4.08@sha256:1f8f583356b37c1cbcde061de13bfdb1a8963b80127e721c7ca17f4e884e669d-debian-12-4.08_opam-2.4-ocamlformat-109398e2fd61803126becd398df0f1eabc9f3ca2"
2025-09-10 00:46.35: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-4.08@sha256:1f8f583356b37c1cbcde061de13bfdb1a8963b80127e721c7ca17f4e884e669d)
(run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
)
2025-09-10 00:46.35: Waiting for resource in pool OCluster
2025-09-10 03:59.16: Waiting for worker…
2025-09-10 04:04.11: Got resource from pool OCluster
Building on odawa.caelum.ci.dev
All commits already cached
HEAD is now at 5d601fb Adds introductory example
(from ocaml/opam:debian-12-ocaml-4.08@sha256:1f8f583356b37c1cbcde061de13bfdb1a8963b80127e721c7ca17f4e884e669d)
2025-09-10 04:04.11 ---> using "b69d5f1106f8a1cfb35e904f37f2ccc38216aa61a22ee32dd7c324a91608cf44" from cache
/: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
skipping format lint because ocamlformat is not configured
2025-09-10 04:04.11 ---> using "bcbcc739811147d2caea13195571c77f3496d7952cac42a0141246cda804ca7a" from cache
Job succeeded
2025-09-10 04:04.11: Job succeeded