2025-03-21 12:18.28: New job: test ocaml-ppx/ppx_deriving_yojson https://github.com/ocaml-ppx/ppx_deriving_yojson.git#refs/heads/master (0a25740298f1cbbcafca1befd684dab868ce2812) (linux-x86_64:(lint-fmt))Base: ocaml/opam:debian-12-ocaml-4.08@sha256:a7c06d659921ac2c9eb6cf997eb3a48300686cce5d1aeb393c0eb201644f0112ocamlformat version: noneTo reproduce locally:git clone --recursive "https://github.com/ocaml-ppx/ppx_deriving_yojson.git" -b "master" && cd "ppx_deriving_yojson" && git reset --hard 0a257402cat > Dockerfile <<'END-OF-DOCKERFILE'FROM ocaml/opam:debian-12-ocaml-4.08@sha256:a7c06d659921ac2c9eb6cf997eb3a48300686cce5d1aeb393c0eb201644f0112RUN echo "skipping format lint because ocamlformat is not configured"END-OF-DOCKERFILEdocker build .END-REPRO-BLOCK2025-03-21 12:18.28: Using cache hint "ocaml-ppx/ppx_deriving_yojson-ocaml/opam:debian-12-ocaml-4.08@sha256:a7c06d659921ac2c9eb6cf997eb3a48300686cce5d1aeb393c0eb201644f0112-debian-12-4.08_opam-2.3-ocamlformat-8d19977bcd20607919a25e688e963280f2746425"2025-03-21 12:18.28: Using OBuilder spec:((from ocaml/opam:debian-12-ocaml-4.08@sha256:a7c06d659921ac2c9eb6cf997eb3a48300686cce5d1aeb393c0eb201644f0112)(run (shell " echo \"skipping format lint because ocamlformat is not configured\" ")))2025-03-21 12:18.28: Waiting for resource in pool OCluster2025-03-21 12:18.28: Waiting for worker…2025-03-21 12:18.31: Got resource from pool OClusterBuilding on phoebe.caelum.ci.devAll commits already cachedHEAD is now at 0a25740 Merge pull request #160 from patricoferris/5.2-ast-bump(from ocaml/opam:debian-12-ocaml-4.08@sha256:a7c06d659921ac2c9eb6cf997eb3a48300686cce5d1aeb393c0eb201644f0112)2025-03-21 12:18.32 ---> using "212a1b8e3ddbfd9f9183e74007cf11c0bf064a0a89cec366fca17516e11ae032" from cache/: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))skipping format lint because ocamlformat is not configured2025-03-21 12:18.32 ---> saved as "90acffe970052108271df47870826bde965d9c2811f4aefc10ee8cb34999ff48"Job succeeded2025-03-21 12:18.33: Job succeeded