🟠 @743b478

🟠 x86_64-debian-10-4.13

Job tree

Job log

See full log and operations
2023-10-27 12:55.17: New job: Build using linux-x86_64 in
                                [https://github.com/mirage/mirage-skeleton.git#refs/pull/374/head (743b478434bd6eade4400dfe64c36d4f5d9af050)]

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#6ce4f1bb124b9fdd75cf5851fe8aeb07caccecbd"))
 (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#07232f23bda468d8cb36d1994e3b843a4040fcc7"))
 (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#24ca14c061b41323ac113d082865854c48588b32,mirage-opam-overlays:https://github.com/dune-universe/mirage-opam-overlays.git#05f1c1823d891ce4d8adab91f5db3ac51d86dc0b)
 (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"))
)

2023-10-27 12:55.17: Using cache hint "mirage-ci-skeleton-debian-10-ocaml-4.13"
2023-10-27 12:55.17: Waiting for resource in pool OCluster
2023-10-27 12:55.17: Waiting for worker…
2023-10-27 12:55.18: Got resource from pool OCluster
Building on pima.caelum.ci.dev
All commits already cached
HEAD is now at 743b478 Move runtime keys to runtime modules

(from ocaml/opam:debian-10-ocaml-4.13)
2023-10-27 12:55.48 ---> saved as "cbba9511e46ef57631453d5b88aeed1ed6de6fa87b6f0dcb3da9328657d73fa4"

/: (user (uid 1000) (gid 1000))

/: (workdir /home/opam)

/home/opam: (run (shell "sudo chown opam:opam /home/opam"))
2023-10-27 12:55.48 ---> saved as "54342da51d0603a14f6ba9989f4252ffa31f1ca13e80c1d45d63e53fc9e80646"

/home/opam: (run (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam update"))
This version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.1, which can't be reverted.
You may want to back it up before going further.

Continue? [Y/n] y
Format upgrade done.

<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2023-10-27 12:56.44: Cancelling: Auto-cancelling job because it is no longer needed
Job cancelled