Organisationsmiragemirage-tcpip82bad3 ()(lint-fmt)

(lint-fmt)

Link Copied
Code Copied

Logs

2024-08-02 16:42.18: New job: test mirage/mirage-tcpip https://github.com/mirage/mirage-tcpip.git#refs/heads/main (82bad3aed8d25db31e3592adaa6d5b530ef344eb) (linux-x86_64:(lint-fmt))
Base: ocaml/opam:debian-12-ocaml-4.08@sha256:c28916655d4002c809b289b1e3cdf6f3fb3ced5fc0f1f4196affaa61d04c4161
ocamlformat version: none


To reproduce locally:


git clone --recursive "https://github.com/mirage/mirage-tcpip.git" -b "main" && cd "mirage-tcpip" && git reset --hard 82bad3ae
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-4.08@sha256:c28916655d4002c809b289b1e3cdf6f3fb3ced5fc0f1f4196affaa61d04c4161
RUN echo "skipping format lint because ocamlformat is not configured"


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


2024-08-02 16:42.18: Using cache hint "mirage/mirage-tcpip-ocaml/opam:debian-12-ocaml-4.08@sha256:c28916655d4002c809b289b1e3cdf6f3fb3ced5fc0f1f4196affaa61d04c4161-debian-12-4.08_opam-2.2-ocamlformat-44a281fd66344f50c411e5c5300745612282e651"
2024-08-02 16:42.18: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-4.08@sha256:c28916655d4002c809b289b1e3cdf6f3fb3ced5fc0f1f4196affaa61d04c4161)
 (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
)


2024-08-02 16:42.18: Waiting for resource in pool OCluster
2024-08-02 20:32.04: Waiting for worker…
2024-08-02 20:33.59: Got resource from pool OCluster
Building on x86-bm-c14.sw.ocaml.org
All commits already cached
HEAD is now at 82bad3ae Merge pull request #519 from smorimoto/update-actions


(from ocaml/opam:debian-12-ocaml-4.08@sha256:c28916655d4002c809b289b1e3cdf6f3fb3ced5fc0f1f4196affaa61d04c4161)
2024-08-02 20:33.59 ---> using "e56ce535acbd951fcfbcd65573c01678077ca4943aa96594530958d93f117a2a" from cache


/: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
skipping format lint because ocamlformat is not configured
2024-08-02 20:33.59 ---> using "d06b23a2c87f2fdb9177f25eb1f9a56f94b6eee9218224ee9c2981e563766261" from cache
Job succeeded
2024-08-02 20:33.59: Job succeeded