@2b3fb7a

x86_64-debian-13-5.3

Job tree

Job log

See full log and operations
2025-10-20 08:38.31: New job: Build using linux-x86_64 in
                                [https://github.com/mirage/mirage-skeleton.git#refs/heads/dev (395229ba90b6338e3e2b10bd70f8a6e5b402f63c)]

OBuilder spec:

((from ocaml/opam:debian-13-ocaml-5.3)
 (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#5bf570252bd9fee71938b828ca0b86573c1e3355"))
 (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#2b3fb7a87018dea2326bdc417beeaf66127b0309"))
 (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#8e8ebb1ea995a5631ae5f6fe866170d872d58dd7,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-10-20 08:38.31: Using cache hint "mirage-ci-skeleton-debian-13-ocaml-5.3"
2025-10-20 08:38.31: Waiting for resource in pool OCluster
2025-10-20 08:38.31: Waiting for worker…
2025-10-20 08:38.31: Got resource from pool OCluster
Building on asteria.caelum.ci.dev
hint: Using 'master' as the name for the initial branch. This default branch name
hint: is subject to change. To configure the initial branch name to use in all
hint: of your new repositories, which will suppress this warning, call:
hint: 
hint: 	git config --global init.defaultBranch <name>
hint: 
hint: Names commonly chosen instead of 'master' are 'main', 'trunk' and
hint: 'development'. The just-created branch can be renamed via this command:
hint: 
hint: 	git branch -m <name>
Initialized empty Git repository in /var/cache/obuilder/ocluster/git/mirage-skeleton.git-f56d4287cf5ef510eaeeaae959af62f33ba238c7/.git/
HEAD is now at 395229b Merge pull request #412 from hannesm/prep-410

(from ocaml/opam:debian-13-ocaml-5.3)
Unable to find image 'ocaml/opam:debian-13-ocaml-5.3' locally
Error response from daemon: Head "https://registry-1.docker.io/v2/ocaml/opam/manifests/debian-13-ocaml-5.3": received unexpected HTTP status: 503 Service Unavailable
Uncaught exception: Failure("\"docker\" \"create\" \"--\" \"ocaml/opam:debian-13-ocaml-5.3\" failed with exit status 1")
2025-10-20 08:38.33: Job failed: Failed: Internal error