Job log
See full log and operations2025-10-03 11:03.30: New job: Build using linux-x86_64 in
[https://github.com/mirage/mirage-skeleton.git#refs/heads/dev (395229ba90b6338e3e2b10bd70f8a6e5b402f63c)]
OBuilder spec:
[34m((from ocaml/opam:debian-13-ocaml-4.14)
(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#647158776f12f00c0e5e0fa305a291840f6173e6"))
(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#78a2d2c6872487af4e267d9fbecfbba5856a866d"))
(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 unix)
(workdir /src/)
(run (shell "opam exec -- make configure"))
(env MIRAGE_EXTRA_REPOS opam-overlays:https://github.com/dune-universe/opam-overlays.git#3320932b74afc1d049ceeaf60dfe501d664bb143,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
2025-10-03 11:03.30: Using cache hint "mirage-ci-skeleton-debian-13-ocaml-4.14"
2025-10-03 11:03.30: Waiting for resource in pool OCluster
2025-10-03 11:03.30: Waiting for workerโฆ
2025-10-03 11:03.30: Got resource from pool OCluster
Building on odawa.caelum.ci.dev
All commits already cached
HEAD is now at 395229b Merge pull request #412 from hannesm/prep-410
[01;34m(from ocaml/opam:debian-13-ocaml-4.14)[0m
[01;2m[01;35m2025-10-03 11:04.03 ---> saved as "2872d40d55f240e0a2da70ebf7596d35808f9b322f6ba106c5bc21f37bed29fd"[0m
[01;34m/: (user (uid 1000) (gid 1000))[0m
[01;34m/: (workdir /home/opam)[0m
[01;34m/home/opam: (run (shell "sudo chown opam:opam /home/opam"))[0m
[01;2m[01;35m2025-10-03 11:04.03 ---> saved as "5cb26c4c89f19cf8882a86430bc6e7246ec7d2b4dc9c4381e0b364e87efbcbf7"[0m
[01;34m/home/opam: (run (shell "sudo ln -f /usr/bin/opam-2.4 /usr/bin/opam && opam update"))[0m
This version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.
Continue? [Y/n] y
[NOTE] The 'jobs' option was reset, its value was 71 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:
opam option jobs=71 --global
Format upgrade done.
<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2025-10-03 11:04.21: Cancelling: Auto-cancelling job because it is no longer needed
Job cancelled