Organisationsmirageca-certs319c8a (main)debian-13-5.4_riscv64_opam-2.5

debian-13-5.4_riscv64_opam-2.5

Logs

Show full logs
2026-02-20 10:12.41: New job: test mirage/ca-certs https://github.com/mirage/ca-certs.git#refs/heads/main (319c8a6e7c06da6a4fc3dab5db41cdd28be2e9cf) (linux-riscv64:debian-13-5.4_riscv64_opam-2.5)
Base: ocaml/opam:debian-13-ocaml-5.4@sha256:8478880978662dcabdd909d7e1519e3acebcea90e091a486a500c953d71f05d2
Opam project build

To reproduce locally:

git clone --recursive "https://github.com/mirage/ca-certs.git" -b "main" && cd "ca-certs" && git reset --hard 319c8a6e
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-5.4@sha256:8478880978662dcabdd909d7e1519e3acebcea90e091a486a500c953d71f05d2
# 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 d18d14011e4188f5c398421e2e99b297dd8150fb || git fetch origin master) && git reset -q --hard d18d14011e4188f5c398421e2e99b297dd8150fb && 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.2.1 cmdliner.2.1.0 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.21.1 dune-configurator.3.21.1 duration.0.2.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.0.3 mirage-crypto-ec.2.0.3 mirage-crypto-pk.2.0.3 mirage-crypto-rng.2.0.3 ocaml.5.4.0 ocaml-base-compiler.5.4.0 ocaml-compiler.5.4.0 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-02-20 10:12.41: Using cache hint "mirage/ca-certs-ocaml/opam:debian-13-ocaml-5.4@sha256:8478880978662dcabdd909d7e1519e3acebcea90e091a486a500c953d71f05d2-debian-13-5.4_riscv64_opam-2.5-3103a2363c38017c7d6abb497e1ef0b9"
2026-02-20 10:12.41: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-5.4@sha256:8478880978662dcabdd909d7e1519e3acebcea90e091a486a500c953d71f05d2)
 (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 d18d14011e4188f5c398421e2e99b297dd8150fb || git fetch origin master) && git reset -q --hard d18d14011e4188f5c398421e2e99b297dd8150fb && 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 (network host)
      (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.2.1 cmdliner.2.1.0 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.21.1 dune-configurator.3.21.1 duration.0.2.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.0.3 mirage-crypto-ec.2.0.3 mirage-crypto-pk.2.0.3 mirage-crypto-rng.2.0.3 ocaml.5.4.0 ocaml-base-compiler.5.4.0 ocaml-compiler.5.4.0 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-02-20 10:12.41: Waiting for resource in pool OCluster
2026-02-21 08:35.38: Waiting for worker…
2026-02-21 18:08.33: Got resource from pool OCluster
Building on riscv-bm-02.sw.ci.dev
All commits already cached
HEAD is now at 319c8a6 changes for 1.0.1

(from ocaml/opam:debian-13-ocaml-5.4@sha256:8478880978662dcabdd909d7e1519e3acebcea90e091a486a500c953d71f05d2)
Unable to find image 'ocaml/opam:debian-13-ocaml-5.4@sha256:8478880978662dcabdd909d7e1519e3acebcea90e091a486a500c953d71f05d2' locally
docker.io/ocaml/opam@sha256:8478880978662dcabdd909d7e1519e3acebcea90e091a486a500c953d71f05d2: Pulling from ocaml/opam
618efd37f747: Pulling fs layer
807a8291ddb0: Pulling fs layer
2e2279de5c73: Pulling fs layer
aae7dc742810: Pulling fs layer
3cec207aa14a: Pulling fs layer
18b12c1acb88: Pulling fs layer
acbfc9fbdbf8: Pulling fs layer
a8a6e0657412: Pulling fs layer
8acc48d79cdd: Pulling fs layer
d7bfca1bdcee: Pulling fs layer
f5767448fecb: Pulling fs layer
9e4f850c79b8: Pulling fs layer
b74c0ffab381: Pulling fs layer
e4a5032c37ab: Pulling fs layer
1b54e9b68277: Pulling fs layer
b98aec32a95b: Pulling fs layer
f5bfe2af8178: Pulling fs layer
1cfb64d28ca5: Pulling fs layer
e3acd056c8ee: Pulling fs layer
6960f2aaef1f: Pulling fs layer
c3964517f3bc: Pulling fs layer
3c0a0b6999de: Pulling fs layer
4f4fb700ef54: Pulling fs layer
5ce14d7970b4: Pulling fs layer
bb3bc8516da4: Pulling fs layer
b3a87d32bba2: Pulling fs layer
1762f27d436d: Pulling fs layer
99320947d43f: Pulling fs layer
c4db19486c3c: Pulling fs layer
992d9d59969f: Pulling fs layer
637e0e20ec7c: Pulling fs layer
47840a848071: Pulling fs layer
2a8e2f9b5e4e: Pulling fs layer
cc9789c8ffe1: Pulling fs layer
23bf8b7fd7aa: Pulling fs layer
a99490d260ea: Pulling fs layer
83cc3b894b2f: Pulling fs layer
fb2c91aceb82: Pulling fs layer
e0e3fe006985: Pulling fs layer
1cd1d61c072e: Pulling fs layer
7f2574212212: Pulling fs layer
a403e1917fd3: Pulling fs layer
01aa1f981bca: Pulling fs layer
697c6f0e5804: Pulling fs layer
21b9e9be9fe0: Pulling fs layer
6443ee58b347: Pulling fs layer
5e70cfe9986d: Pulling fs layer
6bcc01c76d0a: Pulling fs layer
b74c0ffab381: Waiting
e4a5032c37ab: Waiting
637e0e20ec7c: Waiting
1b54e9b68277: Waiting
47840a848071: Waiting
b98aec32a95b: Waiting
2a8e2f9b5e4e: Waiting
f5bfe2af8178: Waiting
cc9789c8ffe1: Waiting
1cfb64d28ca5: Waiting
23bf8b7fd7aa: Waiting
aae7dc742810: Waiting
a99490d260ea: Waiting
e3acd056c8ee: Waiting
3cec207aa14a: Waiting
6960f2aaef1f: Waiting
18b12c1acb88: Waiting
c3964517f3bc: Waiting
acbfc9fbdbf8: Waiting
a8a6e0657412: Waiting
3c0a0b6999de: Waiting
83cc3b894b2f: Waiting
8acc48d79cdd: Waiting
4f4fb700ef54: Waiting
fb2c91aceb82: Waiting
d7bfca1bdcee: Waiting
e0e3fe006985: Waiting
5ce14d7970b4: Waiting
1cd1d61c072e: Waiting
bb3bc8516da4: Waiting
f5767448fecb: Waiting
b3a87d32bba2: Waiting
7f2574212212: Waiting
9e4f850c79b8: Waiting
a403e1917fd3: Waiting
1762f27d436d: Waiting
01aa1f981bca: Waiting
6bcc01c76d0a: Waiting
697c6f0e5804: Waiting
99320947d43f: Waiting
21b9e9be9fe0: Waiting
992d9d59969f: Waiting
5e70cfe9986d: Waiting
6443ee58b347: Waiting
c4db19486c3c: Waiting
807a8291ddb0: Verifying Checksum
807a8291ddb0: Download complete
2e2279de5c73: Verifying Checksum
2e2279de5c73: Download complete
618efd37f747: Verifying Checksum
618efd37f747: Download complete
3cec207aa14a: Verifying Checksum
3cec207aa14a: Download complete
acbfc9fbdbf8: Verifying Checksum
acbfc9fbdbf8: Download complete
aae7dc742810: Verifying Checksum
aae7dc742810: Download complete
a8a6e0657412: Verifying Checksum
a8a6e0657412: Download complete
8acc48d79cdd: Verifying Checksum
8acc48d79cdd: Download complete
d7bfca1bdcee: Verifying Checksum
d7bfca1bdcee: Download complete
9e4f850c79b8: Verifying Checksum
9e4f850c79b8: Download complete
b74c0ffab381: Verifying Checksum
b74c0ffab381: Download complete
f5767448fecb: Verifying Checksum
f5767448fecb: Download complete
e4a5032c37ab: Verifying Checksum
e4a5032c37ab: Download complete
618efd37f747: Pull complete
807a8291ddb0: Pull complete
2e2279de5c73: Pull complete
aae7dc742810: Pull complete
3cec207aa14a: Pull complete
18b12c1acb88: Verifying Checksum
18b12c1acb88: Download complete
b98aec32a95b: Verifying Checksum
b98aec32a95b: Download complete
f5bfe2af8178: Verifying Checksum
f5bfe2af8178: Download complete
1b54e9b68277: Verifying Checksum
1b54e9b68277: Download complete
e3acd056c8ee: Verifying Checksum
e3acd056c8ee: Download complete
1cfb64d28ca5: Download complete
6960f2aaef1f: Verifying Checksum
6960f2aaef1f: Download complete
c3964517f3bc: Verifying Checksum
c3964517f3bc: Download complete
3c0a0b6999de: Verifying Checksum
3c0a0b6999de: Download complete
4f4fb700ef54: Download complete
bb3bc8516da4: Verifying Checksum
bb3bc8516da4: Download complete
5ce14d7970b4: Verifying Checksum
5ce14d7970b4: Download complete
b3a87d32bba2: Download complete
1762f27d436d: Verifying Checksum
1762f27d436d: Download complete
99320947d43f: Verifying Checksum
99320947d43f: Download complete
c4db19486c3c: Verifying Checksum
c4db19486c3c: Download complete
992d9d59969f: Verifying Checksum
992d9d59969f: Download complete
637e0e20ec7c: Download complete
47840a848071: Verifying Checksum
2a8e2f9b5e4e: Verifying Checksum
2a8e2f9b5e4e: Download complete
cc9789c8ffe1: Verifying Checksum
cc9789c8ffe1: Download complete
23bf8b7fd7aa: Verifying Checksum
23bf8b7fd7aa: Download complete
83cc3b894b2f: Verifying Checksum
83cc3b894b2f: Download complete
e0e3fe006985: Verifying Checksum
e0e3fe006985: Download complete
1cd1d61c072e: Verifying Checksum
1cd1d61c072e: Download complete
7f2574212212: Download complete
a403e1917fd3: Verifying Checksum
a403e1917fd3: Download complete
01aa1f981bca: Download complete
697c6f0e5804: Download complete
a99490d260ea: Verifying Checksum
a99490d260ea: Download complete
6443ee58b347: Verifying Checksum
6443ee58b347: Download complete
5e70cfe9986d: Verifying Checksum
5e70cfe9986d: Download complete
6bcc01c76d0a: Verifying Checksum
6bcc01c76d0a: Download complete
21b9e9be9fe0: Verifying Checksum
21b9e9be9fe0: Download complete
fb2c91aceb82: Download complete
18b12c1acb88: Pull complete
acbfc9fbdbf8: Pull complete
a8a6e0657412: Pull complete
8acc48d79cdd: Pull complete
d7bfca1bdcee: Pull complete
f5767448fecb: Pull complete
9e4f850c79b8: Pull complete
b74c0ffab381: Pull complete
e4a5032c37ab: Pull complete
1b54e9b68277: Pull complete
b98aec32a95b: Pull complete
f5bfe2af8178: Pull complete
1cfb64d28ca5: Pull complete
e3acd056c8ee: Pull complete
6960f2aaef1f: Pull complete
c3964517f3bc: Pull complete
3c0a0b6999de: Pull complete
4f4fb700ef54: Pull complete
5ce14d7970b4: Pull complete
bb3bc8516da4: Pull complete
b3a87d32bba2: Pull complete
1762f27d436d: Pull complete
99320947d43f: Pull complete
c4db19486c3c: Pull complete
992d9d59969f: Pull complete
637e0e20ec7c: Pull complete
47840a848071: Pull complete
2a8e2f9b5e4e: Pull complete
cc9789c8ffe1: Pull complete
23bf8b7fd7aa: Pull complete
a99490d260ea: Pull complete
83cc3b894b2f: Pull complete
fb2c91aceb82: Pull complete
e0e3fe006985: Pull complete
1cd1d61c072e: Pull complete
7f2574212212: Pull complete
a403e1917fd3: Pull complete
01aa1f981bca: Pull complete
697c6f0e5804: Pull complete
21b9e9be9fe0: Pull complete
6443ee58b347: Pull complete
5e70cfe9986d: Pull complete
6bcc01c76d0a: Pull complete
Digest: sha256:8478880978662dcabdd909d7e1519e3acebcea90e091a486a500c953d71f05d2
Status: Downloaded newer image for ocaml/opam@sha256:8478880978662dcabdd909d7e1519e3acebcea90e091a486a500c953d71f05d2
2026-02-21 18:08.34 ---> using "0e5814e8d185ec3490d16f5cc887c1e323fe951097141986751e9539010076c7" 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-02-21 18:08.34 ---> using "75676d0e78826da5add168994006064acdf62cfbef0c6e81e04d2cc1181cea27" 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-02-21 18:08.34 ---> using "ad2568132c604d5f59a58444d92068d40c6ac96b0ab7276df29a72251db4f04d" from cache

/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 5.10.113-scw1
The OCaml toplevel, version 5.4.0
2.5.0
2026-02-21 18:08.34 ---> using "f78fd80da41b4b690910f0fb2c24ab058c6a421e0b694e413811cccc629c939a" from cache

/src: (workdir /src)

/src: (run (shell "sudo chown opam /src"))
2026-02-21 18:08.34 ---> using "90aa82c854cdee74644e37dfd5b63fd52605fa1700827693196561810a8fdcc4" from cache

/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
           (network host)
           (shell "cd ~/opam-repository && (git cat-file -e d18d14011e4188f5c398421e2e99b297dd8150fb || git fetch origin master) && git reset -q --hard d18d14011e4188f5c398421e2e99b297dd8150fb && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
 * branch                  master     -> FETCH_HEAD
   340ee6fd1f..b820e8c25e  master     -> origin/master
d18d14011e Merge pull request #29430 from hannesm/release-ipaddr-v5.6.2

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

Everything as up-to-date as possible
However, you may "opam upgrade" these packages explicitly at these versions (e.g. "opam upgrade ocaml.5.4.1"), 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-02-21 18:08.34 ---> using "05f809c99fcc6f8101371fb5799a9ec2f1ce70f7f7f6b54a796abbc33c27ec21" from cache

/src: (copy (src ca-certs.opam) (dst ./))
2026-02-21 18:08.34 ---> using "270cf69497839339361ad3b2aaa0eb3cc43b2e1387119eb781c281d301a3b19c" 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-02-21 18:08.34 ---> using "db3f3e2347af9b0737b6e8f7a36f6bde1b3e19073bf840be3d0c3f0d84d69ae4" from cache

/src: (run (network host)
           (shell "echo '(lang dune 3.0)' > './dune-project'"))
2026-02-21 18:08.34 ---> using "d42e709f2806ad6a2710073ba9119f9748b60ad3001dc60d613e6cd1532be8d8" 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.2.1 cmdliner.2.1.0 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.21.1 dune-configurator.3.21.1 duration.0.2.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.0.3 mirage-crypto-ec.2.0.3 mirage-crypto-pk.2.0.3 mirage-crypto-rng.2.0.3 ocaml.5.4.0 ocaml-base-compiler.5.4.0 ocaml-compiler.5.4.0 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 [104 kB]
- Fetched 194 kB in 0s (436 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.0).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.4.0).
[NOTE] Package ocaml is already installed (current version is 5.4.0).
[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+deb13u1) ...
# To update the current shell environment, run: eval $(opam env)
2026-02-21 18:08.34 ---> using "47bcccdc31268d6be4ff9bd84cfaf94f04571d7ee66357bd3710dfa23a9b2853" 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.0).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.4.0).
[NOTE] Package ocaml is already installed (current version is 5.4.0).
[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.2.1
  - install cmdliner           2.1.0
  - 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.21.1
  - install dune-configurator  3.21.1
  - install duration           0.2.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.0.3
  - install mirage-crypto-ec   2.0.3
  - install mirage-crypto-pk   2.0.3
  - install mirage-crypto-rng  2.0.3
  - 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.2.1  (cached)
-> retrieved cmdliner.2.1.0  (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.2.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 ptime.1.2.0  (cached)
-> retrieved re.1.14.0  (cached)
-> retrieved rresult.0.7.0  (cached)
-> retrieved mirage-crypto.2.0.3, mirage-crypto-ec.2.0.3, mirage-crypto-pk.2.0.3, mirage-crypto-rng.2.0.3  (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 dune.3.21.1, dune-configurator.3.21.1  (cached)
-> retrieved zarith.1.14  (cached)
-> installed cmdliner.2.1.0
-> 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.2.1
-> installed dune.3.21.1
-> installed csexp.1.5.2
-> installed base64.3.5.2
-> installed asn1-combinators.0.3.2
-> installed domain-name.0.5.0
-> installed duration.0.2.1
-> installed gmap.0.3.0
-> installed macaddr.5.6.2
-> installed eqaf.0.10
-> installed ipaddr.5.6.2
-> installed dune-configurator.3.21.1
-> 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.0.3
-> installed kdf.1.0.0
-> installed alcotest.1.9.1
-> installed mirage-crypto-rng.2.0.3
-> installed mirage-crypto-pk.2.0.3
-> installed mirage-crypto-ec.2.0.3
-> installed x509.1.0.6
Done.
# To update the current shell environment, run: eval $(opam env)
2026-02-21 18:08.34 ---> using "db4ad5d3c1fcaef4412b0d2beecde7b5186b710bbc20f845042c7c0f36f07de9" from cache

/src: (copy (src .) (dst /src))
2026-02-21 18:08.34 ---> saved as "bfe2cb27f60de09c9b075a9bf79395b596e338c8511709a2643cf16fafab8298"

/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 `3I0LOP08'.

  [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.012s. 9 tests run.
tests.exe: [EXEC:55] ['uname' '-s']
2026-02-21 18:08.42 ---> saved as "7d1a469f9a2d0dfa74c9ccd531e518fc9845f094c425f88f41468d57fb9017e4"
Job succeeded
2026-02-21 18:08.42: Job succeeded