debian-13-5.4_riscv64_opam-2.5

2026-05-05 15:46.48: New job: test mirage/ca-certs https://github.com/mirage/ca-certs.git#refs/heads/main (26ff017e7efd605c8e96eaf5b9f115324fec9020) (linux-riscv64:debian-13-5.4_riscv64_opam-2.5)
Base: ocaml/opam:debian-13-ocaml-5.4@sha256:f4c82456e10adf78c4bf1849b05a8072cede5c2008b962470255ffcd8dbe88d2
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/mirage/ca-certs.git" -b "main" && cd "ca-certs" && git reset --hard 26ff017e
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-5.4@sha256:f4c82456e10adf78c4bf1849b05a8072cede5c2008b962470255ffcd8dbe88d2
# debian-13-5.4_riscv64_opam-2.5
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo ln -f /usr/bin/opam-2.5 /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 a70af20c7161f9d2e1ede477647f5f9e06d6e78f || git fetch origin master) && git reset -q --hard a70af20c7161f9d2e1ede477647f5f9e06d6e78f && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 ca-certs.opam ./
RUN opam pin add -yn ca-certs.dev './'
RUN echo '(lang dune 3.0)' > './dune-project'
ENV DEPS="alcotest.1.9.1 asn1-combinators.0.3.2 astring.0.8.5 base-bigarray.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base base64.3.5.2 bos.0.3.0 cmdliner.2.1.1 conf-gmp.5 conf-gmp-powm-sec.4 conf-pkg-config.4 csexp.1.5.2 digestif.1.3.0 domain-name.0.5.0 dune.3.23.0 dune-configurator.3.23.0 duration.0.3.1 eqaf.0.10 fmt.0.11.0 fpath.0.7.3 gmap.0.3.0 ipaddr.5.6.2 kdf.1.0.0 logs.0.10.0 macaddr.5.6.2 mirage-crypto.2.1.0 mirage-crypto-ec.2.1.0 mirage-crypto-pk.2.1.0 mirage-crypto-rng.2.1.0 ocaml.5.4.1 ocaml-base-compiler.5.4.1 ocaml-compiler.5.4.1 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ohex.0.2.0 ptime.1.2.0 re.1.14.0 rresult.0.7.0 stdlib-shims.0.3.0 topkg.1.1.1 uutf.1.0.4 x509.1.0.6 zarith.1.14"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.5 --depext-only -y ca-certs.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


2026-05-05 15:46.48: Using cache hint "mirage/ca-certs-ocaml/opam:debian-13-ocaml-5.4@sha256:f4c82456e10adf78c4bf1849b05a8072cede5c2008b962470255ffcd8dbe88d2-debian-13-5.4_riscv64_opam-2.5-10cef224eb43408a3d698dfcc25bb915"
2026-05-05 15:46.48: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-5.4@sha256:f4c82456e10adf78c4bf1849b05a8072cede5c2008b962470255ffcd8dbe88d2)
(comment debian-13-5.4_riscv64_opam-2.5)
(user (uid 1000) (gid 1000))
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(workdir /src)
(run (shell "sudo ln -f /usr/bin/opam-2.5 /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 a70af20c7161f9d2e1ede477647f5f9e06d6e78f || git fetch origin master) && git reset -q --hard a70af20c7161f9d2e1ede477647f5f9e06d6e78f && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src ca-certs.opam) (dst ./))
(run (network host)
(shell "opam pin add -yn ca-certs.dev './'"))
(run (shell "echo '(lang dune 3.0)' > './dune-project'"))
(env DEPS "alcotest.1.9.1 asn1-combinators.0.3.2 astring.0.8.5 base-bigarray.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base base64.3.5.2 bos.0.3.0 cmdliner.2.1.1 conf-gmp.5 conf-gmp-powm-sec.4 conf-pkg-config.4 csexp.1.5.2 digestif.1.3.0 domain-name.0.5.0 dune.3.23.0 dune-configurator.3.23.0 duration.0.3.1 eqaf.0.10 fmt.0.11.0 fpath.0.7.3 gmap.0.3.0 ipaddr.5.6.2 kdf.1.0.0 logs.0.10.0 macaddr.5.6.2 mirage-crypto.2.1.0 mirage-crypto-ec.2.1.0 mirage-crypto-pk.2.1.0 mirage-crypto-rng.2.1.0 ocaml.5.4.1 ocaml-base-compiler.5.4.1 ocaml-compiler.5.4.1 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ohex.0.2.0 ptime.1.2.0 re.1.14.0 rresult.0.7.0 stdlib-shims.0.3.0 topkg.1.1.1 uutf.1.0.4 x509.1.0.6 zarith.1.14")
(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.5 --depext-only -y ca-certs.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"))
)


2026-05-05 15:46.48: Waiting for resource in pool OCluster
2026-05-05 15:46.48: Waiting for worker…
2026-05-05 15:51.21: Got resource from pool OCluster
Building on riscv-bm-03.sw.ci.dev
HEAD is now at 02acd04 Merge pull request #38 from mirage/dependabot/github_actions/actions/checkout-6
HEAD is now at 26ff017 changes for 1.0.2


(from ocaml/opam:debian-13-ocaml-5.4@sha256:f4c82456e10adf78c4bf1849b05a8072cede5c2008b962470255ffcd8dbe88d2)
Unable to find image 'ocaml/opam:debian-13-ocaml-5.4@sha256:f4c82456e10adf78c4bf1849b05a8072cede5c2008b962470255ffcd8dbe88d2' locally
docker.io/ocaml/opam@sha256:f4c82456e10adf78c4bf1849b05a8072cede5c2008b962470255ffcd8dbe88d2: Pulling from ocaml/opam
3e61abfb88ee: Pulling fs layer
76b1d07b1a3b: Pulling fs layer
ed0a77094d87: Pulling fs layer
dda49bd8ac08: Pulling fs layer
79841c38fc3d: Pulling fs layer
e23fd9439732: Pulling fs layer
269e9966d790: Pulling fs layer
52cc4e5d6121: Pulling fs layer
805e105b52dc: Pulling fs layer
ae53fa2b5435: Pulling fs layer
ba1024a7802c: Pulling fs layer
f9c71e0456b4: Pulling fs layer
49cdc11c577a: Pulling fs layer
2e917b473884: Pulling fs layer
4efed90b2a45: Pulling fs layer
fc9321643256: Pulling fs layer
892336fe0a02: Pulling fs layer
dda49bd8ac08: Waiting
79841c38fc3d: Waiting
e23fd9439732: Waiting
269e9966d790: Waiting
52cc4e5d6121: Waiting
805e105b52dc: Waiting
ae53fa2b5435: Waiting
ba1024a7802c: Waiting
f9c71e0456b4: Waiting
49cdc11c577a: Waiting
2e917b473884: Waiting
4efed90b2a45: Waiting
bea8863f3ee4: Pulling fs layer
4e9cefa5299b: Pulling fs layer
892336fe0a02: Waiting
fc9321643256: Waiting
e3cdf819ebd9: Pulling fs layer
bea8863f3ee4: Waiting
4e9cefa5299b: Waiting
cc5f28ef7662: Pulling fs layer
e3cdf819ebd9: Waiting
4f4fb700ef54: Pulling fs layer
cc5f28ef7662: Waiting
d67f67cce0c9: Pulling fs layer
4f4fb700ef54: Waiting
254dc46749bc: Pulling fs layer
98586e50ba59: Pulling fs layer
d67f67cce0c9: Waiting
7ee86d26bde1: Pulling fs layer
254dc46749bc: Waiting
9274f8a25124: Pulling fs layer
54277c64a2cf: Pulling fs layer
98586e50ba59: Waiting
b701c0327936: Pulling fs layer
7ee86d26bde1: Waiting
9274f8a25124: Waiting
54277c64a2cf: Waiting
b701c0327936: Waiting
5520cae2ba51: Pulling fs layer
86fe8720be3d: Pulling fs layer
1e9a6fbdb422: Pulling fs layer
a3abdbab59cc: Pulling fs layer
1f1577d1ab69: Pulling fs layer
243e765f6bda: Pulling fs layer
414badea72c2: Pulling fs layer
dca5542c6a6c: Pulling fs layer
d11abfe346ed: Pulling fs layer
850f5f345d4f: Pulling fs layer
5520cae2ba51: Waiting
1e9a6fbdb422: Waiting
a3abdbab59cc: Waiting
1f1577d1ab69: Waiting
243e765f6bda: Waiting
414badea72c2: Waiting
dca5542c6a6c: Waiting
d11abfe346ed: Waiting
86fe8720be3d: Waiting
45a44aaebcc9: Pulling fs layer
1560e6818fb1: Pulling fs layer
e1c0adedaeec: Pulling fs layer
716945da171a: Pulling fs layer
dbaa1f0ec53c: Pulling fs layer
850f5f345d4f: Waiting
45a44aaebcc9: Waiting
1560e6818fb1: Waiting
e1c0adedaeec: Waiting
716945da171a: Waiting
b4a0ec97be31: Pulling fs layer
ac156bfd6092: Pulling fs layer
0b5fd1110f83: Pulling fs layer
dbaa1f0ec53c: Waiting
b4a0ec97be31: Waiting
ac156bfd6092: Waiting
0b5fd1110f83: Waiting
76b1d07b1a3b: Download complete
ed0a77094d87: Verifying Checksum
ed0a77094d87: Download complete
79841c38fc3d: Verifying Checksum
79841c38fc3d: Download complete
dda49bd8ac08: Verifying Checksum
dda49bd8ac08: Download complete
269e9966d790: Verifying Checksum
269e9966d790: Download complete
3e61abfb88ee: Verifying Checksum
3e61abfb88ee: Download complete
52cc4e5d6121: Verifying Checksum
52cc4e5d6121: Download complete
805e105b52dc: Verifying Checksum
805e105b52dc: Download complete
ae53fa2b5435: Verifying Checksum
ae53fa2b5435: Download complete
f9c71e0456b4: Download complete
ba1024a7802c: Verifying Checksum
ba1024a7802c: Download complete
2e917b473884: Verifying Checksum
2e917b473884: Download complete
49cdc11c577a: Verifying Checksum
49cdc11c577a: Download complete
4efed90b2a45: Verifying Checksum
4efed90b2a45: Download complete
892336fe0a02: Verifying Checksum
892336fe0a02: Download complete
fc9321643256: Verifying Checksum
fc9321643256: Download complete
bea8863f3ee4: Download complete
4e9cefa5299b: Verifying Checksum
4e9cefa5299b: Download complete
cc5f28ef7662: Verifying Checksum
cc5f28ef7662: Download complete
e3cdf819ebd9: Verifying Checksum
e3cdf819ebd9: Download complete
4f4fb700ef54: Verifying Checksum
4f4fb700ef54: Download complete
d67f67cce0c9: Verifying Checksum
d67f67cce0c9: Download complete
98586e50ba59: Verifying Checksum
98586e50ba59: Download complete
254dc46749bc: Verifying Checksum
254dc46749bc: Download complete
7ee86d26bde1: Verifying Checksum
7ee86d26bde1: Download complete
9274f8a25124: Verifying Checksum
9274f8a25124: Download complete
54277c64a2cf: Verifying Checksum
54277c64a2cf: Download complete
3e61abfb88ee: Pull complete
76b1d07b1a3b: Pull complete
ed0a77094d87: Pull complete
b701c0327936: Download complete
5520cae2ba51: Verifying Checksum
5520cae2ba51: Download complete
1e9a6fbdb422: Verifying Checksum
1e9a6fbdb422: Download complete
86fe8720be3d: Verifying Checksum
86fe8720be3d: Download complete
a3abdbab59cc: Verifying Checksum
a3abdbab59cc: Download complete
1f1577d1ab69: Verifying Checksum
1f1577d1ab69: Download complete
dda49bd8ac08: Pull complete
414badea72c2: Verifying Checksum
414badea72c2: Download complete
79841c38fc3d: Pull complete
e23fd9439732: Verifying Checksum
e23fd9439732: Download complete
d11abfe346ed: Verifying Checksum
d11abfe346ed: Download complete
850f5f345d4f: Download complete
45a44aaebcc9: Verifying Checksum
45a44aaebcc9: Download complete
1560e6818fb1: Verifying Checksum
1560e6818fb1: Download complete
e1c0adedaeec: Verifying Checksum
e1c0adedaeec: Download complete
716945da171a: Verifying Checksum
716945da171a: Download complete
dca5542c6a6c: Verifying Checksum
dca5542c6a6c: Download complete
b4a0ec97be31: Verifying Checksum
b4a0ec97be31: Download complete
ac156bfd6092: Verifying Checksum
ac156bfd6092: Download complete
0b5fd1110f83: Download complete
243e765f6bda: Verifying Checksum
243e765f6bda: Download complete
dbaa1f0ec53c: Verifying Checksum
e23fd9439732: Pull complete
269e9966d790: Pull complete
52cc4e5d6121: Pull complete
805e105b52dc: Pull complete
ae53fa2b5435: Pull complete
ba1024a7802c: Pull complete
f9c71e0456b4: Pull complete
49cdc11c577a: Pull complete
2e917b473884: Pull complete
4efed90b2a45: Pull complete
fc9321643256: Pull complete
892336fe0a02: Pull complete
bea8863f3ee4: Pull complete
4e9cefa5299b: Pull complete
e3cdf819ebd9: Pull complete
cc5f28ef7662: Pull complete
4f4fb700ef54: Pull complete
d67f67cce0c9: Pull complete
254dc46749bc: Pull complete
98586e50ba59: Pull complete
7ee86d26bde1: Pull complete
9274f8a25124: Pull complete
54277c64a2cf: Pull complete
b701c0327936: Pull complete
5520cae2ba51: Pull complete
86fe8720be3d: Pull complete
1e9a6fbdb422: Pull complete
a3abdbab59cc: Pull complete
1f1577d1ab69: Pull complete
243e765f6bda: Pull complete
414badea72c2: Pull complete
dca5542c6a6c: Pull complete
d11abfe346ed: Pull complete
850f5f345d4f: Pull complete
45a44aaebcc9: Pull complete
1560e6818fb1: Pull complete
e1c0adedaeec: Pull complete
716945da171a: Pull complete
dbaa1f0ec53c: Pull complete
b4a0ec97be31: Pull complete
ac156bfd6092: Pull complete
0b5fd1110f83: Pull complete
Digest: sha256:f4c82456e10adf78c4bf1849b05a8072cede5c2008b962470255ffcd8dbe88d2
Status: Downloaded newer image for ocaml/opam@sha256:f4c82456e10adf78c4bf1849b05a8072cede5c2008b962470255ffcd8dbe88d2
2026-05-05 15:51.23 ---> using "484c9fa6139706b8afa9764d3652fd702882e8e5056f93677166c9b0844fd477" from cache


/: (comment debian-13-5.4_riscv64_opam-2.5)


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


/: (env CLICOLOR_FORCE 1)


/: (env OPAMCOLOR always)


/: (workdir /src)


/src: (run (shell "sudo ln -f /usr/bin/opam-2.5 /usr/bin/opam"))
2026-05-05 15:51.23 ---> using "e3fcd17677c90ac2badefc4393aa347c1e93834183d635a58d0a18813c0c1cf1" 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
2026-05-05 15:51.23 ---> using "42cf30aa206babc6ffd1b40cb1eabcdb67ddeeb803e5b9fba84bc3e9e8f2948d" from cache


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 5.10.113-scw1
The OCaml toplevel, version 5.4.1
2.5.0
2026-05-05 15:51.23 ---> using "204e85d4f615e24dd02cc13f1e4e8326d5e39b1662e210cce7aafc479b511e97" from cache


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2026-05-05 15:51.23 ---> using "c5b3cebc9752b51849933feed0e5e6313e53b598d28fd4f67c68d439427a305a" from cache


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e a70af20c7161f9d2e1ede477647f5f9e06d6e78f || git fetch origin master) && git reset -q --hard a70af20c7161f9d2e1ede477647f5f9e06d6e78f && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch                  master     -> FETCH_HEAD
42844088d7..163a32c4d5  master     -> origin/master
a70af20c71 Merge pull request #29844 from shonfeder/release-dune-3.23.0


<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from git+file:///home/opam/opam-repository
default (at git+file:///home/opam/opam-repository):
[WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html)


default (at git+file:///home/opam/opam-repository):
[INFO] opam 2.5.1 includes security fixes; please consider upgrading (https://opam.ocaml.org/doc/Install.html)


Everything as up-to-date as possible
However, you may "opam upgrade" these packages explicitly at these versions (e.g. "opam upgrade ocaml.5.5.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)
2026-05-05 15:51.23 ---> using "ce37c0820ed2cf48f5807105134b51871c55c2e7d91e60920dfd4c3eb836a1c1" from cache


/src: (copy (src ca-certs.opam) (dst ./))
2026-05-05 15:51.23 ---> using "d8557819f7464d5f389d13f51cd53742c8950a1d9dea6f2cb5b1329b97b4990e" from cache


/src: (run (network host)
(shell "opam pin add -yn ca-certs.dev './'"))
[ca-certs.dev] synchronised (file:///src)
ca-certs is now pinned to file:///src (version dev)
2026-05-05 15:51.23 ---> using "9ab6fae6595692fb6d3011bace4a1ed5c6058186ea9bba3ff209ea0d97b25c1c" from cache


/src: (run (shell "echo '(lang dune 3.0)' > './dune-project'"))
2026-05-05 15:51.23 ---> using "9f4c38a72b22a4fd251f45c6d3643ee88e2af13ce02b9156989ed63e7925580b" from cache


/src: (env DEPS "alcotest.1.9.1 asn1-combinators.0.3.2 astring.0.8.5 base-bigarray.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base base64.3.5.2 bos.0.3.0 cmdliner.2.1.1 conf-gmp.5 conf-gmp-powm-sec.4 conf-pkg-config.4 csexp.1.5.2 digestif.1.3.0 domain-name.0.5.0 dune.3.23.0 dune-configurator.3.23.0 duration.0.3.1 eqaf.0.10 fmt.0.11.0 fpath.0.7.3 gmap.0.3.0 ipaddr.5.6.2 kdf.1.0.0 logs.0.10.0 macaddr.5.6.2 mirage-crypto.2.1.0 mirage-crypto-ec.2.1.0 mirage-crypto-pk.2.1.0 mirage-crypto-rng.2.1.0 ocaml.5.4.1 ocaml-base-compiler.5.4.1 ocaml-compiler.5.4.1 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocamlbuild.0.16.1 ocamlfind.1.9.8 ohex.0.2.0 ptime.1.2.0 re.1.14.0 rresult.0.7.0 stdlib-shims.0.3.0 topkg.1.1.1 uutf.1.0.4 x509.1.0.6 zarith.1.14")


/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.5 --depext-only -y ca-certs.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 [123 kB]
- Fetched 214 kB in 1s (425 kB/s)
- Reading package lists...
- 


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[ca-certs.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 3).
[NOTE] Package ocaml-compiler is already installed (current version is 5.4.1).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.4.1).
[NOTE] Package ocaml is already installed (current version is 5.4.1).
[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-nnp is already installed (current version is base).
[NOTE] Package base-effects is already installed (current version is base).
[NOTE] Package base-domains 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:
libgmp-dev pkg-config


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


+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev" "pkg-config"
- Selecting previously unselected package libgmpxx4ldbl: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 ... 20732 files and directories currently installed.)
- Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_riscv64.deb ...
- Unpacking libgmpxx4ldbl:riscv64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:riscv64.
- Preparing to unpack .../1-libgmp-dev_2%3a6.3.0+dfsg-3_riscv64.deb ...
- Unpacking libgmp-dev:riscv64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libpkgconf3:riscv64.
- Preparing to unpack .../2-libpkgconf3_1.8.1-4_riscv64.deb ...
- Unpacking libpkgconf3:riscv64 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../3-pkgconf-bin_1.8.1-4_riscv64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:riscv64.
- Preparing to unpack .../4-pkgconf_1.8.1-4_riscv64.deb ...
- Unpacking pkgconf:riscv64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:riscv64.
- Preparing to unpack .../5-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 libgmpxx4ldbl:riscv64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up libgmp-dev:riscv64 (2:6.3.0+dfsg-3) ...
- 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+deb13u2) ...
# To update the current shell environment, run: eval $(opam env)
2026-05-05 15:51.23 ---> using "3ed9fb4b0092cb2409a1b7f95ec227835b1f24485ffa1ba0507f68c2f88562de" from cache


/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 3).
[NOTE] Package ocaml-compiler is already installed (current version is 5.4.1).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.4.1).
[NOTE] Package ocaml is already installed (current version is 5.4.1).
[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-nnp is already installed (current version is base).
[NOTE] Package base-effects is already installed (current version is base).
[NOTE] Package base-domains 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 39 packages
- install alcotest           1.9.1
- install asn1-combinators   0.3.2
- install astring            0.8.5
- install base64             3.5.2
- install bos                0.3.0
- install cmdliner           2.1.1
- install conf-gmp           5
- install conf-gmp-powm-sec  4
- install conf-pkg-config    4
- install csexp              1.5.2
- install digestif           1.3.0
- install domain-name        0.5.0
- install dune               3.23.0
- install dune-configurator  3.23.0
- install duration           0.3.1
- install eqaf               0.10
- install fmt                0.11.0
- install fpath              0.7.3
- install gmap               0.3.0
- install ipaddr             5.6.2
- install kdf                1.0.0
- install logs               0.10.0
- install macaddr            5.6.2
- install mirage-crypto      2.1.0
- install mirage-crypto-ec   2.1.0
- install mirage-crypto-pk   2.1.0
- install mirage-crypto-rng  2.1.0
- install ocaml-syntax-shims 1.0.0
- install ocamlbuild         0.16.1
- install ocamlfind          1.9.8
- install ohex               0.2.0
- install ptime              1.2.0
- install re                 1.14.0
- install rresult            0.7.0
- install stdlib-shims       0.3.0
- install topkg              1.1.1
- install uutf               1.0.4
- install x509               1.0.6
- install zarith             1.14


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved alcotest.1.9.1  (cached)
-> retrieved asn1-combinators.0.3.2  (cached)
-> retrieved astring.0.8.5  (cached)
-> retrieved base64.3.5.2  (cached)
-> retrieved conf-gmp.5  (cached)
-> retrieved conf-gmp-powm-sec.4  (cached)
-> retrieved bos.0.3.0  (cached)
-> retrieved cmdliner.2.1.1  (cached)
-> retrieved csexp.1.5.2  (cached)
-> installed conf-gmp.5
-> installed conf-pkg-config.4
-> retrieved domain-name.0.5.0  (cached)
-> installed conf-gmp-powm-sec.4
-> retrieved duration.0.3.1  (cached)
-> retrieved eqaf.0.10  (cached)
-> retrieved fmt.0.11.0  (cached)
-> retrieved fpath.0.7.3  (cached)
-> retrieved gmap.0.3.0  (cached)
-> retrieved ipaddr.5.6.2, macaddr.5.6.2  (cached)
-> retrieved kdf.1.0.0  (cached)
-> retrieved logs.0.10.0  (cached)
-> retrieved digestif.1.3.0  (cached)
-> retrieved ocaml-syntax-shims.1.0.0  (cached)
-> retrieved ocamlbuild.0.16.1  (cached)
-> retrieved ocamlfind.1.9.8  (cached)
-> retrieved ohex.0.2.0  (cached)
-> retrieved mirage-crypto.2.1.0, mirage-crypto-ec.2.1.0, mirage-crypto-pk.2.1.0, mirage-crypto-rng.2.1.0  (cached)
-> retrieved ptime.1.2.0  (cached)
-> retrieved rresult.0.7.0  (cached)
-> retrieved re.1.14.0  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> retrieved uutf.1.0.4  (cached)
-> retrieved topkg.1.1.1  (cached)
-> retrieved x509.1.0.6  (cached)
-> retrieved zarith.1.14  (cached)
-> retrieved dune.3.23.0, dune-configurator.3.23.0  (cached)
-> installed cmdliner.2.1.1
-> installed ocamlbuild.0.16.1
-> installed ocamlfind.1.9.8
-> installed zarith.1.14
-> installed topkg.1.1.1
-> installed fmt.0.11.0
-> installed astring.0.8.5
-> installed logs.0.10.0
-> installed ptime.1.2.0
-> installed fpath.0.7.3
-> installed rresult.0.7.0
-> installed uutf.1.0.4
-> installed bos.0.3.0
-> installed dune.3.23.0
-> installed base64.3.5.2
-> installed csexp.1.5.2
-> installed duration.0.3.1
-> installed asn1-combinators.0.3.2
-> installed domain-name.0.5.0
-> installed gmap.0.3.0
-> installed macaddr.5.6.2
-> installed eqaf.0.10
-> installed ipaddr.5.6.2
-> installed dune-configurator.3.23.0
-> installed ohex.0.2.0
-> installed ocaml-syntax-shims.1.0.0
-> installed digestif.1.3.0
-> installed re.1.14.0
-> installed stdlib-shims.0.3.0
-> installed mirage-crypto.2.1.0
-> installed kdf.1.0.0
-> installed alcotest.1.9.1
-> installed mirage-crypto-rng.2.1.0
-> installed mirage-crypto-pk.2.1.0
-> installed mirage-crypto-ec.2.1.0
-> installed x509.1.0.6
Done.
# To update the current shell environment, run: eval $(opam env)
2026-05-05 15:51.23 ---> using "f02fe749cc0cfa85b4229c1724443ed72ea584a876f03607523ac85bf3b94a08" from cache


/src: (copy (src .) (dst /src))
2026-05-05 15:51.24 ---> saved as "f8c73b0d8d3a165e06fdfe8779b03e899b6dcee4757d93d86dbe78df6076be4a"


/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
(cd _build/default/test && ./tests.exe)
Testing `verification tests'.
This run has ID `9R3GIOAW'.


[OK]          X509 certificate validation          0   google.com.
[OK]          X509 certificate validation          1   extended-validation....
[OK]          X509 certificate validation          2   self-signed.badssl.com.
[OK]          X509 certificate validation          3   expired.badssl.com.
[OK]          X509 certificate validation          4   untrusted-root.badss...
[OK]          X509 certificate validation          5   wrong.host.badssl.com.
[OK]          X509 certificate validation          6   incomplete-chain.bad...
[OK]          X509 certificate validation          7   sha1-intermediate.ba...
[OK]          X509 certificate validation          8   wrong.host.google.com.


Full test results in `/src/_build/default/test/_build/_tests/verification tests'.
Test Successful in 0.011s. 9 tests run.
tests.exe: [EXEC:82] ['uname' '-s']
2026-05-05 15:51.32 ---> saved as "7cc5a2ae95481a09218fcc75d88b87d482fd7189008c44038c2dc7259d988142"
Job succeeded
2026-05-05 15:51.32: Job succeeded