🟠 @3057250

🟠 arm64-debian-13-5.4

Job tree

• 🟠 skeleton@unix
• 🟡 skeleton@hvt
• 🟡 skeleton@unikraft-qemu

Job log

2026-01-27 18:41.33: New job: Build using linux-arm64 in
                                [https://github.com/mirage/mirage-skeleton.git#refs/heads/main (f89ae9e1a80eaf983622cc8c192c1214b219b9e0)]

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#da10f1e072f9cf90a6e65dbf66e23531bae678b3"))
 (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#30572500126ae4cc147e610aa7c2da8cb0088d89"))
 (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#12731a6f86d7c452a94c72106fa9d3327988582d,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"))
)

2026-01-27 18:41.33: Using cache hint "mirage-ci-skeleton-debian-13-ocaml-5.4"
2026-01-27 18:41.33: Waiting for resource in pool OCluster
2026-01-27 18:41.33: Waiting for worker…
2026-01-27 18:50.31: Cancelling: Auto-cancelling job because it is no longer needed