Getting StartedDocumentation
Organisationsmiragemirage-skeleton560fe4 ()debian-13-4.14_riscv64_opam-2.4

debian-13-4.14_riscv64_opam-2.4

Link Copied
Code Copied

Logs

Show raw logs
2025-10-16 07:31.03: New job: test mirage/mirage-skeleton https://github.com/mirage/mirage-skeleton.git#refs/heads/main (560fe420616273a32a5b574d708112dde5aa6916) (linux-riscv64:debian-13-4.14_riscv64_opam-2.4)
Base: ocaml/opam:debian-13-ocaml-4.14@sha256:2ec3acb358ede65444e2c01012b8324279d362d1b5a123d68f479f6dd50c48f4
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/mirage/mirage-skeleton.git" -b "main" && cd "mirage-skeleton" && git reset --hard 560fe420
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.14@sha256:2ec3acb358ede65444e2c01012b8324279d362d1b5a123d68f479f6dd50c48f4
# debian-13-4.14_riscv64_opam-2.4
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo ln -f /usr/bin/opam-2.4 /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
WORKDIR /src
RUN sudo chown opam /src
RUN cd ~/opam-repository && (git cat-file -e 60c74a29f5d280ca9330c57b890e2e8c0fbc444c || git fetch origin master) && git reset -q --hard 60c74a29f5d280ca9330c57b890e2e8c0fbc444c && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 mirage-skeleton.opam ./
RUN opam pin add -yn mirage-skeleton.dev './'
RUN echo '(lang dune 3.0)' > './dune-project'
ENV DEPS="angstrom.0.16.1 astring.0.8.5 base-bigarray.base base-threads.base base-unix.base base64.3.5.2 bigstringaf.0.10.0 bos.0.2.1 cmdliner.2.0.0 conf-pkg-config.4 csexp.1.5.2 domain-name.0.5.0 dune.3.20.2 dune-configurator.3.20.2 emile.1.1 fmt.0.11.0 fpath.0.7.3 ipaddr.5.6.1 logs.0.9.0 macaddr.5.6.1 mirage.4.10.2 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 opam-monorepo.0.4.3 pecu.0.7 rresult.0.7.0 stringext.1.6.0 topkg.1.1.0 uri.4.4.0 uutf.1.0.4"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.4 --depext-only -y mirage-skeleton.dev $DEPS
RUN opam install $DEPS
COPY --chown=1000:1000 . /src
RUN opam exec -- dune build @install @check @runtest && rm -rf _build


END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK


2025-10-16 07:31.03: Using cache hint "mirage/mirage-skeleton-ocaml/opam:debian-13-ocaml-4.14@sha256:2ec3acb358ede65444e2c01012b8324279d362d1b5a123d68f479f6dd50c48f4-debian-13-4.14_riscv64_opam-2.4-bfdaf6951291fd6390112d337e8572fb"
2025-10-16 07:31.03: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:2ec3acb358ede65444e2c01012b8324279d362d1b5a123d68f479f6dd50c48f4)
(comment debian-13-4.14_riscv64_opam-2.4)
(user (uid 1000) (gid 1000))
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(workdir /src)
(run (shell "sudo ln -f /usr/bin/opam-2.4 /usr/bin/opam"))
(run (shell "opam init --reinit -ni"))
(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
(workdir /src)
(run (shell "sudo chown opam /src"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 60c74a29f5d280ca9330c57b890e2e8c0fbc444c || git fetch origin master) && git reset -q --hard 60c74a29f5d280ca9330c57b890e2e8c0fbc444c && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src mirage-skeleton.opam) (dst ./))
(run (network host)
(shell "opam pin add -yn mirage-skeleton.dev './'"))
(run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
(env DEPS "angstrom.0.16.1 astring.0.8.5 base-bigarray.base base-threads.base base-unix.base base64.3.5.2 bigstringaf.0.10.0 bos.0.2.1 cmdliner.2.0.0 conf-pkg-config.4 csexp.1.5.2 domain-name.0.5.0 dune.3.20.2 dune-configurator.3.20.2 emile.1.1 fmt.0.11.0 fpath.0.7.3 ipaddr.5.6.1 logs.0.9.0 macaddr.5.6.1 mirage.4.10.2 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 opam-monorepo.0.4.3 pecu.0.7 rresult.0.7.0 stringext.1.6.0 topkg.1.1.0 uri.4.4.0 uutf.1.0.4")
(env CI true)
(env OCAMLCI true)
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.4 --depext-only -y mirage-skeleton.dev $DEPS"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
(copy (src .) (dst /src))
(run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
)


2025-10-16 07:31.03: Waiting for resource in pool OCluster
2025-10-16 07:31.04: Waiting for worker…
2025-10-16 07:36.28: Got resource from pool OCluster
Building on riscv-bm-04.sw.ci.dev
HEAD is now at cc0e12c reformat local-library
HEAD is now at 560fe42 Merge pull request #413 from shym/unikraft-block


(from ocaml/opam:debian-13-ocaml-4.14@sha256:2ec3acb358ede65444e2c01012b8324279d362d1b5a123d68f479f6dd50c48f4)
Unable to find image 'ocaml/opam:debian-13-ocaml-4.14@sha256:2ec3acb358ede65444e2c01012b8324279d362d1b5a123d68f479f6dd50c48f4' locally
docker.io/ocaml/opam@sha256:2ec3acb358ede65444e2c01012b8324279d362d1b5a123d68f479f6dd50c48f4: Pulling from ocaml/opam
913254a25f5e: Already exists
d4181e0c64b1: Already exists
60067d417858: Already exists
85acc1d96727: Already exists
3ed6ed890bcc: Already exists
2dbf4e493c82: Already exists
2392a1c0faf2: Already exists
a887790579d0: Already exists
6bf6091e80a7: Already exists
8335ff7d796a: Already exists
a5cf80048a8d: Already exists
11557f96dff6: Already exists
5ffa47544a64: Already exists
b92bc0bdd77f: Already exists
11bee46e736c: Already exists
6cdee63da433: Already exists
bd6b847c6301: Already exists
ef94452a17d0: Already exists
bd4498e2bf68: Already exists
cae9012f5512: Already exists
97e1a82ddbc1: Already exists
4f4fb700ef54: Already exists
a36b4f4c3856: Already exists
ba5c5eee93b2: Already exists
ccef58c1ec23: Already exists
f58caa225e78: Already exists
e5b816875ec7: Already exists
637cd996e729: Already exists
4798bd4315ce: Already exists
1a9d0398727f: Already exists
87a13479d21f: Already exists
826d12795d2a: Already exists
ec3c50c293a6: Already exists
75873b00ea39: Already exists
2dc1ede51ef9: Already exists
e521104f43f2: Already exists
5adb34782261: Already exists
3902e7196407: Already exists
58655837ed1a: Already exists
48f0059e882a: Already exists
f295b5eefcb4: Pulling fs layer
edce86b5f8fb: Pulling fs layer
bb5db9673a61: Pulling fs layer
05ea7405a998: Pulling fs layer
bb5db9673a61: Verifying Checksum
edce86b5f8fb: Download complete
05ea7405a998: Download complete
f295b5eefcb4: Verifying Checksum
f295b5eefcb4: Download complete
f295b5eefcb4: Pull complete
edce86b5f8fb: Pull complete
bb5db9673a61: Pull complete
05ea7405a998: Pull complete
Digest: sha256:2ec3acb358ede65444e2c01012b8324279d362d1b5a123d68f479f6dd50c48f4
Status: Downloaded newer image for ocaml/opam@sha256:2ec3acb358ede65444e2c01012b8324279d362d1b5a123d68f479f6dd50c48f4
2025-10-16 07:36.30 ---> using "55ae748f998e54835d3967fc6571b603b5ee1c5ff4e316d4c116f7c103a9c488" from cache


/: (comment debian-13-4.14_riscv64_opam-2.4)


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


/: (env CLICOLOR_FORCE 1)


/: (env OPAMCOLOR always)


/: (workdir /src)


/src: (run (shell "sudo ln -f /usr/bin/opam-2.4 /usr/bin/opam"))
2025-10-16 07:36.30 ---> using "c00b7fb0f14ee1c4f7d61067bbfa694b3be6391e35e49cc0aaf32d7c4e3d53f8" from cache


/src: (run (shell "opam init --reinit -ni"))
Configuring from /home/opam/.opamrc and then from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.


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
Format upgrade done.


<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2025-10-16 07:36.30 ---> using "855a2ad17f6bcf2293c394a91ad81b4660f67f6158dd85f342100a047bf5312e" from cache


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 5.10.113-scw1
The OCaml toplevel, version 4.14.2
2.4.1
2025-10-16 07:36.30 ---> using "a4ce8f05afc8d1524197ee77c40d77385ba3c1dd7324a7828030078cefe93e49" from cache


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2025-10-16 07:36.30 ---> using "b44f2387602157265122ccd9b42a9e7ae7bea0745aff65db47cf7ea002fcfa4d" from cache


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 60c74a29f5d280ca9330c57b890e2e8c0fbc444c || git fetch origin master) && git reset -q --hard 60c74a29f5d280ca9330c57b890e2e8c0fbc444c && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch                  master     -> FETCH_HEAD
1abfcdbf14..12d0447fd1  master     -> origin/master
60c74a29f5 Merge pull request #28709 from hannesm/release-domain-name-v0.5.0


<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from git+file:///home/opam/opam-repository


Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).
However, you may "opam upgrade" these packages explicitly at these versions (e.g. "opam upgrade ocaml.5.3.0"), which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# To update the current shell environment, run: eval $(opam env)
2025-10-16 07:36.30 ---> using "14ef32c7bdb1f20fed42a8e423a75d7aa4b92cc309e16b5397945f264f0f88ca" from cache


/src: (copy (src mirage-skeleton.opam) (dst ./))
2025-10-16 07:36.31 ---> saved as "ce42e244cce15a1455210f1957d9c16e2e86b687d5985691ace0d7a31f9f312a"


/src: (run (network host)
(shell "opam pin add -yn mirage-skeleton.dev './'"))
[NOTE] Package mirage-skeleton does not exist in opam repositories registered in the current switch.
[mirage-skeleton.dev] synchronised (file:///src)
[WARNING] Failed checks on mirage-skeleton package definition from source at file:///src:
warning 68: Missing field 'license'
mirage-skeleton is now pinned to file:///src (version dev)
2025-10-16 07:36.38 ---> saved as "b77383992d625a90e065e46682fc34f3985ad3e72a0f7f503cd19d723f502c9a"


/src: (run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
2025-10-16 07:36.39 ---> saved as "f4424a1b4a0ac42706cc55c0f25ed3285e42441d84ab640432f2de1282fc6525"


/src: (env DEPS "angstrom.0.16.1 astring.0.8.5 base-bigarray.base base-threads.base base-unix.base base64.3.5.2 bigstringaf.0.10.0 bos.0.2.1 cmdliner.2.0.0 conf-pkg-config.4 csexp.1.5.2 domain-name.0.5.0 dune.3.20.2 dune-configurator.3.20.2 emile.1.1 fmt.0.11.0 fpath.0.7.3 ipaddr.5.6.1 logs.0.9.0 macaddr.5.6.1 mirage.4.10.2 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-config.2 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 opam-monorepo.0.4.3 pecu.0.7 rresult.0.7.0 stringext.1.6.0 topkg.1.1.0 uri.4.4.0 uutf.1.0.4")


/src: (env CI true)


/src: (env OCAMLCI true)


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam update --depexts && opam install --cli=2.4 --depext-only -y mirage-skeleton.dev $DEPS"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian trixie InRelease
- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
- Get:4 http://deb.debian.org/debian-security trixie-security/main riscv64 Packages [49.5 kB]
- Fetched 140 kB in 0s (325 kB/s)
- Reading package lists...
- 


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[mirage-skeleton.dev] synchronised (file:///src)


[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 2).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).
[NOTE] Package ocaml is already installed (current version is 4.14.2).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).


The following system packages will first need to be installed:
pkg-config


<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>


+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "pkg-config"
- Selecting previously unselected package libpkgconf3:riscv64.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20700 files and directories currently installed.)
- Preparing to unpack .../libpkgconf3_1.8.1-4_riscv64.deb ...
- Unpacking libpkgconf3:riscv64 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../pkgconf-bin_1.8.1-4_riscv64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:riscv64.
- Preparing to unpack .../pkgconf_1.8.1-4_riscv64.deb ...
- Unpacking pkgconf:riscv64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:riscv64.
- Preparing to unpack .../pkg-config_1.8.1-4_riscv64.deb ...
- Unpacking pkg-config:riscv64 (1.8.1-4) ...
- Setting up libpkgconf3:riscv64 (1.8.1-4) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up pkgconf:riscv64 (1.8.1-4) ...
- Setting up pkg-config:riscv64 (1.8.1-4) ...
- Processing triggers for libc-bin (2.41-12) ...
2025-10-16 07:37.37 ---> saved as "bf82e3e0cbcd1dc70e57ae9674decda067b22911f9cf484c481a2b00acd1384d"


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).
[NOTE] Package ocaml-config is already installed (current version is 2).
[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).
[NOTE] Package ocaml is already installed (current version is 4.14.2).
[NOTE] Package base-unix is already installed (current version is base).
[NOTE] Package base-threads is already installed (current version is base).
[NOTE] Package base-bigarray is already installed (current version is base).
The following actions will be performed:
=== install 28 packages
- install angstrom           0.16.1
- install astring            0.8.5
- install base64             3.5.2
- install bigstringaf        0.10.0
- install bos                0.2.1
- install cmdliner           2.0.0
- install conf-pkg-config    4
- install csexp              1.5.2
- install domain-name        0.5.0
- install dune               3.20.2
- install dune-configurator  3.20.2
- install emile              1.1
- install fmt                0.11.0
- install fpath              0.7.3
- install ipaddr             5.6.1
- install logs               0.9.0
- install macaddr            5.6.1
- install mirage             4.10.2
- install ocaml-syntax-shims 1.0.0
- install ocamlbuild         0.16.1
- install ocamlfind          1.9.8
- install opam-monorepo      0.4.3
- install pecu               0.7
- install rresult            0.7.0
- install stringext          1.6.0
- install topkg              1.1.0
- install uri                4.4.0
- install uutf               1.0.4


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved angstrom.0.16.1  (cached)
-> retrieved astring.0.8.5  (cached)
-> retrieved base64.3.5.2  (cached)
-> retrieved bigstringaf.0.10.0  (cached)
-> retrieved bos.0.2.1  (cached)
-> retrieved csexp.1.5.2  (cached)
-> retrieved cmdliner.2.0.0  (cached)
-> installed conf-pkg-config.4
-> retrieved domain-name.0.5.0  (cached)
-> retrieved emile.1.1  (cached)
-> retrieved fmt.0.11.0  (cached)
-> retrieved fpath.0.7.3  (cached)
-> retrieved ipaddr.5.6.1, macaddr.5.6.1  (cached)
-> retrieved logs.0.9.0  (cached)
-> retrieved ocaml-syntax-shims.1.0.0  (cached)
-> retrieved mirage.4.10.2  (cached)
-> retrieved ocamlbuild.0.16.1  (cached)
-> retrieved ocamlfind.1.9.8  (cached)
-> retrieved pecu.0.7  (cached)
-> retrieved rresult.0.7.0  (cached)
-> retrieved stringext.1.6.0  (cached)
-> retrieved topkg.1.1.0  (cached)
-> retrieved uri.4.4.0  (cached)
-> retrieved uutf.1.0.4  (cached)
-> retrieved dune.3.20.2, dune-configurator.3.20.2  (cached)
-> retrieved opam-monorepo.0.4.3  (cached)
-> installed cmdliner.2.0.0
-> installed ocamlbuild.0.16.1
-> installed ocamlfind.1.9.8
-> installed topkg.1.1.0
-> installed fmt.0.11.0
-> installed astring.0.8.5
-> installed rresult.0.7.0
-> installed fpath.0.7.3
-> installed logs.0.9.0
-> installed uutf.1.0.4
-> installed bos.0.2.1
-> installed dune.3.20.2
-> installed csexp.1.5.2
-> installed domain-name.0.5.0
-> installed base64.3.5.2
-> installed macaddr.5.6.1
-> installed ocaml-syntax-shims.1.0.0
-> installed ipaddr.5.6.1
-> installed pecu.0.7
-> installed stringext.1.6.0
-> installed dune-configurator.3.20.2
-> installed bigstringaf.0.10.0
-> installed angstrom.0.16.1
-> installed emile.1.1
-> installed uri.4.4.0
-> installed opam-monorepo.0.4.3
-> installed mirage.4.10.2
Done.
# To update the current shell environment, run: eval $(opam env)
2025-10-16 07:44.29 ---> saved as "6bc1741c2f82e8ffdf121cbcea16391b5f2f6d46ac7c2534fafe0d9f7712d881"


/src: (copy (src .) (dst /src))
2025-10-16 07:44.30 ---> saved as "0c228a196d2d02102fbaf1594f01091d1f3501a99a2a8d14646168454cf10e87"


/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
2025-10-16 07:44.31 ---> saved as "cec5675e894d1bcaf61108cfdfc6c192fd5d86b131a5b67689f39a376d1e276c"
Job succeeded
2025-10-16 07:44.31: Job succeeded