Organisationsemillonhacl-star-dunef96e3b (master)(lint-fmt)

(lint-fmt)

Logs

Show full logs
2024-09-03 19:53.15: New job: test emillon/hacl-star-dune https://github.com/emillon/hacl-star-dune.git#refs/heads/master (f96e3b91a8d94cd8602af15643e7f819a65f5d9f) (linux-x86_64:(lint-fmt))
Base: ocaml/opam:debian-12-ocaml-4.08@sha256:a60973c97afac839997bb54c4ecba4df5c7f5d791a13b7c8a2c2ffeb5bb93876
ocamlformat version: none

To reproduce locally:

git clone --recursive "https://github.com/emillon/hacl-star-dune.git" -b "master" && cd "hacl-star-dune" && git reset --hard f96e3b91
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-4.08@sha256:a60973c97afac839997bb54c4ecba4df5c7f5d791a13b7c8a2c2ffeb5bb93876
RUN echo "skipping format lint because ocamlformat is not configured"

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

2024-09-03 19:53.15: Using cache hint "emillon/hacl-star-dune-ocaml/opam:debian-12-ocaml-4.08@sha256:a60973c97afac839997bb54c4ecba4df5c7f5d791a13b7c8a2c2ffeb5bb93876-debian-12-4.08_opam-2.2-ocamlformat-ed8a57d12c0cad91b64c05f7dd96b87f8e1cd9e3"
2024-09-03 19:53.15: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-4.08@sha256:a60973c97afac839997bb54c4ecba4df5c7f5d791a13b7c8a2c2ffeb5bb93876)
 (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
)

2024-09-03 19:53.15: Waiting for resource in pool OCluster
2024-09-05 05:26.48: Waiting for worker…
2024-09-05 05:30.11: Got resource from pool OCluster
Building on x86-bm-c17.sw.ocaml.org
All commits already cached
HEAD is now at f96e3b9 Assume Vec256 feature

(from ocaml/opam:debian-12-ocaml-4.08@sha256:a60973c97afac839997bb54c4ecba4df5c7f5d791a13b7c8a2c2ffeb5bb93876)
2024-09-05 05:30.40 ---> saved as "795ea015d299f5fe2e67a6928f72c9fae6e91f93f53f3942c8f19a23ae6518ba"

/: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
skipping format lint because ocamlformat is not configured
2024-09-05 05:30.40 ---> saved as "abec1b12765fcc80a66fc077e30694d974d0047b691bd5fefb3c7a917e73154e"
Job succeeded
2024-09-05 05:30.40: Job succeeded