2025-10-16 07:30.29: New job: Build using linux-x86_64 in [https://github.com/mirage/mirage-skeleton.git#refs/heads/main (7adc1db613c51e06fa540886918eee456923caa4)] OBuilder spec: ((from ocaml/opam:debian-13-ocaml-5.3) (user (uid 1000) (gid 1000)) (workdir /home/opam) (run (shell "sudo chown opam:opam /home/opam")) (run (shell "sudo ln -f /usr/bin/opam-2.4 /usr/bin/opam && opam update")) (run (network host) (shell "opam repo add opam https://github.com/ocaml/opam-repository.git#12d0447fd13754c2d6cce56abb2ff54637046559")) (run (cache (download-cache (target /home/opam/.opam/download-cache))) (network host) (shell "sudo apt-get update && opam install -y \"mirage>=4\"")) (copy (src .) (dst /src/)) (env MODE hvt) (workdir /src/) (run (shell "opam exec -- make configure")) (env MIRAGE_EXTRA_REPOS opam-overlays:https://github.com/dune-universe/opam-overlays.git#8e8ebb1ea995a5631ae5f6fe866170d872d58dd7,mirage-opam-overlays:https://github.com/dune-universe/mirage-opam-overlays.git#eddcd1bc7e035392596b603d23dde67a88e6f6bc) (run (network host) (shell "opam exec -- make lock")) (run (cache (download-cache (target /home/opam/.opam/download-cache))) (network host) (shell "sudo apt-get update && opam exec -- make depends")) (run (shell "opam monorepo list -l mirage.opam.locked")) (run (cache (download-cache (target /home/opam/.opam/download-cache))) (network host) (shell "opam exec -- make pull")) (env DUNE_CACHE enabled) (env DUNE_CACHE_TRANSPORT direct) (run (cache (dune-build-cache (target /home/opam/.cache/dune))) (network host) (shell "opam exec -- make build")) ) 2025-10-16 07:30.29: Using cache hint "mirage-ci-skeleton-debian-13-ocaml-5.3" 2025-10-16 07:30.29: Connecting to build cluster… 2025-10-16 07:30.29: Waiting for resource in pool OCluster 2025-10-16 07:30.29: Waiting for worker… 2025-10-16 07:30.29: Got resource from pool OCluster Building on odawa.caelum.ci.dev All commits already cached HEAD is now at 7adc1db Merge pull request #414 from mirage/reformat (from ocaml/opam:debian-13-ocaml-5.3)