(lint-fmt)

2024-11-15 15:07.08: New job: test mirage/irmin.org https://github.com/mirage/irmin.org.git#refs/pull/157/head (3652ad174fd9455fdf97f14e6f6ca8baafa22e15) (linux-x86_64:(lint-fmt))
Base: ocaml/opam:debian-12-ocaml-4.10@sha256:22fd0db236fc017a2474c46d834bdcdfc3a02a5284fb1c3e9e884492d264341d
ocamlformat version: none


To reproduce locally:


git clone --recursive "https://github.com/mirage/irmin.org.git" && cd "irmin.org" && git fetch origin "refs/pull/157/head" && git reset --hard 3652ad17
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-4.10@sha256:22fd0db236fc017a2474c46d834bdcdfc3a02a5284fb1c3e9e884492d264341d
RUN echo "skipping format lint because ocamlformat is not configured"


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


2024-11-15 15:07.08: Using cache hint "mirage/irmin.org-ocaml/opam:debian-12-ocaml-4.10@sha256:22fd0db236fc017a2474c46d834bdcdfc3a02a5284fb1c3e9e884492d264341d-debian-12-4.10_opam-2.2-ocamlformat-bf952fff418e4e73b706d8c991bda01670225833"
2024-11-15 15:07.08: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-4.10@sha256:22fd0db236fc017a2474c46d834bdcdfc3a02a5284fb1c3e9e884492d264341d)
(run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
)


2024-11-15 15:07.08: Waiting for resource in pool OCluster
2024-11-15 15:54.20: Waiting for worker…
2024-11-15 15:55.46: Got resource from pool OCluster
Building on x86-bm-c11.sw.ocaml.org
All commits already cached
HEAD is now at 3652ad1 Editing 08_resources.md


(from ocaml/opam:debian-12-ocaml-4.10@sha256:22fd0db236fc017a2474c46d834bdcdfc3a02a5284fb1c3e9e884492d264341d)
2024-11-15 15:55.46 ---> using "ce2fb81c8d7741b66be5267484c33d862096a059f4f0d026a4fa2e1a51b1217f" from cache


/: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
skipping format lint because ocamlformat is not configured
2024-11-15 15:55.46 ---> using "9a6c78c1c5a4ee0b4513a92e1df640448b6c966772c6c7e094aa3e91c3aee5ef" from cache
Job succeeded
2024-11-15 15:55.46: Job succeeded