❌ @a6bd5b1

❌ x86_64-debian-10-4.13

Job tree

❌ skeleton@unix (10s)
❌ skeleton@hvt (22s)
❌ skeleton@xen (3s)
Job log

2024-05-18 11:36.01: New job: Build using linux-x86_64 in
                                [https://github.com/mirage/mirage-skeleton.git#refs/pull/394/head (043caaeb84b1d33bccd6afbd2b26d7654b071315)]

OBuilder spec:

[34m((from ocaml/opam:debian-10-ocaml-4.13)
 (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.1 /usr/bin/opam && opam update"))
 (run (network host)
      (shell "opam repo add opam https://github.com/ocaml/opam-repository.git#ec28f29e7d5229f0ae579130c2c129f9b952efb3"))
 (run (network host)
      (shell "opam repo add mirage-dev https://github.com/mirage/mirage-dev.git#749c02302f8f15e609332edbe827541558554a80"))
 (run (network host)
      (shell "opam pin -ny https://github.com/mirage/mirage.git#a6bd5b10075c1d7d6a5a0d87a54b8bf6097d4c1d"))
 (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 unix)
 (workdir /src/)
 (run (shell "opam exec -- make configure"))
 (env MIRAGE_EXTRA_REPOS opam-overlays:https://github.com/dune-universe/opam-overlays.git#4e75ee36715b27550d5bdb87686bb4ae4c9e89c4,mirage-opam-overlays:https://github.com/dune-universe/mirage-opam-overlays.git#797cb363df3ff763c43c8fbec5cd44de2878757e)
 (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"))
)[0m

2024-05-18 11:36.01: Using cache hint "mirage-ci-skeleton-debian-10-ocaml-4.13"
2024-05-18 11:36.01: Waiting for resource in pool OCluster
2024-05-18 11:36.01: Waiting for worker…
2024-05-18 11:36.01: Got resource from pool OCluster
Building on x86-bm-c19.sw.ocaml.org
HEAD is now at 493360d Merge pull request #395 from hannesm/add-bounds
HEAD is now at 043caae changes

[01;34m(from ocaml/opam:debian-10-ocaml-4.13)[0m
2024-05-18 11:36.11: Job failed: Disconnected: Connection closed