Organisationsmiragemirage-crypto45095b ()(lint-fmt)

(lint-fmt)

Logs

Show full logs
2024-12-10 10:31.26: New job: test mirage/mirage-crypto https://github.com/mirage/mirage-crypto.git#refs/heads/main (45095b8946ad283cb93885813572870d44395146) (linux-x86_64:(lint-fmt))
Base: ocaml/opam:debian-12-ocaml-4.13@sha256:65b08479081d48a446749873c9846940663010e6194fc56a7fb5d675e83813c8
ocamlformat version: none

To reproduce locally:

git clone --recursive "https://github.com/mirage/mirage-crypto.git" -b "main" && cd "mirage-crypto" && git reset --hard 45095b89
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-4.13@sha256:65b08479081d48a446749873c9846940663010e6194fc56a7fb5d675e83813c8
RUN echo "skipping format lint because ocamlformat is not configured"

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

2024-12-10 10:31.26: Using cache hint "mirage/mirage-crypto-ocaml/opam:debian-12-ocaml-4.13@sha256:65b08479081d48a446749873c9846940663010e6194fc56a7fb5d675e83813c8-debian-12-4.13_opam-2.3-ocamlformat-1b2a01620fb88e9beac02940ce59c6de74151655"
2024-12-10 10:31.26: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-4.13@sha256:65b08479081d48a446749873c9846940663010e6194fc56a7fb5d675e83813c8)
 (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
)

2024-12-10 10:31.26: Waiting for resource in pool OCluster
2024-12-10 10:39.01: Waiting for worker…
2024-12-10 10:41.28: Got resource from pool OCluster
Building on x86-bm-c10.sw.ocaml.org
All commits already cached
HEAD is now at 45095b8 Merge pull request #247 from hannesm/no-cs

(from ocaml/opam:debian-12-ocaml-4.13@sha256:65b08479081d48a446749873c9846940663010e6194fc56a7fb5d675e83813c8)
2024-12-10 10:43.15 ---> saved as "bbcd1309ce30c3cc499604e24d796acdf8975629ff8dec06012398dbdaa0fd70"

/: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
skipping format lint because ocamlformat is not configured
2024-12-10 10:43.15 ---> saved as "0f5828e778e86ef17e6a35a626cc378a36c8471def5d946973529a4e7bba69af"
Job succeeded
2024-12-10 10:43.15: Job succeeded