Organisationsbacktrackingbitv101f79 ()(lint-fmt)

(lint-fmt)

Logs

Show full logs
2025-05-22 19:57.35: New job: test backtracking/bitv https://github.com/backtracking/bitv.git#refs/pull/34/head (101f79647108ba83a0a1d6b1717b3e51d6e1946e) (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/backtracking/bitv.git" && cd "bitv" && git fetch origin "refs/pull/34/head" && git reset --hard 101f7964
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-22 19:57.35: Using cache hint "backtracking/bitv-ocaml/opam:debian-12-ocaml-4.08@sha256:48fa4a7216c3973bb95572cf5dca98cbbcefe90f288f552e7ac70a8ccd438aa7-debian-12-4.08_opam-2.3-ocamlformat-2df846cb67d6f96ae4fced111519ff4ae27d19ae"
2025-05-22 19:57.35: 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-22 19:57.35: Waiting for resource in pool OCluster
2025-05-22 20:10.25: Waiting for worker…
2025-05-22 20:12.07: Got resource from pool OCluster
Building on doris.caelum.ci.dev
All commits already cached
HEAD is now at 101f796 Fix max_length overflow on 32 bits integer platform.

(from ocaml/opam:debian-12-ocaml-4.08@sha256:48fa4a7216c3973bb95572cf5dca98cbbcefe90f288f552e7ac70a8ccd438aa7)
2025-05-22 20:12.08 ---> 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-22 20:12.08 ---> using "078931fc90f0e90ac991b9ffa46abc36068ded80b667fd781d7bed9078f60e6b" from cache
Job succeeded
2025-05-22 20:12.08: Job succeeded