2025-05-18 18:27.09: New job: test mirage/ocaml-github https://github.com/mirage/ocaml-github.git#refs/pull/276/head (66c53b967945ffc34298fbdd6f0cf96ce44b3c89) (linux-x86_64:(lint-fmt))
Base: ocaml/opam:debian-12-ocaml-4.08@sha256:48fa4a7216c3973bb95572cf5dca98cbbcefe90f288f552e7ac70a8ccd438aa7
ocamlformat version: none
To reproduce locally:
git clone --recursive "https://github.com/mirage/ocaml-github.git" && cd "ocaml-github" && git fetch origin "refs/pull/276/head" && git reset --hard 66c53b96
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-4.08@sha256:48fa4a7216c3973bb95572cf5dca98cbbcefe90f288f552e7ac70a8ccd438aa7
RUN echo "skipping format lint because ocamlformat is not configured"
END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK
2025-05-18 18:27.09: Using cache hint "mirage/ocaml-github-ocaml/opam:debian-12-ocaml-4.08@sha256:48fa4a7216c3973bb95572cf5dca98cbbcefe90f288f552e7ac70a8ccd438aa7-debian-12-4.08_opam-2.3-ocamlformat-35eb2f107a989a2d623b0bbe170696398fcb9b1e"
2025-05-18 18:27.09: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-4.08@sha256:48fa4a7216c3973bb95572cf5dca98cbbcefe90f288f552e7ac70a8ccd438aa7)
(run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
)
2025-05-18 18:27.09: Waiting for resource in pool OCluster
2025-05-18 20:12.51: Waiting for worker…
2025-05-18 20:16.12: Got resource from pool OCluster
Building on laodoke.caelum.ci.dev
All commits already cached
HEAD is now at 66c53b9 Add check run and check suite events
(from ocaml/opam:debian-12-ocaml-4.08@sha256:48fa4a7216c3973bb95572cf5dca98cbbcefe90f288f552e7ac70a8ccd438aa7)
2025-05-18 20:16.12 ---> using "d1b97f3f32fc7cff4791d73e3fff398d19cc5b0541c709028ff05a921e22d2c8" from cache
/: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
skipping format lint because ocamlformat is not configured
2025-05-18 20:16.12 ---> using "078931fc90f0e90ac991b9ffa46abc36068ded80b667fd781d7bed9078f60e6b" from cache
Job succeeded
2025-05-18 20:16.12: Job succeeded