Organisationsocaml-ppxppx_tools7d7dd5 (master)(lint-fmt)

(lint-fmt)

Link Copied
Code Copied

Logs

2025-06-17 18:26.03: New job: test ocaml-ppx/ppx_tools https://github.com/ocaml-ppx/ppx_tools.git#refs/heads/master (7d7dd5b61e85aec2fc42acf139341621c181e50f) (linux-x86_64:(lint-fmt))
Base: ocaml/opam:debian-12-ocaml-4.08@sha256:cc4b148b1fa1916574df02fcec0956fedbec6798bedacd9bfd4417c1c098ce8e
ocamlformat version: none


To reproduce locally:


git clone --recursive "https://github.com/ocaml-ppx/ppx_tools.git" -b "master" && cd "ppx_tools" && git reset --hard 7d7dd5b6
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-4.08@sha256:cc4b148b1fa1916574df02fcec0956fedbec6798bedacd9bfd4417c1c098ce8e
RUN echo "skipping format lint because ocamlformat is not configured"


END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK


2025-06-17 18:26.03: Using cache hint "ocaml-ppx/ppx_tools-ocaml/opam:debian-12-ocaml-4.08@sha256:cc4b148b1fa1916574df02fcec0956fedbec6798bedacd9bfd4417c1c098ce8e-debian-12-4.08_opam-2.3-ocamlformat-a28eb8a148feb4fbc6466fa0791668993513dbde"
2025-06-17 18:26.03: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-4.08@sha256:cc4b148b1fa1916574df02fcec0956fedbec6798bedacd9bfd4417c1c098ce8e)
(run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
)


2025-06-17 18:26.03: Waiting for resource in pool OCluster
2025-06-17 19:10.53: Waiting for worker…
2025-06-17 19:12.45: Got resource from pool OCluster
Building on odawa.caelum.ci.dev
All commits already cached
HEAD is now at 7d7dd5b Version 6.6


(from ocaml/opam:debian-12-ocaml-4.08@sha256:cc4b148b1fa1916574df02fcec0956fedbec6798bedacd9bfd4417c1c098ce8e)
2025-06-17 19:12.46 ---> using "4ea5038d254cfd14663698deb665a2dc4ce1e1383d544c063adebb02ed15ce16" from cache


/: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
skipping format lint because ocamlformat is not configured
2025-06-17 19:12.46 ---> using "1a2d687d519f72c7c786118eef1fa71daab5ad7f8c357b2ad7574c30af21337c" from cache
Job succeeded
2025-06-17 19:12.47: Job succeeded