Organisationsocaml-communitylambda-term0bad30 ()(lint-fmt)

(lint-fmt)

Logs

Show full logs
2025-09-10 00:50.29: New job: test ocaml-community/lambda-term https://github.com/ocaml-community/lambda-term.git#refs/heads/master (0bad30b626d53b92986f19210c7301b391cf634e) (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-community/lambda-term.git" -b "master" && cd "lambda-term" && git reset --hard 0bad30b6
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:50.29: Using cache hint "ocaml-community/lambda-term-ocaml/opam:debian-12-ocaml-4.08@sha256:1f8f583356b37c1cbcde061de13bfdb1a8963b80127e721c7ca17f4e884e669d-debian-12-4.08_opam-2.4-ocamlformat-109398e2fd61803126becd398df0f1eabc9f3ca2"
2025-09-10 00:50.29: 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:50.29: Waiting for resource in pool OCluster
2025-09-10 06:31.54: Waiting for worker…
2025-09-10 06:35.38: Got resource from pool OCluster
Building on toxis.caelum.ci.dev
All commits already cached
HEAD is now at 0bad30b docs: changed broken link travis (#121)

(from ocaml/opam:debian-12-ocaml-4.08@sha256:1f8f583356b37c1cbcde061de13bfdb1a8963b80127e721c7ca17f4e884e669d)
2025-09-10 06:35.39 ---> 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 06:35.39 ---> using "bcbcc739811147d2caea13195571c77f3496d7952cac42a0141246cda804ca7a" from cache
Job succeeded
2025-09-10 06:35.39: Job succeeded