Organisations ocaml-multicore picos 0c8112 ()openbsd-76-amd64-5.2_opam-2.3
openbsd-76-amd64-5.2_opam-2.3

Created at -
- in queue
Finished at -
0c8112
Ran for -
Link Copied
Code Copied
Logs

Show raw logs
2024-11-27 22:22.18: New job: test ocaml-multicore/picos https://github.com/ocaml-multicore/picos.git#refs/heads/add-more-structured-run-ops (0c81121978a2f91bc5229dc026a5728fda8dd8f2) (openbsd-amd64:openbsd-76-amd64-5.2_opam-2.3)
Base: openbsd-76-amd64-ocaml-5.2
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/ocaml-multicore/picos.git" -b "add-more-structured-run-ops" && cd "picos" && git reset --hard 0c811219
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM openbsd-76-amd64-ocaml-5.2
# openbsd-76-amd64-5.2_opam-2.3
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
RUN doas ln -f /usr/bin/opam-2.3 /usr/bin/opam
RUN opam init --reinit -ni
RUN uname -rs && opam exec -- ocaml -version && opam --version
RUN cd ~/opam-repository && (git cat-file -e 4be9b449095ce6d71bb164c7f7d2a397f2968847 || git fetch origin master) && git reset -q --hard 4be9b449095ce6d71bb164c7f7d2a397f2968847 && 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 /home/opam/src/./
RUN opam pin add -yn picos_std.dev '/home/opam/src/./' && \
opam pin add -yn picos_mux.dev '/home/opam/src/./' && \
opam pin add -yn picos_meta.dev '/home/opam/src/./' && \
opam pin add -yn picos_lwt.dev '/home/opam/src/./' && \
opam pin add -yn picos_io_cohttp.dev '/home/opam/src/./' && \
opam pin add -yn picos_io.dev '/home/opam/src/./' && \
opam pin add -yn picos_aux.dev '/home/opam/src/./' && \
opam pin add -yn picos.dev '/home/opam/src/./'
ENV DEPS="alcotest.1.8.0 angstrom.0.16.1 asn1-combinators.0.3.2 astring.0.8.5 backoff.0.1.1 base.v0.17.1 base-bigarray.base base-bytes.base base-domains.base base-nnp.base base-threads.base base-unix.base base64.3.5.1 bigstringaf.0.10.0 bos.0.2.1 ca-certs.1.0.0 camlp-streams.5.0.1 cmdliner.1.3.0 cohttp.6.0.0 cohttp-lwt.6.0.0 cohttp-lwt-unix.6.0.0 conduit.7.1.0 conduit-lwt.7.1.0 conduit-lwt-unix.7.1.0 conf-gmp.4 conf-gmp-powm-sec.3 conf-npm.1 conf-pkg-config.3 containers.3.15 cppo.1.7.0 csexp.1.5.2 digestif.1.2.0 domain-local-await.1.0.1 domain-name.0.4.0 domain_shims.0.1.0 dscheck.0.5.0 dune.3.16.1 dune-configurator.3.16.1 duration.0.2.1 either.1.0.0 eqaf.0.10 fmt.0.9.0 fpath.0.7.3 gen.1.1 gmap.0.3.0 host-arch-x86_64.1 host-system-other.1 http.6.0.0 ipaddr.5.6.0 ipaddr-sexp.5.6.0 js_of_ocaml.5.8.2 js_of_ocaml-compiler.5.8.2 kdf.1.0.0 logs.0.7.0 lwt.5.9.0 macaddr.5.6.0 magic-mime.1.3.1 mdx.2.4.1 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 mirage-crypto.1.1.0 mirage-crypto-ec.1.1.0 mirage-crypto-pk.1.1.0 mirage-crypto-rng.1.1.0 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.0 multicore-magic-dscheck.2.3.0 ocaml.5.2.1 ocaml-base-compiler.5.2.1 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.3.7.1 ocaml_intrinsics_kernel.v0.17.1 ocamlbuild.0.15.0 ocamlfind.1.9.6 ocplib-endian.1.2 ohex.0.2.0 oseq.0.5.1 ppx_derivers.1.2.1 ppx_sexp_conv.v0.17.0 ppxlib.0.33.0 ppxlib_jane.v0.17.0 psq.0.2.1 ptime.1.2.0 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-stm.0.4 re.1.12.0 result.1.5 rresult.0.7.0 sedlex.3.3 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.0.7 tsort.2.1.0 uri.4.4.0 uri-sexp.4.4.0 uutf.1.0.3 x509.1.0.5 yojson.2.2.2 zarith.1.14"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.3 --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 . /home/opam/src
RUN cd /home/opam/src && opam exec -- dune build @install @check @runtest && rm -rf _build


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


2024-11-27 22:22.18: Using cache hint "ocaml-multicore/picos-openbsd-76-amd64-ocaml-5.2-openbsd-76-amd64-5.2_opam-2.3-9b45dacda2b89781794257667d7d4ebb"
2024-11-27 22:22.18: Using OBuilder spec:
((from openbsd-76-amd64-ocaml-5.2)
(comment openbsd-76-amd64-5.2_opam-2.3)
(user (uid 1000) (gid 1000))
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(run (shell "doas ln -f /usr/bin/opam-2.3 /usr/bin/opam"))
(run (shell "opam init --reinit -ni"))
(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 4be9b449095ce6d71bb164c7f7d2a397f2968847 || git fetch origin master) && git reset -q --hard 4be9b449095ce6d71bb164c7f7d2a397f2968847 && 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 /home/opam/src/./))
(run (network host)
(shell  "opam pin add -yn picos_std.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_mux.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_meta.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_lwt.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_io_cohttp.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_io.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_aux.dev '/home/opam/src/./' && \
\nopam pin add -yn picos.dev '/home/opam/src/./'"))
(env DEPS "alcotest.1.8.0 angstrom.0.16.1 asn1-combinators.0.3.2 astring.0.8.5 backoff.0.1.1 base.v0.17.1 base-bigarray.base base-bytes.base base-domains.base base-nnp.base base-threads.base base-unix.base base64.3.5.1 bigstringaf.0.10.0 bos.0.2.1 ca-certs.1.0.0 camlp-streams.5.0.1 cmdliner.1.3.0 cohttp.6.0.0 cohttp-lwt.6.0.0 cohttp-lwt-unix.6.0.0 conduit.7.1.0 conduit-lwt.7.1.0 conduit-lwt-unix.7.1.0 conf-gmp.4 conf-gmp-powm-sec.3 conf-npm.1 conf-pkg-config.3 containers.3.15 cppo.1.7.0 csexp.1.5.2 digestif.1.2.0 domain-local-await.1.0.1 domain-name.0.4.0 domain_shims.0.1.0 dscheck.0.5.0 dune.3.16.1 dune-configurator.3.16.1 duration.0.2.1 either.1.0.0 eqaf.0.10 fmt.0.9.0 fpath.0.7.3 gen.1.1 gmap.0.3.0 host-arch-x86_64.1 host-system-other.1 http.6.0.0 ipaddr.5.6.0 ipaddr-sexp.5.6.0 js_of_ocaml.5.8.2 js_of_ocaml-compiler.5.8.2 kdf.1.0.0 logs.0.7.0 lwt.5.9.0 macaddr.5.6.0 magic-mime.1.3.1 mdx.2.4.1 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 mirage-crypto.1.1.0 mirage-crypto-ec.1.1.0 mirage-crypto-pk.1.1.0 mirage-crypto-rng.1.1.0 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.0 multicore-magic-dscheck.2.3.0 ocaml.5.2.1 ocaml-base-compiler.5.2.1 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.3.7.1 ocaml_intrinsics_kernel.v0.17.1 ocamlbuild.0.15.0 ocamlfind.1.9.6 ocplib-endian.1.2 ohex.0.2.0 oseq.0.5.1 ppx_derivers.1.2.1 ppx_sexp_conv.v0.17.0 ppxlib.0.33.0 ppxlib_jane.v0.17.0 psq.0.2.1 ptime.1.2.0 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-stm.0.4 re.1.12.0 result.1.5 rresult.0.7.0 sedlex.3.3 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.0.7 tsort.2.1.0 uri.4.4.0 uri-sexp.4.4.0 uutf.1.0.3 x509.1.0.5 yojson.2.2.2 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.3 --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 /home/opam/src))
(run (shell "cd /home/opam/src && opam exec -- dune build @install @check @runtest && rm -rf _build"))
)


2024-11-27 22:22.18: Waiting for resource in pool OCluster
2024-11-27 22:22.18: Waiting for worker…
2024-11-27 22:22.18: Got resource from pool OCluster
Building on bremusa
HEAD is now at 6177563 Add more structured `Run` operations
HEAD is now at 0c81121 Add more structured `Run` operations


(from openbsd-76-amd64-ocaml-5.2)
2024-11-27 22:22.19 ---> using "4320665f99976787f90a9e18174d2737909e8978c44b8f3d46fb0aff097b06a4" from cache


/: (comment openbsd-76-amd64-5.2_opam-2.3)


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


/: (env CLICOLOR_FORCE 1)


/: (env OPAMCOLOR always)


/: (run (shell "doas ln -f /usr/bin/opam-2.3 /usr/bin/opam"))
2024-11-27 22:22.19 ---> using "22e2929b9a366c809ec816349aa6cb9a45b4649cad05d8c280efed2bc66c5069" from cache


/: (run (shell "opam init --reinit -ni"))
No configuration file found, using 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.


<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2024-11-27 22:22.19 ---> using "8ee85108de9d3aac6d892ef0faaf024ea14d13d761a327e4e4cd8f43a209bafa" from cache


/: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
OpenBSD 7.6
The OCaml toplevel, version 5.2.1
2.3.0
2024-11-27 22:22.19 ---> using "52e1b1eb38389daf27ec5bb41e48ee2005bdbd80371e88d39094e253864006cb" from cache


/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 4be9b449095ce6d71bb164c7f7d2a397f2968847 || git fetch origin master) && git reset -q --hard 4be9b449095ce6d71bb164c7f7d2a397f2968847 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch                  master     -> FETCH_HEAD
727427c1e7..9d42b7886a  master     -> origin/master
4be9b44909 Merge pull request #26925 from avsm/release-cohttp-v6.0.0


<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from 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, which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# To update the current shell environment, run: eval $(opam env)
2024-11-27 22:22.19 ---> using "6aa364082d070cde6bd7952060d6c8a08bb6cba763f0618be9ee7e3255f74ac1" from cache


/: (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 /home/opam/src/./))
2024-11-27 22:22.19 ---> using "d9d40ee2507f2d4250eb54d2ec9cd0f39add238252a8810f1f12abbd082fe45e" from cache


/: (run (network host)
(shell  "opam pin add -yn picos_std.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_mux.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_meta.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_lwt.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_io_cohttp.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_io.dev '/home/opam/src/./' && \
\nopam pin add -yn picos_aux.dev '/home/opam/src/./' && \
\nopam pin add -yn picos.dev '/home/opam/src/./'"))
[picos_std.dev] synchronised (file:///home/opam/src)
picos_std is now pinned to file:///home/opam/src (version dev)
[picos_mux.dev] synchronised (file:///home/opam/src)
picos_mux is now pinned to file:///home/opam/src (version dev)
[picos_meta.dev] synchronised (file:///home/opam/src)
picos_meta is now pinned to file:///home/opam/src (version dev)
[picos_lwt.dev] synchronised (file:///home/opam/src)
picos_lwt is now pinned to file:///home/opam/src (version dev)
[picos_io_cohttp.dev] synchronised (file:///home/opam/src)
picos_io_cohttp is now pinned to file:///home/opam/src (version dev)
[picos_io.dev] synchronised (file:///home/opam/src)
picos_io is now pinned to file:///home/opam/src (version dev)
[picos_aux.dev] synchronised (file:///home/opam/src)
picos_aux is now pinned to file:///home/opam/src (version dev)
[picos.dev] synchronised (file:///home/opam/src)
picos is now pinned to file:///home/opam/src (version dev)
2024-11-27 22:22.19 ---> using "f227a32b23b7942099172674d3879f213d912f9bb7b18d92c6b45501c1062e93" from cache


/: (env DEPS "alcotest.1.8.0 angstrom.0.16.1 asn1-combinators.0.3.2 astring.0.8.5 backoff.0.1.1 base.v0.17.1 base-bigarray.base base-bytes.base base-domains.base base-nnp.base base-threads.base base-unix.base base64.3.5.1 bigstringaf.0.10.0 bos.0.2.1 ca-certs.1.0.0 camlp-streams.5.0.1 cmdliner.1.3.0 cohttp.6.0.0 cohttp-lwt.6.0.0 cohttp-lwt-unix.6.0.0 conduit.7.1.0 conduit-lwt.7.1.0 conduit-lwt-unix.7.1.0 conf-gmp.4 conf-gmp-powm-sec.3 conf-npm.1 conf-pkg-config.3 containers.3.15 cppo.1.7.0 csexp.1.5.2 digestif.1.2.0 domain-local-await.1.0.1 domain-name.0.4.0 domain_shims.0.1.0 dscheck.0.5.0 dune.3.16.1 dune-configurator.3.16.1 duration.0.2.1 either.1.0.0 eqaf.0.10 fmt.0.9.0 fpath.0.7.3 gen.1.1 gmap.0.3.0 host-arch-x86_64.1 host-system-other.1 http.6.0.0 ipaddr.5.6.0 ipaddr-sexp.5.6.0 js_of_ocaml.5.8.2 js_of_ocaml-compiler.5.8.2 kdf.1.0.0 logs.0.7.0 lwt.5.9.0 macaddr.5.6.0 magic-mime.1.3.1 mdx.2.4.1 menhir.20240715 menhirCST.20240715 menhirLib.20240715 menhirSdk.20240715 mirage-crypto.1.1.0 mirage-crypto-ec.1.1.0 mirage-crypto-pk.1.1.0 mirage-crypto-rng.1.1.0 mtime.2.1.0 multicore-bench.0.1.7 multicore-magic.2.3.0 multicore-magic-dscheck.2.3.0 ocaml.5.2.1 ocaml-base-compiler.5.2.1 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.3.7.1 ocaml_intrinsics_kernel.v0.17.1 ocamlbuild.0.15.0 ocamlfind.1.9.6 ocplib-endian.1.2 ohex.0.2.0 oseq.0.5.1 ppx_derivers.1.2.1 ppx_sexp_conv.v0.17.0 ppxlib.0.33.0 ppxlib_jane.v0.17.0 psq.0.2.1 ptime.1.2.0 qcheck-core.0.22 qcheck-multicoretests-util.0.4 qcheck-stm.0.4 re.1.12.0 result.1.5 rresult.0.7.0 sedlex.3.3 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.0.7 tsort.2.1.0 uri.4.4.0 uri-sexp.4.4.0 uutf.1.0.3 x509.1.0.5 yojson.2.2.2 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.3 --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"))
[WARNING] Unknown update command for bsd, skipping system update


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[picos_aux.dev] synchronised (no changes)
[picos_io.dev] synchronised (no changes)
[picos.dev] synchronised (no changes)
[picos_io_cohttp.dev] synchronised (no changes)
[picos_lwt.dev] synchronised (no changes)
[picos_meta.dev] synchronised (no changes)
[picos_std.dev] synchronised (no changes)
[picos_mux.dev] synchronised (no changes)


[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-base-compiler is already installed (current version is 5.2.1).
[NOTE] Package ocaml is already installed (current version is 5.2.1).
[NOTE] Package host-system-other is already installed (current version is 1).
[NOTE] Package host-arch-x86_64 is already installed (current version is 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-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:
gmp node


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


+ /usr/bin/doas "pkg_add" "-I" "gmp" "node"
- quirks-7.50 signed on 2024-11-27T07:52:40Z
- --- +node-20.17.0v0 -------------------
- You may wish to add /usr/local/lib/node_modules/npm/man to /etc/man.conf
- --- +openssl-3.2.3v0 -------------------
- You may wish to add /usr/local/lib/eopenssl32/man to /etc/man.conf
2024-11-27 22:22.19 ---> using "3318c1a8ae3f1f755861d1d44e1901a0b929726a2b40c4f2ebfa5790e6e9479b" from cache


/: (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-base-compiler is already installed (current version is 5.2.1).
[NOTE] Package ocaml is already installed (current version is 5.2.1).
[NOTE] Package host-system-other is already installed (current version is 1).
[NOTE] Package host-arch-x86_64 is already installed (current version is 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-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 99 packages
- install alcotest                   1.8.0
- 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.1
- install base-bytes                 base
- install base64                     3.5.1
- install bigstringaf                0.10.0
- install bos                        0.2.1
- install ca-certs                   1.0.0
- install camlp-streams              5.0.1
- install cmdliner                   1.3.0
- install cohttp                     6.0.0
- install cohttp-lwt                 6.0.0
- install cohttp-lwt-unix            6.0.0
- install conduit                    7.1.0
- install conduit-lwt                7.1.0
- install conduit-lwt-unix           7.1.0
- install conf-gmp                   4
- install conf-gmp-powm-sec          3
- install conf-npm                   1
- install conf-pkg-config            3
- install containers                 3.15
- install cppo                       1.7.0
- install csexp                      1.5.2
- install digestif                   1.2.0
- install domain-local-await         1.0.1
- install domain-name                0.4.0
- install domain_shims               0.1.0
- install dscheck                    0.5.0
- install dune                       3.16.1
- install dune-configurator          3.16.1
- install duration                   0.2.1
- install either                     1.0.0
- install eqaf                       0.10
- install fmt                        0.9.0
- install fpath                      0.7.3
- install gen                        1.1
- install gmap                       0.3.0
- install http                       6.0.0
- install ipaddr                     5.6.0
- install ipaddr-sexp                5.6.0
- install js_of_ocaml                5.8.2
- install js_of_ocaml-compiler       5.8.2
- install kdf                        1.0.0
- install logs                       0.7.0
- install lwt                        5.9.0
- install macaddr                    5.6.0
- install magic-mime                 1.3.1
- install mdx                        2.4.1
- install menhir                     20240715
- install menhirCST                  20240715
- install menhirLib                  20240715
- install menhirSdk                  20240715
- install mirage-crypto              1.1.0
- install mirage-crypto-ec           1.1.0
- install mirage-crypto-pk           1.1.0
- install mirage-crypto-rng          1.1.0
- install mtime                      2.1.0
- install multicore-bench            0.1.7
- install multicore-magic            2.3.0
- install multicore-magic-dscheck    2.3.0
- install ocaml-compiler-libs        v0.17.0
- install ocaml-syntax-shims         1.0.0
- install ocaml-version              3.7.1
- install ocaml_intrinsics_kernel    v0.17.1
- install ocamlbuild                 0.15.0
- install ocamlfind                  1.9.6
- 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.0
- install ppxlib                     0.33.0
- install ppxlib_jane                v0.17.0
- install psq                        0.2.1
- install ptime                      1.2.0
- install qcheck-core                0.22
- install qcheck-multicoretests-util 0.4
- install qcheck-stm                 0.4
- install re                         1.12.0
- install result                     1.5
- install rresult                    0.7.0
- install sedlex                     3.3
- 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.0.7
- install tsort                      2.1.0
- install uri                        4.4.0
- install uri-sexp                   4.4.0
- install uutf                       1.0.3
- install x509                       1.0.5
- install yojson                     2.2.2
- install zarith                     1.14


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved asn1-combinators.0.3.2  (cached)
-> retrieved angstrom.0.16.1  (cached)
-> retrieved astring.0.8.5  (cached)
-> retrieved backoff.0.1.1  (cached)
-> retrieved base.v0.17.1  (cached)
-> retrieved base64.3.5.1  (cached)
-> retrieved bigstringaf.0.10.0  (cached)
-> retrieved bos.0.2.1  (cached)
-> retrieved ca-certs.1.0.0  (cached)
-> retrieved camlp-streams.5.0.1  (cached)
-> retrieved alcotest.1.8.0  (cached)
-> retrieved cohttp.6.0.0, cohttp-lwt.6.0.0, cohttp-lwt-unix.6.0.0, http.6.0.0  (cached)
-> retrieved conf-gmp.4  (cached)
-> retrieved conf-gmp-powm-sec.3  (cached)
-> retrieved conduit.7.1.0, conduit-lwt.7.1.0, conduit-lwt-unix.7.1.0  (cached)
-> installed conf-gmp.4
-> retrieved containers.3.15  (cached)
-> retrieved cppo.1.7.0  (cached)
-> retrieved csexp.1.5.2  (cached)
-> installed conf-npm.1
-> retrieved cmdliner.1.3.0  (cached)
-> installed conf-gmp-powm-sec.3
-> retrieved domain-name.0.4.0  (cached)
-> retrieved domain-local-await.1.0.1  (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 digestif.1.2.0  (cached)
-> retrieved fmt.0.9.0  (cached)
-> retrieved fpath.0.7.3  (cached)
-> retrieved gen.1.1  (cached)
-> retrieved gmap.0.3.0  (cached)
-> retrieved ipaddr.5.6.0, ipaddr-sexp.5.6.0, macaddr.5.6.0  (cached)
-> retrieved kdf.1.0.0  (cached)
-> retrieved logs.0.7.0  (cached)
-> retrieved lwt.5.9.0  (cached)
-> retrieved magic-mime.1.3.1  (cached)
-> retrieved mdx.2.4.1  (cached)
-> retrieved menhir.20240715, menhirCST.20240715, menhirLib.20240715, menhirSdk.20240715  (cached)
-> retrieved js_of_ocaml.5.8.2, js_of_ocaml-compiler.5.8.2  (cached)
-> retrieved mirage-crypto.1.1.0, mirage-crypto-ec.1.1.0, mirage-crypto-pk.1.1.0, mirage-crypto-rng.1.1.0  (cached)
-> retrieved mtime.2.1.0  (cached)
-> retrieved multicore-bench.0.1.7  (cached)
-> retrieved multicore-magic.2.3.0, multicore-magic-dscheck.2.3.0  (cached)
-> retrieved ocaml-compiler-libs.v0.17.0  (cached)
-> retrieved ocaml-syntax-shims.1.0.0  (cached)
-> retrieved ocaml-version.3.7.1  (cached)
-> retrieved ocaml_intrinsics_kernel.v0.17.1  (cached)
-> retrieved ocamlbuild.0.15.0  (cached)
-> retrieved ocamlfind.1.9.6  (cached)
-> retrieved ocplib-endian.1.2  (cached)
-> retrieved ohex.0.2.0  (cached)
-> retrieved dune.3.16.1, dune-configurator.3.16.1  (cached)
-> retrieved ppx_derivers.1.2.1  (cached)
-> retrieved oseq.0.5.1  (cached)
-> retrieved ppx_sexp_conv.v0.17.0  (cached)
-> retrieved ppxlib_jane.v0.17.0  (cached)
-> retrieved psq.0.2.1  (cached)
-> retrieved qcheck-core.0.22  (cached)
-> retrieved ptime.1.2.0  (cached)
-> retrieved ppxlib.0.33.0  (cached)
-> retrieved re.1.12.0  (cached)
-> retrieved result.1.5  (cached)
-> installed cmdliner.1.3.0
-> installed conf-pkg-config.3
-> retrieved sedlex.3.3  (cached)
-> retrieved seq.base  (cached)
-> retrieved rresult.0.7.0  (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 qcheck-multicoretests-util.0.4, qcheck-stm.0.4  (cached)
-> retrieved tsort.2.1.0  (cached)
-> retrieved topkg.1.0.7  (cached)
-> retrieved uutf.1.0.3  (cached)
-> retrieved uri.4.4.0, uri-sexp.4.4.0  (cached)
-> retrieved x509.1.0.5  (cached)
-> retrieved zarith.1.14  (cached)
-> retrieved yojson.2.2.2  (cached)
-> installed dune.3.16.1
-> installed ocamlbuild.0.15.0
-> installed backoff.0.1.1
-> installed base64.3.5.1
-> installed camlp-streams.5.0.1
-> installed cppo.1.7.0
-> installed csexp.1.5.2
-> installed domain-name.0.4.0
-> installed domain_shims.0.1.0
-> installed dune-configurator.3.16.1
-> installed duration.0.2.1
-> installed bigstringaf.0.10.0
-> installed either.1.0.0
-> installed eqaf.0.10
-> installed containers.3.15
-> installed digestif.1.2.0
-> installed gmap.0.3.0
-> installed http.6.0.0
-> installed macaddr.5.6.0
-> installed magic-mime.1.3.1
-> installed ipaddr.5.6.0
-> installed menhirCST.20240715
-> installed menhirLib.20240715
-> installed menhirSdk.20240715
-> installed mirage-crypto.1.1.0
-> installed menhir.20240715
-> installed kdf.1.0.0
-> installed multicore-magic.2.3.0
-> installed ocaml-compiler-libs.v0.17.0
-> installed ocaml-syntax-shims.1.0.0
-> installed ocaml-version.3.7.1
-> installed angstrom.0.16.1
-> installed ocaml_intrinsics_kernel.v0.17.1
-> installed ocamlfind.1.9.6
-> installed base-bytes.base
-> installed ohex.0.2.0
-> installed oseq.0.5.1
-> installed ocplib-endian.1.2
-> installed ppx_derivers.1.2.1
-> installed lwt.5.9.0
-> installed qcheck-core.0.22
-> installed result.1.5
-> installed qcheck-multicoretests-util.0.4
-> installed seq.base
-> installed sexplib0.v0.17.0
-> installed gen.1.1
-> installed base.v0.17.1
-> installed psq.0.2.1
-> installed qcheck-stm.0.4
-> installed re.1.12.0
-> installed stdlib-shims.0.3.0
-> installed stringext.1.6.0
-> installed ppxlib.0.33.0
-> installed thread-local-storage.0.2
-> installed ppxlib_jane.v0.17.0
-> installed sedlex.3.3
-> installed ppx_sexp_conv.v0.17.0
-> installed thread-table.1.0.0
-> installed ipaddr-sexp.5.6.0
-> installed domain-local-await.1.0.1
-> installed topkg.1.0.7
-> installed tsort.2.1.0
-> installed astring.0.8.5
-> installed dscheck.0.5.0
-> installed fmt.0.9.0
-> installed fpath.0.7.3
-> installed mtime.2.1.0
-> installed multicore-magic-dscheck.2.3.0
-> installed ptime.1.2.0
-> installed rresult.0.7.0
-> installed asn1-combinators.0.3.2
-> installed uri.4.4.0
-> installed uutf.1.0.3
-> installed uri-sexp.4.4.0
-> installed alcotest.1.8.0
-> installed yojson.2.2.2
-> installed zarith.1.14
-> installed js_of_ocaml-compiler.5.8.2
-> installed multicore-bench.0.1.7
-> installed js_of_ocaml.5.8.2
-> installed logs.0.7.0
-> installed bos.0.2.1
-> installed cohttp.6.0.0
-> installed conduit.7.1.0
-> installed cohttp-lwt.6.0.0
-> installed conduit-lwt.7.1.0
-> installed mdx.2.4.1
-> installed mirage-crypto-rng.1.1.0
-> installed mirage-crypto-ec.1.1.0
-> installed mirage-crypto-pk.1.1.0
-> installed x509.1.0.5
-> installed ca-certs.1.0.0
-> installed conduit-lwt-unix.7.1.0
-> installed cohttp-lwt-unix.6.0.0
Done.
# To update the current shell environment, run: eval $(opam env)
2024-11-27 22:22.19 ---> using "6b16d901bea1e42749c17e6e4e34b18b9239a8110e24764333fa4d1f41d29b2b" from cache


/: (copy (src .) (dst /home/opam/src))
2024-11-27 22:23.01 ---> saved as "eb0ab03fb1b1f9e96912ebfe5129f86e8f3faa434efe9f9123b99873a1316469"


/: (run (shell "cd /home/opam/src && 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 `BIFIPZTC'.


[OK]          Multiple pushes and pops          0


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


[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 0.680s. 3 tests run.
2024-11-27 22:24.15: Cancelling: Auto-cancelling job because it is no longer needed
Job cancelled