🟠 @e9dadf6

🟠 x86_64-debian-10-4.13

Job tree

Job log

See full log and operations
2022-06-20 12:13.23: New job: Build using linux-x86_64 in
                                [https://github.com/mirage/mirage-skeleton.git#refs/pull/343/head (e9dadf6f057ea1aefc324118f9fe880dbbc90485)]

OBuilder spec:

((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#7fe24f33d36aa795af96dcaa0e5ad42d0638cccb"))
 (run (network host)
      (shell "opam repo add mirage-dev https://github.com/mirage/mirage-dev.git#842c55556ffd0950d21141d6ab99e52a8d88a50f"))
 (run (network host)
      (shell "opam pin -ny https://github.com/mirage/mirage.git#74c8cc7fa1453348b65ac0604359fdb8a081954a"))
 (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#c8f6ef0fc5272f254df4a971a47de7848cc1c8a4,mirage-opam-overlays:https://github.com/dune-universe/mirage-opam-overlays.git#a59e36702822c31e662b242c6d056a31533590e6)
 (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)
 (run (cache (dune-build-cache (target /home/opam/.cache/dune)))
      (network host)
      (shell "opam exec -- make build"))

2022-06-20 12:13.23: Using cache hint "mirage-ci-skeleton-debian-10-ocaml-4.13"
2022-06-20 12:13.23: Connecting to build cluster...
2022-06-20 12:13.23: Waiting for resource in pool OCluster
2022-06-20 12:13.23: Waiting for worker...
2022-06-20 12:19.24: Cancelling: Auto-cancelling job because it is no longer needed