Getting StartedDocumentation
Organisationsmiragemirage-net-xen82f4ba (main)(lint-fmt)

(lint-fmt)

Link Copied
Code Copied

Logs

Show raw logs
2025-06-19 03:13.30: New job: test mirage/mirage-net-xen https://github.com/mirage/mirage-net-xen.git#refs/heads/main (82f4ba16759d48eecf6bdab75f8dca802586554e) (linux-x86_64:(lint-fmt))
Base: ocaml/opam:debian-12-ocaml-4.08@sha256:cc4b148b1fa1916574df02fcec0956fedbec6798bedacd9bfd4417c1c098ce8e
ocamlformat version: none


To reproduce locally:


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


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


2025-06-19 03:13.30: Using cache hint "mirage/mirage-net-xen-ocaml/opam:debian-12-ocaml-4.08@sha256:cc4b148b1fa1916574df02fcec0956fedbec6798bedacd9bfd4417c1c098ce8e-debian-12-4.08_opam-2.3-ocamlformat-d2b8b1c720bae34249eed3235bf3d4d5340cfdee"
2025-06-19 03:13.30: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-4.08@sha256:cc4b148b1fa1916574df02fcec0956fedbec6798bedacd9bfd4417c1c098ce8e)
(run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
)


2025-06-19 03:13.30: Waiting for resource in pool OCluster
2025-06-19 03:20.35: Waiting for worker…
2025-06-19 03:28.57: Got resource from pool OCluster
Building on bremusa.ocamllabs.io
All commits already cached
HEAD is now at 82f4ba1 Merge pull request #113 from hannesm/add-maint


(from ocaml/opam:debian-12-ocaml-4.08@sha256:cc4b148b1fa1916574df02fcec0956fedbec6798bedacd9bfd4417c1c098ce8e)
2025-06-19 03:28.58 ---> using "4ea5038d254cfd14663698deb665a2dc4ce1e1383d544c063adebb02ed15ce16" from cache


/: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
skipping format lint because ocamlformat is not configured
2025-06-19 03:28.59 ---> saved as "1a2d687d519f72c7c786118eef1fa71daab5ad7f8c357b2ad7574c30af21337c"
Job succeeded
2025-06-19 03:28.59: Job succeeded