Job log
See full log and operations2024-06-13 11:57.50: New job: Build using linux-x86_64 in
[https://github.com/mirage/mirage-skeleton.git#refs/pull/398/head (96461c3d5d102c0bac6c0a5e2c4d8ee7c1f4b541)]
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#25b506f8e1cac3bbfdb91a95515a079f2501012f"))
(run (network host)
(shell "opam repo add mirage-dev https://github.com/mirage/mirage-dev.git#8fd6ad85421ba4a75099c1d7634c1d33d7f7bff3"))
(run (network host)
(shell "opam pin -ny https://github.com/mirage/mirage.git#db34109e48f76507f64bfbf12707261d57b7f2dd"))
(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 xen)
(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-06-13 11:57.50: Using cache hint "mirage-ci-skeleton-debian-10-ocaml-4.13"
2024-06-13 11:57.50: Waiting for resource in pool OCluster
2024-06-13 12:07.23: Cancelling: Auto-cancelling job because it is no longer needed