2025-11-20 16:51.46: New job: Build using linux-arm64 in
[https://github.com/mirage/mirage-skeleton.git#refs/heads/dev (53b7839a70657c31b9028b7f4bb19e0d64d9b482)]
OBuilder spec:
((from ocaml/opam:debian-13-ocaml-5.4)
(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#2a5ab3fbccdfdb06d413c48cfe1c129758b3a413"))
(run (network host)
(shell "opam repo add mirage-dev https://github.com/mirage/mirage-dev.git#eb114ccf0dd4eeca6b4f06c5c7361c238eeca4fd"))
(run (network host)
(shell "opam pin -ny https://github.com/mirage/mirage.git#46f5f29408aeb9575feffab24d2807a5052af533"))
(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 unikraft-qemu)
(workdir /src/)
(run (shell "opam exec -- make configure"))
(env MIRAGE_EXTRA_REPOS opam-overlays:https://github.com/dune-universe/opam-overlays.git#d5c12f6d5c7909e6119a82bc4aba682ac3110b2d,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-11-20 16:51.46: Using cache hint "mirage-ci-skeleton-debian-13-ocaml-5.4"
2025-11-20 16:51.46: Waiting for resource in pool OCluster
2025-11-20 16:51.46: Waiting for worker…
2025-11-20 16:53.59: Cancelling: Auto-cancelling job because it is no longer needed