Build:
- 0
2025-07-30 11:59.29: New job: Build using linux-x86_64 in
[https://github.com/mirage/mirage-skeleton.git#refs/heads/main (25ee67cc764c0aee317b4071aeb320c285a318df)]
OBuilder spec:
((from ocaml/opam:debian-10-ocaml-5.2)
(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#f6368c68f94811eb2e5f105c731f2494a6e6fe04"))
(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#e031bb64e33bf93be963e9a38b28962e6e14381f,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"))
)
2025-07-30 11:59.29: Using cache hint "mirage-ci-skeleton-debian-10-ocaml-5.2"
2025-07-30 11:59.29: Waiting for resource in pool OCluster
2025-07-30 11:59.29: Waiting for worker…
2025-07-30 11:59.29: Got resource from pool OCluster
Building on doris.caelum.ci.dev
All commits already cached
HEAD is now at 25ee67c update to ocamlformat 0.27.0
(from ocaml/opam:debian-10-ocaml-5.2)
2025-07-30 11:59.53 ---> saved as "752a856dc0534d8bc120f716770ce56b356e0038b43f4a4cd8984ba0735684e4"
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo chown opam:opam /home/opam"))
2025-07-30 11:59.54 ---> saved as "0f5e656a2ed5cbea7671c38eb0719b93d7366fc382509556b14b9efdaffe3b8b"
/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
2025-07-30 12:00.55 ---> saved as "f49c317111a642676c09c01bc919af8812f6a51ed5ff16776f360ee3839c99a5"
/home/opam: (run (network host)
(shell "opam repo add opam https://github.com/ocaml/opam-repository.git#f6368c68f94811eb2e5f105c731f2494a6e6fe04"))
[opam] Initialised
[NOTE] Repository opam has been added to the selections of switch 5.2 only.
Run `opam repository add opam --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively.
2025-07-30 12:01.34 ---> saved as "f8508118425f541b83003728bef69d9158498ed4cfb4b84c1b7c131182cde499"
/home/opam: (run (cache (download-cache (target /home/opam/.opam/download-cache)))
(network host)
(shell "sudo apt-get update && opam install -y \"mirage>=4\""))
Ign:1 http://deb.debian.org/debian buster InRelease
Ign:2 http://deb.debian.org/debian-security buster/updates InRelease
Ign:3 http://deb.debian.org/debian buster-updates InRelease
Err:4 http://deb.debian.org/debian buster Release
404 Not Found [IP: 2a04:4e42:82::644 80]
Err:5 http://deb.debian.org/debian-security buster/updates Release
404 Not Found [IP: 2a04:4e42:82::644 80]
Err:6 http://deb.debian.org/debian buster-updates Release
404 Not Found [IP: 2a04:4e42:82::644 80]
Reading package lists...
E: The repository 'http://deb.debian.org/debian buster Release' no longer has a Release file.
E: The repository 'http://deb.debian.org/debian-security buster/updates Release' no longer has a Release file.
E: The repository 'http://deb.debian.org/debian buster-updates Release' no longer has a Release file.
"/usr/bin/env" "bash" "-c" "sudo apt-get update && opam install -y "mirage>=4"" failed with exit status 100
2025-07-30 12:01.35: Job failed: Failed: Build failed