Organisationsrobur-coopalbatrossa8c5a9 (fixes)(lint-fmt)

(lint-fmt)

Logs

Show full logs
2024-10-04 22:23.27: New job: test robur-coop/albatross https://github.com/robur-coop/albatross.git#refs/heads/fixes (a8c5a97a3a4720279cdd0506dfb8901d30cb34dc) (linux-x86_64:(lint-fmt))
Base: ocaml/opam:debian-12-ocaml-4.13@sha256:8d31da453d3048b9f72c9eb8a37b00ff5fc1ce58b38561a3e7c8c1677d78c332
ocamlformat version: none

To reproduce locally:

git clone --recursive "https://github.com/robur-coop/albatross.git" -b "fixes" && cd "albatross" && git reset --hard a8c5a97a
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-12-ocaml-4.13@sha256:8d31da453d3048b9f72c9eb8a37b00ff5fc1ce58b38561a3e7c8c1677d78c332
RUN echo "skipping format lint because ocamlformat is not configured"

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

2024-10-04 22:23.27: Using cache hint "robur-coop/albatross-ocaml/opam:debian-12-ocaml-4.13@sha256:8d31da453d3048b9f72c9eb8a37b00ff5fc1ce58b38561a3e7c8c1677d78c332-debian-12-4.13_opam-2.2-ocamlformat-f7c5ed58d4e80e295c4022514da894342e69bfa0"
2024-10-04 22:23.27: Using OBuilder spec:
((from ocaml/opam:debian-12-ocaml-4.13@sha256:8d31da453d3048b9f72c9eb8a37b00ff5fc1ce58b38561a3e7c8c1677d78c332)
 (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
)

2024-10-04 22:23.27: Waiting for resource in pool OCluster
2024-10-04 22:23.27: Waiting for worker…
2024-10-04 22:23.27: Got resource from pool OCluster
Building on x86-bm-c11.sw.ocaml.org
All commits already cached
HEAD is now at a8c5a97 add documentation to vmm_trie

(from ocaml/opam:debian-12-ocaml-4.13@sha256:8d31da453d3048b9f72c9eb8a37b00ff5fc1ce58b38561a3e7c8c1677d78c332)
2024-10-04 22:23.28 ---> using "dcbd03964b9b7d7f1d7e60e18cf5feaf28a246dfe0bf7f8c8e8707051ded5518" from cache

/: (run (shell " echo \"skipping format lint because ocamlformat is not configured\" "))
skipping format lint because ocamlformat is not configured
2024-10-04 22:23.28 ---> using "5adf56460f15105f2fca066b5602a36a9958ad41a04eb954563fdd92407a7227" from cache
Job succeeded
2024-10-04 22:23.28: Job succeeded