Organisations ocaml-multicore picos 731b01 ()debian-13-5.4_riscv64_opam-2.4
debian-13-5.4_riscv64_opam-2.4

Created at -
- in queue
Finished at -
731b01
Ran for -
Link Copied
Code Copied
Logs

Show raw logs
2025-10-31 08:22.44: New job: test ocaml-multicore/picos https://github.com/ocaml-multicore/picos.git#refs/heads/adaptive-bo-mpmcq (731b018d79f8ed0503e5b79c056afef9031611ce) (linux-riscv64:debian-13-5.4_riscv64_opam-2.4)
Base: ocaml/opam:debian-13-ocaml-5.4@sha256:888c774d4d58e7f324b6278c087e64732081a76af78f2e7652efdf68a8b25288
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/ocaml-multicore/picos.git" -b "adaptive-bo-mpmcq" && cd "picos" && git reset --hard 731b018d
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-5.4@sha256:888c774d4d58e7f324b6278c087e64732081a76af78f2e7652efdf68a8b25288
# debian-13-5.4_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 7f9c784b97b368cd82ee80890d9866b8e66b7c1b || git fetch origin master) && git reset -q --hard 7f9c784b97b368cd82ee80890d9866b8e66b7c1b && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 picos_std.opam picos_mux.opam picos_meta.opam picos_lwt.opam picos_io_cohttp.opam picos_io.opam picos_aux.opam picos.opam ./
RUN opam pin add -yn picos_std.dev './' && \
opam pin add -yn picos_mux.dev './' && \
opam pin add -yn picos_meta.dev './' && \
opam pin add -yn picos_lwt.dev './' && \
opam pin add -yn picos_io_cohttp.dev './' && \
opam pin add -yn picos_io.dev './' && \
opam pin add -yn picos_aux.dev './' && \
opam pin add -yn picos.dev './'
RUN echo '(lang dune 3.0)' > './dune-project'
ENV DEPS="alcotest.1.9.1 angstrom.0.16.1 asn1-combinators.0.3.2 astring.0.8.5 backoff.0.1.1 base.v0.17.3 base-bigarray.base base-bytes.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base base64.3.5.2 bigstringaf.0.10.0 bos.0.2.1 ca-certs.1.0.1 camlp-streams.5.0.1 cmdliner.2.0.0 cohttp.6.1.1 cohttp-lwt.6.1.1 cohttp-lwt-unix.6.1.1 conduit.8.0.0 conduit-lwt.8.0.0 conduit-lwt-unix.8.0.0 conf-gmp.5 conf-gmp-powm-sec.4 conf-pkg-config.4 containers.3.16 cppo.1.8.0 csexp.1.5.2 digestif.1.3.0 domain-local-await.1.0.1 domain-name.0.5.0 domain_shims.0.1.0 dscheck.0.5.0 dune.3.20.2 dune-configurator.3.20.2 duration.0.2.1 either.1.0.0 eqaf.0.10 fmt.0.11.0 fpath.0.7.3 gen.1.1 gmap.0.3.0 http.6.1.1 ipaddr.5.6.1 ipaddr-sexp.5.6.1 js_of_ocaml.6.2.0 js_of_ocaml-compiler.6.2.0 kdf.1.0.0 logs.0.9.0 lwt.5.9.2 macaddr.5.6.1 magic-mime.1.3.1 mdx.2.5.1 menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 mirage-crypto.2.0.2 mirage-crypto-ec.2.0.2 mirage-crypto-pk.2.0.2 mirage-crypto-rng.2.0.2 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.1 multicore-magic-dscheck.2.3.1 ocaml.5.4.0 ocaml-base-compiler.5.4.0 ocaml-compiler.5.4.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocaml_intrinsics_kernel.v0.17.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 oseq.0.5.1 ppx_derivers.1.2.1 ppx_sexp_conv.v0.17.1 ppxlib.0.37.0 ppxlib_jane.v0.17.4 psq.0.2.1 ptime.1.2.0 qcheck-core.0.26 qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0 result.1.5 rresult.0.7.0 sedlex.3.7 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 stringext.1.6.0 thread-local-storage.0.2 thread-table.1.0.0 topkg.1.1.0 tsort.2.2.0 uri.4.4.0 uri-sexp.4.4.0 uutf.1.0.4 x509.1.0.6 yojson.3.0.0 zarith.1.14"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.4 --depext-only -y picos_std.dev picos_mux.dev picos_meta.dev picos_lwt.dev picos_io_cohttp.dev picos_io.dev picos_aux.dev picos.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-31 08:22.44: Using cache hint "ocaml-multicore/picos-ocaml/opam:debian-13-ocaml-5.4@sha256:888c774d4d58e7f324b6278c087e64732081a76af78f2e7652efdf68a8b25288-debian-13-5.4_riscv64_opam-2.4-39dbee69ce4db8b1024578354abfc736"
2025-10-31 08:22.44: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-5.4@sha256:888c774d4d58e7f324b6278c087e64732081a76af78f2e7652efdf68a8b25288)
(comment debian-13-5.4_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 7f9c784b97b368cd82ee80890d9866b8e66b7c1b || git fetch origin master) && git reset -q --hard 7f9c784b97b368cd82ee80890d9866b8e66b7c1b && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src picos_std.opam picos_mux.opam picos_meta.opam picos_lwt.opam picos_io_cohttp.opam picos_io.opam picos_aux.opam picos.opam)
(dst ./))
(run (network host)
(shell  "opam pin add -yn picos_std.dev './' && \
\nopam pin add -yn picos_mux.dev './' && \
\nopam pin add -yn picos_meta.dev './' && \
\nopam pin add -yn picos_lwt.dev './' && \
\nopam pin add -yn picos_io_cohttp.dev './' && \
\nopam pin add -yn picos_io.dev './' && \
\nopam pin add -yn picos_aux.dev './' && \
\nopam pin add -yn picos.dev './'"))
(run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
(env DEPS "alcotest.1.9.1 angstrom.0.16.1 asn1-combinators.0.3.2 astring.0.8.5 backoff.0.1.1 base.v0.17.3 base-bigarray.base base-bytes.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base base64.3.5.2 bigstringaf.0.10.0 bos.0.2.1 ca-certs.1.0.1 camlp-streams.5.0.1 cmdliner.2.0.0 cohttp.6.1.1 cohttp-lwt.6.1.1 cohttp-lwt-unix.6.1.1 conduit.8.0.0 conduit-lwt.8.0.0 conduit-lwt-unix.8.0.0 conf-gmp.5 conf-gmp-powm-sec.4 conf-pkg-config.4 containers.3.16 cppo.1.8.0 csexp.1.5.2 digestif.1.3.0 domain-local-await.1.0.1 domain-name.0.5.0 domain_shims.0.1.0 dscheck.0.5.0 dune.3.20.2 dune-configurator.3.20.2 duration.0.2.1 either.1.0.0 eqaf.0.10 fmt.0.11.0 fpath.0.7.3 gen.1.1 gmap.0.3.0 http.6.1.1 ipaddr.5.6.1 ipaddr-sexp.5.6.1 js_of_ocaml.6.2.0 js_of_ocaml-compiler.6.2.0 kdf.1.0.0 logs.0.9.0 lwt.5.9.2 macaddr.5.6.1 magic-mime.1.3.1 mdx.2.5.1 menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 mirage-crypto.2.0.2 mirage-crypto-ec.2.0.2 mirage-crypto-pk.2.0.2 mirage-crypto-rng.2.0.2 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.1 multicore-magic-dscheck.2.3.1 ocaml.5.4.0 ocaml-base-compiler.5.4.0 ocaml-compiler.5.4.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocaml_intrinsics_kernel.v0.17.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 oseq.0.5.1 ppx_derivers.1.2.1 ppx_sexp_conv.v0.17.1 ppxlib.0.37.0 ppxlib_jane.v0.17.4 psq.0.2.1 ptime.1.2.0 qcheck-core.0.26 qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0 result.1.5 rresult.0.7.0 sedlex.3.7 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 stringext.1.6.0 thread-local-storage.0.2 thread-table.1.0.0 topkg.1.1.0 tsort.2.2.0 uri.4.4.0 uri-sexp.4.4.0 uutf.1.0.4 x509.1.0.6 yojson.3.0.0 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.4 --depext-only -y picos_std.dev picos_mux.dev picos_meta.dev picos_lwt.dev picos_io_cohttp.dev picos_io.dev picos_aux.dev picos.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-31 08:22.44: Waiting for resource in pool OCluster
2025-10-31 08:22.44: Waiting for worker…
2025-10-31 08:34.08: Got resource from pool OCluster
Building on riscv-bm-02.sw.ci.dev
All commits already cached
HEAD is now at 731b018 Use adaptive backoff in mpmcq


(from ocaml/opam:debian-13-ocaml-5.4@sha256:888c774d4d58e7f324b6278c087e64732081a76af78f2e7652efdf68a8b25288)
2025-10-31 08:34.09 ---> using "4fbebff2fe9ef1495e2d214609b2035574aee42978f29274f9ade35b3a9e6719" from cache


/: (comment debian-13-5.4_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-31 08:34.09 ---> using "527ab505f1d7efafc8447b9ab5b51e78bded47dc20193bfc1e609a4f5a8660cd" 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-31 08:34.09 ---> using "ef3971c1a78d0fadecd4a56e92a3279693226b19b1d03251b9953afe2a9d9d48" 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.4.1
2025-10-31 08:34.09 ---> using "99827ec3f74219203532dd967ad83b982b5f930c87faab8530ffa6a021da7b6c" from cache


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2025-10-31 08:34.09 ---> using "1e8f4a2b1bf1e3fc977029161890dd1e7a3c35e6f17fcd0be8e8891052cfde27" from cache


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 7f9c784b97b368cd82ee80890d9866b8e66b7c1b || git fetch origin master) && git reset -q --hard 7f9c784b97b368cd82ee80890d9866b8e66b7c1b && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch                  master     -> FETCH_HEAD
1abfcdbf14..263b2e6219  master     -> origin/master
7f9c784b97 Merge pull request #28787 from ocaml/mseri-patch-1


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


Already up-to-date.
Nothing to do.
# To update the current shell environment, run: eval $(opam env)
2025-10-31 08:34.09 ---> using "6bdcdcd2da69c9043dd5f8a98931bd6e2c987fd94a9ed9132c3426a1da1199ff" from cache


/src: (copy (src picos_std.opam picos_mux.opam picos_meta.opam picos_lwt.opam picos_io_cohttp.opam picos_io.opam picos_aux.opam picos.opam)
(dst ./))
2025-10-31 08:34.09 ---> using "ba07e1f56120a7616a4b3fd3630e29d60d00a0571d0940d53060706469021232" from cache


/src: (run (network host)
(shell  "opam pin add -yn picos_std.dev './' && \
\nopam pin add -yn picos_mux.dev './' && \
\nopam pin add -yn picos_meta.dev './' && \
\nopam pin add -yn picos_lwt.dev './' && \
\nopam pin add -yn picos_io_cohttp.dev './' && \
\nopam pin add -yn picos_io.dev './' && \
\nopam pin add -yn picos_aux.dev './' && \
\nopam pin add -yn picos.dev './'"))
[picos_std.dev] synchronised (file:///src)
picos_std is now pinned to file:///src (version dev)
[picos_mux.dev] synchronised (file:///src)
picos_mux is now pinned to file:///src (version dev)
[picos_meta.dev] synchronised (file:///src)
picos_meta is now pinned to file:///src (version dev)
[picos_lwt.dev] synchronised (file:///src)
picos_lwt is now pinned to file:///src (version dev)
[picos_io_cohttp.dev] synchronised (file:///src)
picos_io_cohttp is now pinned to file:///src (version dev)
[picos_io.dev] synchronised (file:///src)
picos_io is now pinned to file:///src (version dev)
[picos_aux.dev] synchronised (file:///src)
picos_aux is now pinned to file:///src (version dev)
[picos.dev] synchronised (file:///src)
picos is now pinned to file:///src (version dev)
2025-10-31 08:34.09 ---> using "a123d58c2c451d09363816b53ddfc59122647146a3233c340c2ca2ba3a4a98d4" from cache


/src: (run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
2025-10-31 08:34.09 ---> using "e3df83f250284f53d86953f7711ee23016ab108d11029ac3a2ab6056c62b573a" from cache


/src: (env DEPS "alcotest.1.9.1 angstrom.0.16.1 asn1-combinators.0.3.2 astring.0.8.5 backoff.0.1.1 base.v0.17.3 base-bigarray.base base-bytes.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base base64.3.5.2 bigstringaf.0.10.0 bos.0.2.1 ca-certs.1.0.1 camlp-streams.5.0.1 cmdliner.2.0.0 cohttp.6.1.1 cohttp-lwt.6.1.1 cohttp-lwt-unix.6.1.1 conduit.8.0.0 conduit-lwt.8.0.0 conduit-lwt-unix.8.0.0 conf-gmp.5 conf-gmp-powm-sec.4 conf-pkg-config.4 containers.3.16 cppo.1.8.0 csexp.1.5.2 digestif.1.3.0 domain-local-await.1.0.1 domain-name.0.5.0 domain_shims.0.1.0 dscheck.0.5.0 dune.3.20.2 dune-configurator.3.20.2 duration.0.2.1 either.1.0.0 eqaf.0.10 fmt.0.11.0 fpath.0.7.3 gen.1.1 gmap.0.3.0 http.6.1.1 ipaddr.5.6.1 ipaddr-sexp.5.6.1 js_of_ocaml.6.2.0 js_of_ocaml-compiler.6.2.0 kdf.1.0.0 logs.0.9.0 lwt.5.9.2 macaddr.5.6.1 magic-mime.1.3.1 mdx.2.5.1 menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 mirage-crypto.2.0.2 mirage-crypto-ec.2.0.2 mirage-crypto-pk.2.0.2 mirage-crypto-rng.2.0.2 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.1 multicore-magic-dscheck.2.3.1 ocaml.5.4.0 ocaml-base-compiler.5.4.0 ocaml-compiler.5.4.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocaml_intrinsics_kernel.v0.17.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocplib-endian.1.2 ohex.0.2.0 oseq.0.5.1 ppx_derivers.1.2.1 ppx_sexp_conv.v0.17.1 ppxlib.0.37.0 ppxlib_jane.v0.17.4 psq.0.2.1 ptime.1.2.0 qcheck-core.0.26 qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0 result.1.5 rresult.0.7.0 sedlex.3.7 seq.base sexplib0.v0.17.0 stdlib-shims.0.3.0 stringext.1.6.0 thread-local-storage.0.2 thread-table.1.0.0 topkg.1.1.0 tsort.2.2.0 uri.4.4.0 uri-sexp.4.4.0 uutf.1.0.4 x509.1.0.6 yojson.3.0.0 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.4 --depext-only -y picos_std.dev picos_mux.dev picos_meta.dev picos_lwt.dev picos_io_cohttp.dev picos_io.dev picos_aux.dev picos.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 [64.6 kB]
- Fetched 155 kB in 0s (317 kB/s)
- Reading package lists...
- 


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[picos.dev] synchronised (file:///src)
[picos_aux.dev] synchronised (file:///src)
[picos_io.dev] synchronised (file:///src)
[picos_io_cohttp.dev] synchronised (file:///src)
[picos_lwt.dev] synchronised (file:///src)
[picos_meta.dev] synchronised (file:///src)
[picos_mux.dev] synchronised (file:///src)
[picos_std.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 ... 20731 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) ...
2025-10-31 08:34.09 ---> using "df9e64ba5dcacce16cd5741394b51b97c2cdee5e3d2ca96be536ede9950775b7" 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 98 packages
- install alcotest                   1.9.1
- install angstrom                   0.16.1
- install asn1-combinators           0.3.2
- install astring                    0.8.5
- install backoff                    0.1.1
- install base                       v0.17.3
- install base-bytes                 base
- install base64                     3.5.2
- install bigstringaf                0.10.0
- install bos                        0.2.1
- install ca-certs                   1.0.1
- install camlp-streams              5.0.1
- install cmdliner                   2.0.0
- install cohttp                     6.1.1
- install cohttp-lwt                 6.1.1
- install cohttp-lwt-unix            6.1.1
- install conduit                    8.0.0
- install conduit-lwt                8.0.0
- install conduit-lwt-unix           8.0.0
- install conf-gmp                   5
- install conf-gmp-powm-sec          4
- install conf-pkg-config            4
- install containers                 3.16
- install cppo                       1.8.0
- install csexp                      1.5.2
- install digestif                   1.3.0
- install domain-local-await         1.0.1
- install domain-name                0.5.0
- install domain_shims               0.1.0
- install dscheck                    0.5.0
- install dune                       3.20.2
- install dune-configurator          3.20.2
- install duration                   0.2.1
- install either                     1.0.0
- install eqaf                       0.10
- install fmt                        0.11.0
- install fpath                      0.7.3
- install gen                        1.1
- install gmap                       0.3.0
- install http                       6.1.1
- install ipaddr                     5.6.1
- install ipaddr-sexp                5.6.1
- install js_of_ocaml                6.2.0
- install js_of_ocaml-compiler       6.2.0
- install kdf                        1.0.0
- install logs                       0.9.0
- install lwt                        5.9.2
- install macaddr                    5.6.1
- install magic-mime                 1.3.1
- install mdx                        2.5.1
- install menhir                     20250912
- install menhirCST                  20250912
- install menhirLib                  20250912
- install menhirSdk                  20250912
- install mirage-crypto              2.0.2
- install mirage-crypto-ec           2.0.2
- install mirage-crypto-pk           2.0.2
- install mirage-crypto-rng          2.0.2
- install mtime                      2.1.0
- install multicore-bench            0.1.7
- install multicore-magic            2.3.1
- install multicore-magic-dscheck    2.3.1
- install ocaml-compiler-libs        v0.17.0
- install ocaml-syntax-shims         1.0.0
- install ocaml-version              4.0.3
- install ocaml_intrinsics_kernel    v0.17.1
- install ocamlbuild                 0.16.1
- install ocamlfind                  1.9.8
- install ocplib-endian              1.2
- install ohex                       0.2.0
- install oseq                       0.5.1
- install ppx_derivers               1.2.1
- install ppx_sexp_conv              v0.17.1
- install ppxlib                     0.37.0
- install ppxlib_jane                v0.17.4
- install psq                        0.2.1
- install ptime                      1.2.0
- install qcheck-core                0.26
- install qcheck-multicoretests-util 0.10
- install qcheck-stm                 0.10
- install re                         1.14.0
- install result                     1.5
- install rresult                    0.7.0
- install sedlex                     3.7
- install seq                        base
- install sexplib0                   v0.17.0
- install stdlib-shims               0.3.0
- install stringext                  1.6.0
- install thread-local-storage       0.2
- install thread-table               1.0.0
- install topkg                      1.1.0
- install tsort                      2.2.0
- install uri                        4.4.0
- install uri-sexp                   4.4.0
- install uutf                       1.0.4
- install x509                       1.0.6
- install yojson                     3.0.0
- install zarith                     1.14


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved alcotest.1.9.1  (cached)
-> retrieved angstrom.0.16.1  (cached)
-> retrieved asn1-combinators.0.3.2  (cached)
-> retrieved astring.0.8.5  (cached)
-> retrieved backoff.0.1.1  (cached)
-> retrieved base64.3.5.2  (cached)
-> retrieved bigstringaf.0.10.0  (cached)
-> retrieved base.v0.17.3  (cached)
-> retrieved bos.0.2.1  (cached)
-> retrieved ca-certs.1.0.1  (cached)
-> retrieved camlp-streams.5.0.1  (cached)
-> retrieved cmdliner.2.0.0  (cached)
-> retrieved conf-gmp.5  (cached)
-> retrieved conf-gmp-powm-sec.4  (cached)
-> retrieved cohttp.6.1.1, cohttp-lwt.6.1.1, cohttp-lwt-unix.6.1.1, http.6.1.1  (cached)
-> retrieved conduit.8.0.0, conduit-lwt.8.0.0, conduit-lwt-unix.8.0.0  (cached)
-> retrieved containers.3.16  (cached)
-> installed conf-gmp.5
-> installed conf-pkg-config.4
-> retrieved cppo.1.8.0  (cached)
-> retrieved csexp.1.5.2  (cached)
-> installed conf-gmp-powm-sec.4
-> retrieved domain-local-await.1.0.1  (cached)
-> retrieved domain-name.0.5.0  (cached)
-> retrieved domain_shims.0.1.0  (cached)
-> retrieved dscheck.0.5.0  (cached)
-> retrieved duration.0.2.1  (cached)
-> retrieved either.1.0.0  (cached)
-> retrieved eqaf.0.10  (cached)
-> retrieved fmt.0.11.0  (cached)
-> retrieved fpath.0.7.3  (cached)
-> retrieved gen.1.1  (cached)
-> retrieved gmap.0.3.0  (cached)
-> retrieved ipaddr.5.6.1, ipaddr-sexp.5.6.1, macaddr.5.6.1  (cached)
-> retrieved digestif.1.3.0  (cached)
-> retrieved kdf.1.0.0  (cached)
-> retrieved logs.0.9.0  (cached)
-> retrieved lwt.5.9.2  (cached)
-> retrieved magic-mime.1.3.1  (cached)
-> retrieved mdx.2.5.1  (cached)
-> retrieved menhir.20250912, menhirCST.20250912, menhirLib.20250912, menhirSdk.20250912  (cached)
-> retrieved dune.3.20.2, dune-configurator.3.20.2  (cached)
-> retrieved js_of_ocaml.6.2.0, js_of_ocaml-compiler.6.2.0  (cached)
-> retrieved mirage-crypto.2.0.2, mirage-crypto-ec.2.0.2, mirage-crypto-pk.2.0.2, mirage-crypto-rng.2.0.2  (cached)
-> retrieved mtime.2.1.0  (cached)
-> retrieved multicore-bench.0.1.7  (cached)
-> retrieved multicore-magic.2.3.1, multicore-magic-dscheck.2.3.1  (cached)
-> retrieved ocaml-compiler-libs.v0.17.0  (cached)
-> installed cmdliner.2.0.0
-> retrieved ocaml-syntax-shims.1.0.0  (cached)
-> retrieved ocaml-version.4.0.3  (cached)
-> retrieved ocaml_intrinsics_kernel.v0.17.1  (cached)
-> retrieved ocamlbuild.0.16.1  (cached)
-> retrieved ocamlfind.1.9.8  (cached)
-> retrieved ocplib-endian.1.2  (cached)
-> retrieved ohex.0.2.0  (cached)
-> retrieved oseq.0.5.1  (cached)
-> retrieved ppx_derivers.1.2.1  (cached)
-> retrieved ppx_sexp_conv.v0.17.1  (cached)
-> retrieved ppxlib_jane.v0.17.4  (cached)
-> retrieved psq.0.2.1  (cached)
-> retrieved ptime.1.2.0  (cached)
-> retrieved qcheck-core.0.26  (cached)
-> retrieved qcheck-multicoretests-util.0.10, qcheck-stm.0.10  (cached)
-> retrieved ppxlib.0.37.0  (cached)
-> retrieved re.1.14.0  (cached)
-> retrieved result.1.5  (cached)
-> retrieved seq.base  (cached)
-> retrieved rresult.0.7.0  (cached)
-> retrieved sedlex.3.7  (cached)
-> retrieved sexplib0.v0.17.0  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> retrieved stringext.1.6.0  (cached)
-> retrieved thread-local-storage.0.2  (cached)
-> retrieved thread-table.1.0.0  (cached)
-> retrieved tsort.2.2.0  (cached)
-> retrieved topkg.1.1.0  (cached)
-> retrieved uri.4.4.0, uri-sexp.4.4.0  (cached)
-> retrieved uutf.1.0.4  (cached)
-> retrieved x509.1.0.6  (cached)
-> retrieved zarith.1.14  (cached)
-> retrieved yojson.3.0.0  (cached)
-> installed ocamlfind.1.9.8
-> installed base-bytes.base
-> installed seq.base
-> installed zarith.1.14
-> installed ocamlbuild.0.16.1
-> installed topkg.1.1.0
-> installed fmt.0.11.0
-> installed astring.0.8.5
-> installed mtime.2.1.0
-> installed ptime.1.2.0
-> installed fpath.0.7.3
-> installed rresult.0.7.0
-> installed uutf.1.0.4
-> installed dune.3.20.2
-> installed base64.3.5.2
-> installed backoff.0.1.1
-> installed camlp-streams.5.0.1
-> installed asn1-combinators.0.3.2
-> installed csexp.1.5.2
-> installed domain-name.0.5.0
-> installed cppo.1.8.0
-> installed domain_shims.0.1.0
-> installed duration.0.2.1
-> installed either.1.0.0
-> installed eqaf.0.10
-> installed gmap.0.3.0
-> installed gen.1.1
-> installed dune-configurator.3.20.2
-> installed http.6.1.1
-> installed macaddr.5.6.1
-> installed bigstringaf.0.10.0
-> installed ipaddr.5.6.1
-> installed digestif.1.3.0
-> installed magic-mime.1.3.1
-> installed menhirCST.20250912
-> installed menhirSdk.20250912
-> installed menhirLib.20250912
-> installed multicore-magic.2.3.1
-> installed containers.3.16
-> installed mirage-crypto.2.0.2
-> installed ocaml-compiler-libs.v0.17.0
-> installed kdf.1.0.0
-> installed ocaml-version.4.0.3
-> installed ocaml_intrinsics_kernel.v0.17.1
-> installed ocaml-syntax-shims.1.0.0
-> installed ohex.0.2.0
-> installed ocplib-endian.1.2
-> installed oseq.0.5.1
-> installed angstrom.0.16.1
-> installed ppx_derivers.1.2.1
-> installed psq.0.2.1
-> installed qcheck-core.0.26
-> installed re.1.14.0
-> installed qcheck-multicoretests-util.0.10
-> installed result.1.5
-> installed qcheck-stm.0.10
-> installed lwt.5.9.2
-> installed stdlib-shims.0.3.0
-> installed sexplib0.v0.17.0
-> installed stringext.1.6.0
-> installed alcotest.1.9.1
-> installed menhir.20250912
-> installed thread-local-storage.0.2
-> installed thread-table.1.0.0
-> installed tsort.2.2.0
-> installed domain-local-await.1.0.1
-> installed dscheck.0.5.0
-> installed base.v0.17.3
-> installed multicore-magic-dscheck.2.3.1
-> installed uri.4.4.0
-> installed yojson.3.0.0
-> installed multicore-bench.0.1.7
-> installed ppxlib.0.37.0
-> installed ppxlib_jane.v0.17.4
-> installed sedlex.3.7
-> installed ppx_sexp_conv.v0.17.1
-> installed ipaddr-sexp.5.6.1
-> installed uri-sexp.4.4.0
-> installed js_of_ocaml-compiler.6.2.0
-> installed logs.0.9.0
-> installed bos.0.2.1
-> installed cohttp.6.1.1
-> installed conduit.8.0.0
-> installed mdx.2.5.1
-> installed cohttp-lwt.6.1.1
-> installed mirage-crypto-rng.2.0.2
-> installed conduit-lwt.8.0.0
-> installed mirage-crypto-pk.2.0.2
-> installed mirage-crypto-ec.2.0.2
-> installed x509.1.0.6
-> installed ca-certs.1.0.1
-> installed conduit-lwt-unix.8.0.0
-> installed js_of_ocaml.6.2.0
-> installed cohttp-lwt-unix.6.1.1
Done.
# To update the current shell environment, run: eval $(opam env)
2025-10-31 08:34.09 ---> using "fdb8ef371e22b10be0fbc861cf73a65735726ed4e6bd777f1da58d8c1823457e" from cache


/src: (copy (src .) (dst /src))
2025-10-31 08:34.10 ---> saved as "9a70268bf9ee7749969b56ea4486331ea122822fe3bcafaa28ec6d06c7ab408f"


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


[OK]          Multiple pushes and pops          0


Full test results in `/src/_build/default/test/_build/_tests/Picos_mpmcq DSCheck'.
Test Successful in 15.398s. 1 test run.
(cd _build/default/test && ./test_picos_dscheck.exe)
Testing `Picos DSCheck'.
This run has ID `2L93DEGP'.


[OK]          Trigger              0   basic contract.
[OK]          Computation          0   basic contract.
[OK]          Computation          1   removes triggers.


Full test results in `/src/_build/default/test/_build/_tests/Picos DSCheck'.
Test Successful in 3.153s. 3 tests run.
2025-10-31 08:35.19: Cancelling: Auto-cancelling job because it is no longer needed
Job cancelled