Organisationsocaml-communitylambda-termb92d2a ()(lint-fmt)

(lint-fmt)

Link Copied
Code Copied

Logs

2026-05-15 14:40.55: New job: test ocaml-community/lambda-term https://github.com/ocaml-community/lambda-term.git#refs/pull/125/head (b92d2ae451a9c6cae3a29f294d52684b4aa56941) (linux-x86_64:(lint-fmt))
Base: ocaml/opam:debian-13-ocaml-4.11@sha256:6c34153b2b07fc0f884e792a60178e250c2d06a45050e01ed0883a67ec11440c
ocamlformat version: none


To reproduce locally:


git clone --recursive "https://github.com/ocaml-community/lambda-term.git" && cd "lambda-term" && git fetch origin "refs/pull/125/head" && git reset --hard b92d2ae4
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.11@sha256:6c34153b2b07fc0f884e792a60178e250c2d06a45050e01ed0883a67ec11440c
RUN echo "skipping format lint because ocamlformat is not configured"


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


2026-05-15 14:40.55: Using cache hint "ocaml-community/lambda-term-ocaml/opam:debian-13-ocaml-4.11@sha256:6c34153b2b07fc0f884e792a60178e250c2d06a45050e01ed0883a67ec11440c-debian-13-4.11_opam-2.5-ocamlformat-28d044eb9ccd9b9275c54a845b30932c3d934aa0"
2026-05-15 14:40.55: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.11@sha256:6c34153b2b07fc0f884e792a60178e250c2d06a45050e01ed0883a67ec11440c)
(run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
)


2026-05-15 14:40.55: Waiting for resource in pool OCluster
2026-05-15 14:42.17: Waiting for worker…
2026-05-15 14:45.27: Got resource from pool OCluster
Building on asteria.caelum.ci.dev
All commits already cached
HEAD is now at b92d2ae fix: validate console handles on Windows to prevent segfault


(from ocaml/opam:debian-13-ocaml-4.11@sha256:6c34153b2b07fc0f884e792a60178e250c2d06a45050e01ed0883a67ec11440c)
2026-05-15 14:45.27 ---> using "36abb6db1723167d15c41f53ef05d371444812dc64e2ea7fe109d222db988473" from cache


/: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
skipping format lint because ocamlformat is not configured
2026-05-15 14:45.27 ---> using "571a3bd8b853fa1c4c5e2aaace162ba4e01cc08c659d7aa219a6218259321dde" from cache
Job succeeded
2026-05-15 14:45.28: Job succeeded