Build:
- 0
2026-01-19 15:42.41: New job: test patricia-tree.0.12.0, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29247/head (50f45d837bb794ee9cb48b9ab11449225b1f607c)
on ubuntu-24.04-ocaml-5.4/riscv64
To reproduce locally:
cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/29247/head" && git reset --hard 50f45d83
git fetch origin master
git merge --no-edit 39960ffbaf3e5b50a1e354d4c99bfecc01e358ca
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:ubuntu-24.04-ocaml-5.4@sha256:d162f5bab9b92be895e174d1b119d59ff46cc7db2cb00b4e92b44fe4216e5ab1
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-dev /usr/bin/opam
RUN opam init --reinit -ni
RUN opam option solver=builtin-0install && opam config report
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
ENV OPAMPRECISETRACKING="1"
ENV CI="true"
ENV OPAM_REPO_CI="true"
RUN rm -rf opam-repository/
COPY --chown=1000:1000 . opam-repository/
RUN opam repository set-url --strict default opam-repository/
RUN opam update --depexts || true
RUN opam pin add -k version -yn patricia-tree.0.12.0 0.12.0
RUN opam reinstall patricia-tree.0.12.0; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"ubuntu-24.04\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'patricia-tree.0.12.0' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN (opam reinstall --with-test patricia-tree.0.12.0) || true
RUN opam reinstall --with-test --verbose patricia-tree.0.12.0; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"ubuntu-24.04\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'patricia-tree.0.12.0' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
END-OF-DOCKERFILE
docker build -f ../Dockerfile .
2026-01-19 15:42.41: Using cache hint "ocaml/opam:ubuntu-24.04-ocaml-5.4@sha256:d162f5bab9b92be895e174d1b119d59ff46cc7db2cb00b4e92b44fe4216e5ab1-patricia-tree.0.12.0-50f45d837bb794ee9cb48b9ab11449225b1f607c"
2026-01-19 15:42.41: Using OBuilder spec:
((from ocaml/opam:ubuntu-24.04-ocaml-5.4@sha256:d162f5bab9b92be895e174d1b119d59ff46cc7db2cb00b4e92b44fe4216e5ab1)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
(run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
(run (shell "opam option solver=builtin-0install && opam config report"))
(env OPAMDOWNLOADJOBS 1)
(env OPAMERRLOGLEN 0)
(env OPAMPRECISETRACKING 1)
(env CI true)
(env OPAM_REPO_CI true)
(run (shell "rm -rf opam-repository/"))
(copy (src .) (dst opam-repository/))
(run (shell "opam repository set-url --strict default opam-repository/"))
(run (network host)
(shell "opam update --depexts || true"))
(run (shell "opam pin add -k version -yn patricia-tree.0.12.0 0.12.0"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall patricia-tree.0.12.0;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"ubuntu-24.04\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'patricia-tree.0.12.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (network host)
(shell "(opam reinstall --with-test patricia-tree.0.12.0) || true"))
(run (shell "opam reinstall --with-test --verbose patricia-tree.0.12.0;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"ubuntu-24.04\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'patricia-tree.0.12.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2026-01-19 15:42.41: Waiting for resource in pool OCluster
2026-01-19 15:42.41: Waiting for worker…
2026-01-19 15:51.21: Got resource from pool OCluster
Building on riscv-bm-02.sw.ci.dev
All commits already cached
Updating files: 14% (2708/19229)
Updating files: 15% (2885/19229)
Updating files: 16% (3077/19229)
Updating files: 17% (3269/19229)
Updating files: 18% (3462/19229)
Updating files: 19% (3654/19229)
Updating files: 20% (3846/19229)
Updating files: 21% (4039/19229)
Updating files: 22% (4231/19229)
Updating files: 23% (4423/19229)
Updating files: 24% (4615/19229)
Updating files: 25% (4808/19229)
Updating files: 26% (5000/19229)
Updating files: 27% (5192/19229)
Updating files: 27% (5316/19229)
Updating files: 28% (5385/19229)
Updating files: 29% (5577/19229)
Updating files: 30% (5769/19229)
Updating files: 31% (5961/19229)
Updating files: 32% (6154/19229)
Updating files: 33% (6346/19229)
Updating files: 34% (6538/19229)
Updating files: 35% (6731/19229)
Updating files: 36% (6923/19229)
Updating files: 37% (7115/19229)
Updating files: 38% (7308/19229)
Updating files: 39% (7500/19229)
Updating files: 40% (7692/19229)
Updating files: 41% (7884/19229)
Updating files: 41% (7950/19229)
Updating files: 42% (8077/19229)
Updating files: 43% (8269/19229)
Updating files: 44% (8461/19229)
Updating files: 45% (8654/19229)
Updating files: 46% (8846/19229)
Updating files: 47% (9038/19229)
Updating files: 48% (9230/19229)
Updating files: 49% (9423/19229)
Updating files: 50% (9615/19229)
Updating files: 51% (9807/19229)
Updating files: 52% (10000/19229)
Updating files: 53% (10192/19229)
Updating files: 53% (10369/19229)
Updating files: 54% (10384/19229)
Updating files: 55% (10576/19229)
Updating files: 56% (10769/19229)
Updating files: 57% (10961/19229)
Updating files: 58% (11153/19229)
Updating files: 59% (11346/19229)
Updating files: 60% (11538/19229)
Updating files: 61% (11730/19229)
Updating files: 62% (11922/19229)
Updating files: 63% (12115/19229)
Updating files: 64% (12307/19229)
Updating files: 65% (12499/19229)
Updating files: 66% (12692/19229)
Updating files: 66% (12698/19229)
Updating files: 67% (12884/19229)
Updating files: 68% (13076/19229)
Updating files: 69% (13269/19229)
Updating files: 70% (13461/19229)
Updating files: 71% (13653/19229)
Updating files: 72% (13845/19229)
Updating files: 73% (14038/19229)
Updating files: 74% (14230/19229)
Updating files: 75% (14422/19229)
Updating files: 76% (14615/19229)
Updating files: 77% (14807/19229)
Updating files: 78% (14999/19229)
Updating files: 78% (15099/19229)
Updating files: 79% (15191/19229)
Updating files: 80% (15384/19229)
Updating files: 81% (15576/19229)
Updating files: 82% (15768/19229)
Updating files: 83% (15961/19229)
Updating files: 84% (16153/19229)
Updating files: 85% (16345/19229)
Updating files: 86% (16537/19229)
Updating files: 87% (16730/19229)
Updating files: 88% (16922/19229)
Updating files: 89% (17114/19229)
Updating files: 90% (17307/19229)
Updating files: 91% (17499/19229)
Updating files: 91% (17514/19229)
Updating files: 92% (17691/19229)
Updating files: 93% (17883/19229)
Updating files: 94% (18076/19229)
Updating files: 95% (18268/19229)
Updating files: 96% (18460/19229)
Updating files: 97% (18653/19229)
Updating files: 98% (18845/19229)
Updating files: 99% (19037/19229)
Updating files: 100% (19229/19229)
Updating files: 100% (19229/19229), done.
HEAD is now at 39960ffbaf Merge pull request #29193 from recoules/release-binsec-0.11.0
Updating 39960ffbaf..50f45d837b
Fast-forward
packages/patricia-tree/patricia-tree.0.12.0/opam | 48 ++++++++++++++++++++++++
1 file changed, 48 insertions(+)
create mode 100644 packages/patricia-tree/patricia-tree.0.12.0/opam
(from ocaml/opam:ubuntu-24.04-ocaml-5.4@sha256:d162f5bab9b92be895e174d1b119d59ff46cc7db2cb00b4e92b44fe4216e5ab1)
2026-01-19 15:51.32 ---> using "e6d25a681a2839b9759c5ab76e7fc37d65a3a1681d1dd6a25eff6d306e5b002f" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2026-01-19 15:51.32 ---> using "f94728a3897568e3a7759826588216c63a3b89bd0663181aa99bddde4facc7c9" from cache
/home/opam: (run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally 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-01-19 15:51.32 ---> using "e6cfbe27a3c7e265ded57a9000a356597d5dfbdd03f7660dee29c304960f0626" from cache
/home/opam: (run (shell "opam option solver=builtin-0install && opam config report"))
Set to 'builtin-0install' the field solver in global configuration
# opam config report
# opam-version 2.5.0
# self-upgrade no
# system arch=riscv64 os=linux os-distribution=ubuntu os-version=24.04
# solver builtin-0install
# install-criteria -changed,-count[avoid-version,solution]
# upgrade-criteria -count[avoid-version,solution]
# jobs 3
# repositories 1 (version-controlled)
# pinned 1 (version)
# current-switch 5.4
# invariant ["ocaml-base-compiler" {>= "5.4.0"}]
# compiler-packages ocaml-base-compiler.5.4.0, ocaml-compiler.5.4.0, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/5.4/lib/ocaml/stublibs:/home/opam/.opam/5.4/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 5.4.0
2026-01-19 15:51.32 ---> using "c8ba0107694140cd095b41f9f249c2013cd515bee398d7be9528c65cc18ba180" from cache
/home/opam: (env OPAMDOWNLOADJOBS 1)
/home/opam: (env OPAMERRLOGLEN 0)
/home/opam: (env OPAMPRECISETRACKING 1)
/home/opam: (env CI true)
/home/opam: (env OPAM_REPO_CI true)
/home/opam: (run (shell "rm -rf opam-repository/"))
2026-01-19 15:51.32 ---> using "54067164ef27cf4f5ad1fc92e3c4c83398f26196cbb8b27c986ef7868389bd7d" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2026-01-19 15:51.38 ---> using "e19edfd2cf435c7193b79de5ffd2d17c34300926847fcb4961b8ebddf33ef900" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-01-19 15:51.38 ---> using "08cb9658410bb34500a33bb9b6518d60aaf43c0e7aa579779a2676b739ba6904" from cache
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://ports.ubuntu.com/ubuntu-ports noble InRelease
- Get:2 http://ports.ubuntu.com/ubuntu-ports noble-updates InRelease [126 kB]
- Get:3 http://ports.ubuntu.com/ubuntu-ports noble-backports InRelease [126 kB]
- Get:4 http://ports.ubuntu.com/ubuntu-ports noble-security InRelease [126 kB]
- Get:5 http://ports.ubuntu.com/ubuntu-ports noble-updates/universe riscv64 Packages [1473 kB]
- Get:6 http://ports.ubuntu.com/ubuntu-ports noble-updates/main riscv64 Packages [903 kB]
- Get:7 http://ports.ubuntu.com/ubuntu-ports noble-security/main riscv64 Packages [585 kB]
- Get:8 http://ports.ubuntu.com/ubuntu-ports noble-security/universe riscv64 Packages [931 kB]
- Fetched 4271 kB in 2s (1748 kB/s)
- Reading package lists...
-
2026-01-19 15:51.38 ---> using "5deb6f3d2e88db2f8d54faaf2e1e4de0b0701a1f095eb8b7fc2728ade4c5237e" from cache
/home/opam: (run (shell "opam pin add -k version -yn patricia-tree.0.12.0 0.12.0"))
patricia-tree is now pinned to version 0.12.0
2026-01-19 15:51.38 ---> using "1f3b2e3bcf3579779134bc17b9f2d86c1693eda414bb510847a9ff4c9a584851" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall patricia-tree.0.12.0;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"ubuntu-24.04\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'patricia-tree.0.12.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
patricia-tree.0.12.0 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 2 packages
- install dune 3.21.0 [required by patricia-tree]
- install patricia-tree 0.12.0 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.21.0 (cached)
-> retrieved patricia-tree.0.12.0 (https://github.com/codex-semantics-library/patricia-tree/releases/download/v0.12.0/patricia-tree-0.12.0.tbz)
-> installed dune.3.21.0
-> installed patricia-tree.0.12.0
Done.
# To update the current shell environment, run: eval $(opam env)
2026-01-19 15:51.38 ---> using "d868cce6c65a17aff95842fd92d0fa2c59bb68a3c899ae1feac9cfd469f104f2" from cache
/home/opam: (run (network host)
(shell "(opam reinstall --with-test patricia-tree.0.12.0) || true"))
The following actions will be performed:
=== recompile 1 package
- recompile patricia-tree 0.12.0 (pinned)
=== install 43 packages
- install astring 0.8.5 [required by mdx]
- install base v0.17.3 [required by ppx_inline_test]
- install camlp-streams 5.0.1 [required by mdx]
- install cmdliner 2.1.0 [required by mdx]
- install cppo 1.8.0 [required by mdx]
- install csexp 1.5.2 [required by mdx]
- install dune-configurator 3.21.0 [required by base]
- install fmt 0.11.0 [required by mdx]
- install jane-street-headers v0.17.0 [required by time_now]
- install jst-config v0.17.0 [required by time_now]
- install logs 0.10.0 [required by mdx]
- install mdx 2.5.1 [required by patricia-tree]
- install ocaml-compiler-libs v0.17.0 [required by ppxlib]
- install ocaml-version 4.0.3 [required by mdx]
- install ocaml_intrinsics_kernel v0.17.1 [required by base]
- install ocamlbuild 0.16.1 [required by fmt, astring, logs]
- install ocamlfind 1.9.8 [required by mdx]
- install ounit2 2.2.7 [required by qcheck-ounit]
- install ppx_assert v0.17.0 [required by jst-config]
- install ppx_base v0.17.0 [required by time_now]
- install ppx_cold v0.17.0 [required by ppx_base]
- install ppx_compare v0.17.0 [required by ppx_base]
- install ppx_derivers 1.2.1 [required by ppxlib]
- install ppx_enumerate v0.17.0 [required by ppx_base]
- install ppx_globalize v0.17.2 [required by ppx_base]
- install ppx_hash v0.17.0 [required by ppx_base]
- install ppx_here v0.17.0 [required by ppx_assert]
- install ppx_inline_test v0.17.1 [required by patricia-tree]
- install ppx_optcomp v0.17.1 [required by time_now]
- install ppx_sexp_conv v0.17.1 [required by ppx_base]
- install ppxlib 0.37.0 [required by ppx_inline_test]
- install ppxlib_jane v0.17.4 [required by ppx_globalize, ppx_enumerate, ppx_hash]
- install qcheck 0.27 [required by patricia-tree]
- install qcheck-core 0.27 [required by qcheck]
- install qcheck-ounit 0.27 [required by qcheck]
- install re 1.14.0 [required by mdx]
- install result 1.5 [required by mdx]
- install seq base [required by ounit2]
- install sexplib0 v0.17.0 [required by base, ppxlib]
- install stdio v0.17.0 [required by ppx_optcomp]
- install stdlib-shims 0.3.0 [required by ppxlib]
- install time_now v0.17.0 [required by ppx_inline_test]
- install topkg 1.1.1 [required by fmt, astring, logs]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved astring.0.8.5 (https://opam.ocaml.org/cache)
-> retrieved base.v0.17.3 (https://opam.ocaml.org/cache)
-> retrieved camlp-streams.5.0.1 (https://opam.ocaml.org/cache)
-> retrieved cmdliner.2.1.0 (https://opam.ocaml.org/cache)
-> retrieved cppo.1.8.0 (https://opam.ocaml.org/cache)
-> retrieved csexp.1.5.2 (https://opam.ocaml.org/cache)
-> installed camlp-streams.5.0.1
-> installed csexp.1.5.2
-> retrieved dune-configurator.3.21.0 (https://opam.ocaml.org/cache)
-> installed cppo.1.8.0
-> retrieved fmt.0.11.0 (https://opam.ocaml.org/cache)
-> retrieved jane-street-headers.v0.17.0 (https://opam.ocaml.org/cache)
-> retrieved jst-config.v0.17.0 (https://opam.ocaml.org/cache)
-> retrieved logs.0.10.0 (https://opam.ocaml.org/cache)
-> installed jane-street-headers.v0.17.0
-> retrieved mdx.2.5.1 (https://opam.ocaml.org/cache)
-> retrieved ocaml-compiler-libs.v0.17.0 (https://opam.ocaml.org/cache)
-> retrieved ocaml-version.4.0.3 (https://opam.ocaml.org/cache)
-> retrieved ocaml_intrinsics_kernel.v0.17.1 (https://opam.ocaml.org/cache)
-> retrieved ocamlbuild.0.16.1 (https://opam.ocaml.org/cache)
-> retrieved ocamlfind.1.9.8 (https://opam.ocaml.org/cache)
-> retrieved ounit2.2.2.7 (https://opam.ocaml.org/cache)
-> retrieved ppx_assert.v0.17.0 (https://opam.ocaml.org/cache)
-> installed cmdliner.2.1.0
-> installed ocaml-version.4.0.3
-> retrieved ppx_base.v0.17.0 (https://opam.ocaml.org/cache)
-> installed dune-configurator.3.21.0
-> retrieved ppx_cold.v0.17.0 (https://opam.ocaml.org/cache)
-> retrieved ppx_compare.v0.17.0 (https://opam.ocaml.org/cache)
-> retrieved ppx_derivers.1.2.1 (https://opam.ocaml.org/cache)
-> retrieved ppx_enumerate.v0.17.0 (https://opam.ocaml.org/cache)
-> installed ocaml_intrinsics_kernel.v0.17.1
-> retrieved ppx_globalize.v0.17.2 (https://opam.ocaml.org/cache)
-> retrieved ppx_hash.v0.17.0 (https://opam.ocaml.org/cache)
-> retrieved ppx_here.v0.17.0 (https://opam.ocaml.org/cache)
-> retrieved ppx_inline_test.v0.17.1 (https://opam.ocaml.org/cache)
-> retrieved ppx_optcomp.v0.17.1 (https://opam.ocaml.org/cache)
-> installed ocaml-compiler-libs.v0.17.0
-> retrieved ppx_sexp_conv.v0.17.1 (https://opam.ocaml.org/cache)
-> retrieved ppxlib.0.37.0 (https://opam.ocaml.org/cache)
-> installed ppx_derivers.1.2.1
-> retrieved ppxlib_jane.v0.17.4 (https://opam.ocaml.org/cache)
-> retrieved qcheck.0.27, qcheck-core.0.27, qcheck-ounit.0.27 (https://opam.ocaml.org/cache)
-> retrieved re.1.14.0 (https://opam.ocaml.org/cache)
-> retrieved result.1.5 (https://opam.ocaml.org/cache)
-> retrieved seq.base (2 extra sources)
-> retrieved seq.base (2 extra sources)
-> retrieved sexplib0.v0.17.0 (https://opam.ocaml.org/cache)
-> retrieved stdio.v0.17.0 (https://opam.ocaml.org/cache)
-> retrieved stdlib-shims.0.3.0 (https://opam.ocaml.org/cache)
-> retrieved time_now.v0.17.0 (https://opam.ocaml.org/cache)
-> retrieved topkg.1.1.1 (https://opam.ocaml.org/cache)
-> installed qcheck-core.0.27
-> installed ocamlfind.1.9.8
-> installed result.1.5
-> installed seq.base
-> installed sexplib0.v0.17.0
-> installed re.1.14.0
-> installed stdlib-shims.0.3.0
-> installed ounit2.2.2.7
-> removed patricia-tree.0.12.0
-> installed ocamlbuild.0.16.1
-> installed qcheck-ounit.0.27
-> installed topkg.1.1.1
-> installed qcheck.0.27
-> installed astring.0.8.5
-> installed fmt.0.11.0
-> installed logs.0.10.0
-> installed base.v0.17.3
-> installed stdio.v0.17.0
-> installed mdx.2.5.1
-> installed ppxlib.0.37.0
-> installed ppx_optcomp.v0.17.1
-> installed ppxlib_jane.v0.17.4
-> installed ppx_here.v0.17.0
-> installed ppx_cold.v0.17.0
-> installed ppx_compare.v0.17.0
-> installed ppx_enumerate.v0.17.0
-> installed ppx_globalize.v0.17.2
-> installed ppx_sexp_conv.v0.17.1
-> installed ppx_hash.v0.17.0
-> installed ppx_assert.v0.17.0
-> installed ppx_base.v0.17.0
-> installed jst-config.v0.17.0
-> installed time_now.v0.17.0
-> installed ppx_inline_test.v0.17.1
-> installed patricia-tree.0.12.0
Done.
# To update the current shell environment, run: eval $(opam env)
2026-01-19 16:01.06 ---> saved as "d2a1e28d6e06c0f0a8dcaa46b74d75962589f28517edb744d89396708c109d16"
/home/opam: (run (shell "opam reinstall --with-test --verbose patricia-tree.0.12.0;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"ubuntu-24.04\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'patricia-tree.0.12.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
The following actions will be performed:
=== recompile 1 package
- recompile patricia-tree 0.12.0 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 2/4: [patricia-tree: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "patricia-tree" "-j" "3" "@install" "@runtest" (CWD=/home/opam/.opam/5.4/.opam-switch/build/patricia-tree.0.12.0)
- (cd _build/default/test/model && ./test.exe)
-
random seed: 331952375
- generated error fail pass / total time test name
-
[ ] 0 0 0 0 / 1000 0.0s is_empty
[ ] 639 0 0 639 / 1000 0.1s is_empty (collecting)
[✓] 1000 0 0 1000 / 1000 0.2s is_empty
-
[ ] 0 0 0 0 / 1000 0.0s is_singleton
[ ] 718 0 0 718 / 1000 0.1s is_singleton (collecting)
[✓] 1000 0 0 1000 / 1000 0.1s is_singleton
-
[ ] 0 0 0 0 / 1000 0.0s singleton
[✓] 1000 0 0 1000 / 1000 0.0s singleton
-
[ ] 0 0 0 0 / 1000 0.0s reflexive_compare
[ ] 272 0 0 272 / 1000 0.1s reflexive_compare (collecting)
[ ] 520 0 0 520 / 1000 0.2s reflexive_compare (collecting)
[ ] 811 0 0 811 / 1000 0.3s reflexive_compare (collecting)
[✓] 1000 0 0 1000 / 1000 0.4s reflexive_compare
-
[ ] 0 0 0 0 / 1000 0.0s disjoint
[ ] 295 0 0 295 / 1000 0.1s disjoint (collecting)
[ ] 517 0 0 517 / 1000 0.2s disjoint
[ ] 812 0 0 812 / 1000 0.3s disjoint
[✓] 1000 0 0 1000 / 1000 0.4s disjoint
-
[ ] 0 0 0 0 / 1000 0.0s equal
[ ] 284 0 0 284 / 1000 0.1s equal (collecting)
[ ] 516 0 0 516 / 1000 0.2s equal (collecting)
[ ] 818 0 0 818 / 1000 0.3s equal (collecting)
[✓] 1000 0 0 1000 / 1000 0.4s equal
-
[ ] 0 0 0 0 / 1000 0.0s cardinal
[ ] 718 0 0 718 / 1000 0.1s cardinal (collecting)
[✓] 1000 0 0 1000 / 1000 0.1s cardinal
-
[ ] 0 0 0 0 / 1000 0.0s mem
[ ] 556 0 0 556 / 1000 0.1s mem (collecting)
[✓] 1000 0 0 1000 / 1000 0.2s mem
-
[ ] 0 0 0 0 / 1000 0.0s find
[ ] 539 0 0 539 / 1000 0.1s find (collecting)
[✓] 1000 0 0 1000 / 1000 0.2s find
-
[ ] 0 0 0 0 / 1000 0.0s unsigned_min_binding
[ ] 510 0 0 510 / 1000 0.1s unsigned_min_binding (collecting)
[ ] 991 0 0 991 / 1000 0.2s unsigned_min_binding (collecting)
[✓] 1000 0 0 1000 / 1000 0.2s unsigned_min_binding
-
[ ] 0 0 0 0 / 1000 0.0s unsigned_max_binding
[ ] 280 0 0 280 / 1000 0.1s unsigned_max_binding (collecting)
[ ] 657 0 0 657 / 1000 0.2s unsigned_max_binding (collecting)
[✓] 1000 0 0 1000 / 1000 0.3s unsigned_max_binding
-
[ ] 0 0 0 0 / 1000 0.0s find_opt
[ ] 393 0 0 393 / 1000 0.1s find_opt (collecting)
[ ] 689 0 0 689 / 1000 0.2s find_opt (collecting)
[ ] 957 0 0 957 / 1000 0.3s find_opt (collecting)
[✓] 1000 0 0 1000 / 1000 0.3s find_opt
-
[ ] 0 0 0 0 / 1000 0.0s pop_unsigned_minimum
[ ] 335 0 0 335 / 1000 0.1s pop_unsigned_minimum (collecting)
[ ] 819 0 0 819 / 1000 0.2s pop_unsigned_minimum (collecting)
[✓] 1000 0 0 1000 / 1000 0.3s pop_unsigned_minimum
-
[ ] 0 0 0 0 / 1000 0.0s pop_unsigned_maximum
[ ] 165 0 0 165 / 1000 0.1s pop_unsigned_maximum (collecting)
[ ] 522 0 0 522 / 1000 0.2s pop_unsigned_maximum (collecting)
[ ] 824 0 0 824 / 1000 0.3s pop_unsigned_maximum (collecting)
[✓] 1000 0 0 1000 / 1000 0.4s pop_unsigned_maximum
-
[ ] 0 0 0 0 / 1000 0.0s add
[ ] 115 0 0 115 / 1000 0.1s add (collecting)
[ ] 293 0 0 293 / 1000 0.2s add (collecting)
[ ] 741 0 0 741 / 1000 0.3s add (collecting)
[ ] 945 0 0 945 / 1000 0.4s add (collecting)
[✓] 1000 0 0 1000 / 1000 0.4s add
-
[ ] 0 0 0 0 / 1000 0.0s split
[ ] 98 0 0 98 / 1000 0.1s split (collecting)
[ ] 368 0 0 368 / 1000 0.2s split (collecting)
[ ] 693 0 0 693 / 1000 0.3s split (collecting)
[ ] 902 0 0 902 / 1000 0.4s split (collecting)
[✓] 1000 0 0 1000 / 1000 0.4s split
-
[ ] 0 0 0 0 / 1000 0.0s remove
[ ] 223 0 0 223 / 1000 0.1s remove (collecting)
[ ] 459 0 0 459 / 1000 0.2s remove (collecting)
[ ] 617 0 0 617 / 1000 0.3s remove (collecting)
[ ] 838 0 0 838 / 1000 0.4s remove
[✓] 1000 0 0 1000 / 1000 0.4s remove
-
[ ] 0 0 0 0 / 1000 0.0s insert
[ ] 345 0 0 345 / 1000 0.1s insert (collecting)
[ ] 784 0 0 784 / 1000 0.2s insert (collecting)
[✓] 1000 0 0 1000 / 1000 0.2s insert
-
[ ] 0 0 0 0 / 1000 0.0s update
[ ] 625 0 0 625 / 1000 0.1s update
[✓] 1000 0 0 1000 / 1000 0.1s update
-
[ ] 0 0 0 0 / 1000 0.0s fold (cumulative)
[ ] 715 0 0 715 / 1000 0.1s fold (cumulative) (collecting)
[✓] 1000 0 0 1000 / 1000 0.1s fold (cumulative)
-
[ ] 0 0 0 0 / 1000 0.0s fold (ordered)
[ ] 611 0 0 611 / 1000 0.1s fold (ordered) (collecting)
[✓] 1000 0 0 1000 / 1000 0.2s fold (ordered)
-
[ ] 0 0 0 0 / 1000 0.0s fold (keys)
[ ] 601 0 0 601 / 1000 0.1s fold (keys) (collecting)
[✓] 1000 0 0 1000 / 1000 0.2s fold (keys)
-
[ ] 0 0 0 0 / 1000 0.0s iter
[ ] 610 0 0 610 / 1000 0.1s iter (collecting)
[✓] 1000 0 0 1000 / 1000 0.2s iter
-
[ ] 0 0 0 0 / 1000 0.0s map
[ ] 614 0 0 614 / 1000 0.1s map (collecting)
[✓] 1000 0 0 1000 / 1000 0.2s map
-
[ ] 0 0 0 0 / 1000 0.0s mapi
[ ] 697 0 0 697 / 1000 0.1s mapi (collecting)
[✓] 1000 0 0 1000 / 1000 0.1s mapi
-
[ ] 0 0 0 0 / 1000 0.0s map_no_share
[ ] 607 0 0 607 / 1000 0.1s map_no_share (collecting)
[✓] 1000 0 0 1000 / 1000 0.2s map_no_share
-
[ ] 0 0 0 0 / 1000 0.0s mapi_no_share
[ ] 459 0 0 459 / 1000 0.1s mapi_no_share (collecting)
[✓] 1000 0 0 1000 / 1000 0.2s mapi_no_share
-
[ ] 0 0 0 0 / 1000 0.0s filter
[ ] 628 0 0 628 / 1000 0.1s filter (collecting)
[✓] 1000 0 0 1000 / 1000 0.2s filter
-
[ ] 0 0 0 0 / 1000 0.0s filter_map
[ ] 511 0 0 511 / 1000 0.1s filter_map (collecting)
[✓] 1000 0 0 1000 / 1000 0.2s filter_map
-
[ ] 0 0 0 0 / 1000 0.0s filter_map_no_share
[ ] 525 0 0 525 / 1000 0.1s filter_map_no_share (collecting)
[✓] 1000 0 0 1000 / 1000 0.2s filter_map_no_share
-
[ ] 0 0 0 0 / 1000 0.0s for_all
[ ] 612 0 0 612 / 1000 0.1s for_all (collecting)
[✓] 1000 0 0 1000 / 1000 0.2s for_all
-
[ ] 0 0 0 0 / 1000 0.0s idempotent_union
[ ] 268 0 0 268 / 1000 0.1s idempotent_union (collecting)
[ ] 539 0 0 539 / 1000 0.2s idempotent_union (collecting)
[ ] 821 0 0 821 / 1000 0.3s idempotent_union (collecting)
[✓] 1000 0 0 1000 / 1000 0.4s idempotent_union
-
[ ] 0 0 0 0 / 1000 0.0s idempotent_inter
[ ] 268 0 0 268 / 1000 0.1s idempotent_inter (collecting)
[ ] 539 0 0 539 / 1000 0.2s idempotent_inter (collecting)
[ ] 822 0 0 822 / 1000 0.3s idempotent_inter
[✓] 1000 0 0 1000 / 1000 0.4s idempotent_inter
-
[ ] 0 0 0 0 / 1000 0.0s idempotent_inter_filter
[ ] 281 0 0 281 / 1000 0.1s idempotent_inter_filter (collecting)
[ ] 542 0 0 542 / 1000 0.2s idempotent_inter_filter (collecting)
[ ] 831 0 0 831 / 1000 0.3s idempotent_inter_filter
[✓] 1000 0 0 1000 / 1000 0.4s idempotent_inter_filter
-
[ ] 0 0 0 0 / 1000 0.0s reflexive_same_domain_for_all2
[ ] 271 0 0 271 / 1000 0.1s reflexive_same_domain_for_all2 (collecting)
[ ] 540 0 0 540 / 1000 0.2s reflexive_same_domain_for_all2 (collecting)
[ ] 830 0 0 830 / 1000 0.3s reflexive_same_domain_for_all2 (collecting)
[✓] 1000 0 0 1000 / 1000 0.4s reflexive_same_domain_for_all2
-
[ ] 0 0 0 0 / 1000 0.0s nonreflexive_same_domain_for_all2
[ ] 268 0 0 268 / 1000 0.1s nonreflexive_same_domain_for_all2 (collecting)
[ ] 540 0 0 540 / 1000 0.2s nonreflexive_same_domain_for_all2 (collecting)
[ ] 830 0 0 830 / 1000 0.3s nonreflexive_same_domain_for_all2 (collecting)
[✓] 1000 0 0 1000 / 1000 0.4s nonreflexive_same_domain_for_all2
-
[ ] 0 0 0 0 / 1000 0.0s difference
[ ] 275 0 0 275 / 1000 0.1s difference (collecting)
[ ] 541 0 0 541 / 1000 0.2s difference (collecting)
[ ] 830 0 0 830 / 1000 0.3s difference (collecting)
[✓] 1000 0 0 1000 / 1000 0.4s difference
-
[ ] 0 0 0 0 / 1000 0.0s reflexive_subset_domain_for_all2
[ ] 314 0 0 314 / 1000 0.1s reflexive_subset_domain_for_all2
[ ] 711 0 0 711 / 1000 0.2s reflexive_subset_domain_for_all2 (collecting)
[✓] 1000 0 0 1000 / 1000 0.3s reflexive_subset_domain_for_all2
-
[ ] 0 0 0 0 / 1000 0.0s intersect
[ ] 368 0 0 368 / 1000 0.1s intersect (collecting)
[ ] 774 0 0 774 / 1000 0.2s intersect
[✓] 1000 0 0 1000 / 1000 0.3s intersect
-
[ ] 0 0 0 0 / 1000 0.0s slow_merge
[ ] 280 0 0 280 / 1000 0.1s slow_merge
[ ] 516 0 0 516 / 1000 0.2s slow_merge (collecting)
[ ] 776 0 0 776 / 1000 0.3s slow_merge (collecting)
[✓] 1000 0 0 1000 / 1000 0.4s slow_merge
-
[ ] 0 0 0 0 / 1000 0.0s symmetric_difference
[ ] 283 0 0 283 / 1000 0.1s symmetric_difference (collecting)
[ ] 520 0 0 520 / 1000 0.2s symmetric_difference
[ ] 787 0 0 787 / 1000 0.3s symmetric_difference (collecting)
[✓] 1000 0 0 1000 / 1000 0.4s symmetric_difference
-
[ ] 0 0 0 0 / 1000 0.0s min_binding_inter
[ ] 323 0 0 323 / 1000 0.1s min_binding_inter
[ ] 578 0 0 578 / 1000 0.2s min_binding_inter (collecting)
[ ] 880 0 0 880 / 1000 0.3s min_binding_inter (collecting)
[✓] 1000 0 0 1000 / 1000 0.3s min_binding_inter
-
[ ] 0 0 0 0 / 1000 0.0s max_binding_inter
[ ] 326 0 0 326 / 1000 0.1s max_binding_inter (collecting)
[ ] 586 0 0 586 / 1000 0.2s max_binding_inter (collecting)
[ ] 878 0 0 878 / 1000 0.3s max_binding_inter (collecting)
[✓] 1000 0 0 1000 / 1000 0.3s max_binding_inter
-
[ ] 0 0 0 0 / 1000 0.0s fold_on_nonequal_inter
[ ] 323 0 0 323 / 1000 0.1s fold_on_nonequal_inter
[ ] 579 0 0 579 / 1000 0.2s fold_on_nonequal_inter
[ ] 875 0 0 875 / 1000 0.3s fold_on_nonequal_inter (collecting)
[✓] 1000 0 0 1000 / 1000 0.3s fold_on_nonequal_inter
-
[ ] 0 0 0 0 / 1000 0.0s fold_on_nonequal_union
[ ] 322 0 0 322 / 1000 0.1s fold_on_nonequal_union (collecting)
[ ] 571 0 0 571 / 1000 0.2s fold_on_nonequal_union (collecting)
[ ] 855 0 0 855 / 1000 0.3s fold_on_nonequal_union
[✓] 1000 0 0 1000 / 1000 0.3s fold_on_nonequal_union
-
[ ] 0 0 0 0 / 1000 0.0s nonidempotent_inter_no_share
[ ] 270 0 0 270 / 1000 0.1s nonidempotent_inter_no_share (collecting)
[ ] 540 0 0 540 / 1000 0.2s nonidempotent_inter_no_share
[ ] 821 0 0 821 / 1000 0.3s nonidempotent_inter_no_share (collecting)
[✓] 1000 0 0 1000 / 1000 0.4s nonidempotent_inter_no_share
-
[ ] 0 0 0 0 / 1000 0.0s of_list
[ ] 96 0 0 96 / 1000 0.1s of_list
[ ] 192 0 0 192 / 1000 0.2s of_list
[ ] 260 0 0 260 / 1000 0.3s of_list
[ ] 314 0 0 314 / 1000 0.4s of_list
[ ] 369 0 0 369 / 1000 0.5s of_list (collecting)
[ ] 464 0 0 464 / 1000 0.7s of_list
[ ] 568 0 0 568 / 1000 0.8s of_list
[ ] 597 0 0 597 / 1000 0.9s of_list
[ ] 717 0 0 717 / 1000 1.0s of_list (collecting)
[ ] 789 0 0 789 / 1000 1.1s of_list
[ ] 804 0 0 804 / 1000 1.2s of_list
[ ] 827 0 0 827 / 1000 1.3s of_list
[ ] 877 0 0 877 / 1000 1.4s of_list
[ ] 924 0 0 924 / 1000 1.6s of_list
[ ] 961 0 0 961 / 1000 1.7s of_list
[✓] 1000 0 0 1000 / 1000 1.7s of_list
-
[ ] 0 0 0 0 / 1000 0.0s of_seq
[ ] 96 0 0 96 / 1000 0.1s of_seq
[ ] 192 0 0 192 / 1000 0.2s of_seq
[ ] 260 0 0 260 / 1000 0.3s of_seq
[ ] 314 0 0 314 / 1000 0.4s of_seq
[ ] 352 0 0 352 / 1000 0.5s of_seq
[ ] 443 0 0 443 / 1000 0.6s of_seq
[ ] 548 0 0 548 / 1000 0.8s of_seq
[ ] 583 0 0 583 / 1000 0.9s of_seq
[ ] 708 0 0 708 / 1000 1.0s of_seq
[ ] 789 0 0 789 / 1000 1.2s of_seq
[ ] 804 0 0 804 / 1000 1.3s of_seq
[ ] 827 0 0 827 / 1000 1.4s of_seq
[ ] 870 0 0 870 / 1000 1.5s of_seq
[ ] 917 0 0 917 / 1000 1.7s of_seq
[ ] 953 0 0 953 / 1000 1.8s of_seq
[ ] 988 0 0 988 / 1000 1.9s of_seq
[✓] 1000 0 0 1000 / 1000 1.9s of_seq
-
[ ] 0 0 0 0 / 1000 0.0s add_seq
[ ] 31 0 0 31 / 1000 0.1s add_seq
[ ] 80 0 0 80 / 1000 0.2s add_seq
[ ] 117 0 0 117 / 1000 0.3s add_seq
[ ] 169 0 0 169 / 1000 0.5s add_seq
[ ] 240 0 0 240 / 1000 0.6s add_seq
[ ] 259 0 0 259 / 1000 0.7s add_seq
[ ] 321 0 0 321 / 1000 0.8s add_seq
[ ] 364 0 0 364 / 1000 0.9s add_seq
[ ] 390 0 0 390 / 1000 1.1s add_seq
[ ] 435 0 0 435 / 1000 1.2s add_seq (collecting)
[ ] 484 0 0 484 / 1000 1.3s add_seq
[ ] 535 0 0 535 / 1000 1.4s add_seq
[ ] 632 0 0 632 / 1000 1.5s add_seq (collecting)
[ ] 723 0 0 723 / 1000 1.6s add_seq
[ ] 734 0 0 734 / 1000 1.7s add_seq
[ ] 810 0 0 810 / 1000 1.9s add_seq
[ ] 848 0 0 848 / 1000 2.0s add_seq
[ ] 905 0 0 905 / 1000 2.1s add_seq
[ ] 971 0 0 971 / 1000 2.2s add_seq
[✓] 1000 0 0 1000 / 1000 2.2s add_seq
-
[ ] 0 0 0 0 / 1000 0.0s to_list
[ ] 718 0 0 718 / 1000 0.1s to_list (collecting)
[✓] 1000 0 0 1000 / 1000 0.1s to_list
-
[ ] 0 0 0 0 / 1000 0.0s to_seq
[ ] 718 0 0 718 / 1000 0.1s to_seq (collecting)
[✓] 1000 0 0 1000 / 1000 0.1s to_seq
-
[ ] 0 0 0 0 / 1000 0.0s to_rev_seq
[ ] 718 0 0 718 / 1000 0.1s to_rev_seq (collecting)
[✓] 1000 0 0 1000 / 1000 0.1s to_rev_seq
- ================================================================================
- success (ran 52 tests)
-> compiled patricia-tree.0.12.0
-> removed patricia-tree.0.12.0
-> installed patricia-tree.0.12.0
Done.
# To update the current shell environment, run: eval $(opam env)
2026-01-19 16:02.09 ---> saved as "66bfd40ae686c5918d62b958ad9cd18ba221bf47432eb608bcfd8f4b404ebe88"
Job succeeded
2026-01-19 16:02.45: Job succeeded