(for PR #29247)
2026-01-19 15:42.41: New job: test patricia-tree.0.12.0, using opam 2.1
from https://github.com/ocaml/opam-repository.git#refs/pull/29247/head (50f45d837bb794ee9cb48b9ab11449225b1f607c)
on debian-13-ocaml-5.4/amd64
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:debian-13-ocaml-5.4@sha256:9f4103f7d94b5db36adc57e1243e7aafbc77118b03f3c64c9d783f6875957bd3
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-2.1 /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 "\"debian-13\""; 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 "\"debian-13\""; 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:debian-13-ocaml-5.4@sha256:9f4103f7d94b5db36adc57e1243e7aafbc77118b03f3c64c9d783f6875957bd3-patricia-tree.0.12.0-50f45d837bb794ee9cb48b9ab11449225b1f607c"
2026-01-19 15:42.41: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-5.4@sha256:9f4103f7d94b5db36adc57e1243e7aafbc77118b03f3c64c9d783f6875957bd3)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/bin/opam-2.1 /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 \"\\\"debian-13\\\"\"; 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 \"\\\"debian-13\\\"\"; 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:42.44: Got resource from pool OCluster
Building on toxis.caelum.ci.dev
All commits already cached
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:debian-13-ocaml-5.4@sha256:9f4103f7d94b5db36adc57e1243e7aafbc77118b03f3c64c9d783f6875957bd3)
2026-01-19 15:43.56 ---> using "85f72cf1fe4e2d7307f2dbfaf295ab13f00915a95088b79c0422ecbd77383032" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam"))
2026-01-19 15:43.56 ---> using "fc28193d412a87e5f09559b4b50947264f9dad904fa48082b58f897b37a2c661" 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.
Continue? [Y/n] y
This development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.1, which can't be reverted.
You may want to back it up before going further.
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2026-01-19 15:45.39 ---> saved as "04e2bcda1d73f097cd6cae7b6ee5b46743c7a7cc0903efb104f2b40c41da2ad4"
/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.1.6 (263921263e1f745613e2882745114b7b08f3608b)
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=debian os-version=13
# solver builtin-0install
# install-criteria
# upgrade-criteria
# jobs 71
# repositories 1 (version-controlled)
# pinned 1 (version)
# current-switch 5.4
# 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:45.42 ---> saved as "958e5263edd0a594e754e4445b5dcc981a24c85be6bb8185bb20ede6e117274e"
/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:45.56 ---> saved as "66862963fe3ec4d7e43628945eb7b00fcb1a44818a8f1c3002ccd175ddd405e1"
/home/opam: (copy (src .) (dst opam-repository/))
2026-01-19 15:46.15 ---> saved as "6c28ad57f15628cfef4dff1c0bca9ea997c7fe0f7fde7c3152f00bf740b797b8"
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-01-19 15:46.29 ---> saved as "36736df1583247b4a8b725e5a10e59db7aa82072866ced073076b50034f12ad6"
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian trixie InRelease [140 kB]
- 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 trixie/main amd64 Packages [9670 kB]
- Get:5 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [96.1 kB]
- Fetched 9998 kB in 2s (6236 kB/s)
- Reading package lists...
-
2026-01-19 15:46.33 ---> saved as "9402e4184be3d860d1afa9eb6ca59570f946b68d8b09ed1e5f59d7aef6fcdd55"
/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:46.34 ---> saved as "f53219ba26100b210d25ae0fb04c63595da0f2453b41ab4e5b92154aca7a1bd6"
/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 \"\\\"debian-13\\\"\"; 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 dune 3.21.0 [required by patricia-tree]
- install patricia-tree 0.12.0*
===== 2 to install =====
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.21.0 (cached)
-> retrieved patricia-tree.0.12.0 (cached)
-> installed dune.3.21.0
-> installed patricia-tree.0.12.0
Done.
# Run eval $(opam env) to update the current shell environment
2026-01-19 15:47.58 ---> saved as "fb42f5519a8836881f2117f22143434bb8e666f49a010b716837d0dece34c422"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test patricia-tree.0.12.0) || true"))
The following actions will be performed:
- install ppx_derivers 1.2.1 [required by ppxlib]
- install ocamlbuild 0.16.1 [required by fmt, astring, logs]
- install ocaml_intrinsics_kernel v0.17.1 [required by base]
- install result 1.5 [required by mdx]
- install sexplib0 v0.17.0 [required by base, ppxlib]
- install seq base [required by ounit2]
- install jane-street-headers v0.17.0 [required by time_now]
- install ocaml-version 4.0.3 [required by mdx]
- install stdlib-shims 0.3.0 [required by ppxlib]
- 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 qcheck-core 0.27 [required by qcheck]
- install camlp-streams 5.0.1 [required by mdx]
- install ocaml-compiler-libs v0.17.0 [required by ppxlib]
- install ocamlfind 1.9.8 [required by mdx]
- install re 1.14.0 [required by mdx]
- install ounit2 2.2.7 [required by qcheck-ounit]
- install dune-configurator 3.21.0 [required by base]
- install ppxlib 0.37.0 [required by ppx_inline_test]
- install topkg 1.1.1 [required by fmt, astring, logs]
- install qcheck-ounit 0.27 [required by qcheck]
- install base v0.17.3 [required by ppx_inline_test]
- install ppxlib_jane v0.17.4 [required by ppx_globalize, ppx_enumerate, ppx_hash]
- install fmt 0.11.0 [required by mdx]
- install astring 0.8.5 [required by mdx]
- install qcheck 0.27 [required by patricia-tree]
- install stdio v0.17.0 [required by ppx_optcomp]
- install ppx_here v0.17.0 [required by ppx_assert]
- install ppx_cold v0.17.0 [required by ppx_base]
- install ppx_sexp_conv v0.17.1 [required by ppx_base]
- install ppx_globalize v0.17.2 [required by ppx_base]
- install ppx_enumerate v0.17.0 [required by ppx_base]
- install ppx_compare v0.17.0 [required by ppx_base]
- install logs 0.10.0 [required by mdx]
- install ppx_optcomp v0.17.1 [required by time_now]
- install ppx_hash v0.17.0 [required by ppx_base]
- install ppx_assert v0.17.0 [required by jst-config]
- install mdx 2.5.1 [required by patricia-tree]
- install ppx_base v0.17.0 [required by time_now]
- install jst-config v0.17.0 [required by time_now]
- install time_now v0.17.0 [required by ppx_inline_test]
- install ppx_inline_test v0.17.1 [required by patricia-tree]
- recompile patricia-tree 0.12.0*
===== 43 to install | 1 to recompile =====
<><> 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 csexp.1.5.2
-> installed camlp-streams.5.0.1
-> 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)
-> installed ocaml-version.4.0.3
-> installed ocaml_intrinsics_kernel.v0.17.1
-> retrieved ounit2.2.2.7 (https://opam.ocaml.org/cache)
-> retrieved ppx_assert.v0.17.0 (https://opam.ocaml.org/cache)
-> retrieved ppx_base.v0.17.0 (https://opam.ocaml.org/cache)
-> 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)
-> retrieved ppx_globalize.v0.17.2 (https://opam.ocaml.org/cache)
-> installed ppx_derivers.1.2.1
-> 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)
-> installed ocaml-compiler-libs.v0.17.0
-> retrieved ppx_optcomp.v0.17.1 (https://opam.ocaml.org/cache)
-> retrieved ppx_sexp_conv.v0.17.1 (https://opam.ocaml.org/cache)
-> installed dune-configurator.3.21.0
-> retrieved ppxlib.0.37.0 (https://opam.ocaml.org/cache)
-> retrieved ppxlib_jane.v0.17.4 (https://opam.ocaml.org/cache)
-> retrieved qcheck.0.27 (https://opam.ocaml.org/cache)
-> retrieved qcheck-core.0.27 (cached)
-> retrieved qcheck-ounit.0.27 (cached)
-> 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)
-> installed cmdliner.2.1.0
-> installed result.1.5
-> installed seq.base
-> 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)
-> installed re.1.14.0
-> 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 stdlib-shims.0.3.0
-> installed sexplib0.v0.17.0
-> installed ocamlfind.1.9.8
-> installed ounit2.2.2.7
-> installed qcheck-ounit.0.27
-> installed qcheck.0.27
-> removed patricia-tree.0.12.0
-> installed ocamlbuild.0.16.1
-> installed base.v0.17.3
-> installed stdio.v0.17.0
-> installed topkg.1.1.1
-> installed fmt.0.11.0
-> installed astring.0.8.5
-> installed logs.0.10.0
-> installed mdx.2.5.1
-> installed ppxlib.0.37.0
-> installed ppxlib_jane.v0.17.4
-> installed ppx_optcomp.v0.17.1
-> installed ppx_cold.v0.17.0
-> installed ppx_here.v0.17.0
-> installed ppx_enumerate.v0.17.0
-> installed ppx_globalize.v0.17.2
-> installed ppx_compare.v0.17.0
-> 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.
# Run eval $(opam env) to update the current shell environment
2026-01-19 15:49.13 ---> saved as "13d47ba9bd627d2bc4acfc99d59c547934db4cebf254464721299bab63401480"
/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 \"\\\"debian-13\\\"\"; 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 patricia-tree 0.12.0*
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 2/4: [patricia-tree: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "patricia-tree" "-j" "71" "@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: 36349564
- generated error fail pass / total time test name
-
[ ] 0 0 0 0 / 1000 0.0s is_empty
[✓] 1000 0 0 1000 / 1000 0.0s is_empty
-
[ ] 0 0 0 0 / 1000 0.0s is_singleton
[✓] 1000 0 0 1000 / 1000 0.0s 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
[✓] 1000 0 0 1000 / 1000 0.1s reflexive_compare
-
[ ] 0 0 0 0 / 1000 0.0s disjoint
[✓] 1000 0 0 1000 / 1000 0.1s disjoint
-
[ ] 0 0 0 0 / 1000 0.0s equal
[✓] 1000 0 0 1000 / 1000 0.1s equal
-
[ ] 0 0 0 0 / 1000 0.0s cardinal
[✓] 1000 0 0 1000 / 1000 0.0s cardinal
-
[ ] 0 0 0 0 / 1000 0.0s mem
[✓] 1000 0 0 1000 / 1000 0.0s mem
-
[ ] 0 0 0 0 / 1000 0.0s find
[✓] 1000 0 0 1000 / 1000 0.0s find
-
[ ] 0 0 0 0 / 1000 0.0s unsigned_min_binding
[✓] 1000 0 0 1000 / 1000 0.0s unsigned_min_binding
-
[ ] 0 0 0 0 / 1000 0.0s unsigned_max_binding
[✓] 1000 0 0 1000 / 1000 0.0s unsigned_max_binding
-
[ ] 0 0 0 0 / 1000 0.0s find_opt
[✓] 1000 0 0 1000 / 1000 0.0s find_opt
-
[ ] 0 0 0 0 / 1000 0.0s pop_unsigned_minimum
[✓] 1000 0 0 1000 / 1000 0.0s pop_unsigned_minimum
-
[ ] 0 0 0 0 / 1000 0.0s pop_unsigned_maximum
[✓] 1000 0 0 1000 / 1000 0.0s pop_unsigned_maximum
-
[ ] 0 0 0 0 / 1000 0.0s add
[✓] 1000 0 0 1000 / 1000 0.0s add
-
[ ] 0 0 0 0 / 1000 0.0s split
[✓] 1000 0 0 1000 / 1000 0.0s split
-
[ ] 0 0 0 0 / 1000 0.0s remove
[✓] 1000 0 0 1000 / 1000 0.0s remove
-
[ ] 0 0 0 0 / 1000 0.0s insert
[✓] 1000 0 0 1000 / 1000 0.0s insert
-
[ ] 0 0 0 0 / 1000 0.0s update
[✓] 1000 0 0 1000 / 1000 0.0s update
-
[ ] 0 0 0 0 / 1000 0.0s fold (cumulative)
[✓] 1000 0 0 1000 / 1000 0.0s fold (cumulative)
-
[ ] 0 0 0 0 / 1000 0.0s fold (ordered)
[✓] 1000 0 0 1000 / 1000 0.0s fold (ordered)
-
[ ] 0 0 0 0 / 1000 0.0s fold (keys)
[✓] 1000 0 0 1000 / 1000 0.0s fold (keys)
-
[ ] 0 0 0 0 / 1000 0.0s iter
[✓] 1000 0 0 1000 / 1000 0.0s iter
-
[ ] 0 0 0 0 / 1000 0.0s map
[✓] 1000 0 0 1000 / 1000 0.0s map
-
[ ] 0 0 0 0 / 1000 0.0s mapi
[✓] 1000 0 0 1000 / 1000 0.0s mapi
-
[ ] 0 0 0 0 / 1000 0.0s map_no_share
[✓] 1000 0 0 1000 / 1000 0.0s map_no_share
-
[ ] 0 0 0 0 / 1000 0.0s mapi_no_share
[✓] 1000 0 0 1000 / 1000 0.0s mapi_no_share
-
[ ] 0 0 0 0 / 1000 0.0s filter
[✓] 1000 0 0 1000 / 1000 0.0s filter
-
[ ] 0 0 0 0 / 1000 0.0s filter_map
[✓] 1000 0 0 1000 / 1000 0.0s filter_map
-
[ ] 0 0 0 0 / 1000 0.0s filter_map_no_share
[✓] 1000 0 0 1000 / 1000 0.0s filter_map_no_share
-
[ ] 0 0 0 0 / 1000 0.0s for_all
[✓] 1000 0 0 1000 / 1000 0.0s for_all
-
[ ] 0 0 0 0 / 1000 0.0s idempotent_union
[✓] 1000 0 0 1000 / 1000 0.1s idempotent_union
-
[ ] 0 0 0 0 / 1000 0.0s idempotent_inter
[✓] 1000 0 0 1000 / 1000 0.1s idempotent_inter
-
[ ] 0 0 0 0 / 1000 0.0s idempotent_inter_filter
[✓] 1000 0 0 1000 / 1000 0.1s idempotent_inter_filter
-
[ ] 0 0 0 0 / 1000 0.0s reflexive_same_domain_for_all2
[✓] 1000 0 0 1000 / 1000 0.1s reflexive_same_domain_for_all2
-
[ ] 0 0 0 0 / 1000 0.0s nonreflexive_same_domain_for_all2
[✓] 1000 0 0 1000 / 1000 0.1s nonreflexive_same_domain_for_all2
-
[ ] 0 0 0 0 / 1000 0.0s difference
[✓] 1000 0 0 1000 / 1000 0.1s difference
-
[ ] 0 0 0 0 / 1000 0.0s reflexive_subset_domain_for_all2
[✓] 1000 0 0 1000 / 1000 0.0s reflexive_subset_domain_for_all2
-
[ ] 0 0 0 0 / 1000 0.0s intersect
[✓] 1000 0 0 1000 / 1000 0.0s intersect
-
[ ] 0 0 0 0 / 1000 0.0s slow_merge
[✓] 1000 0 0 1000 / 1000 0.1s slow_merge
-
[ ] 0 0 0 0 / 1000 0.0s symmetric_difference
[✓] 1000 0 0 1000 / 1000 0.1s symmetric_difference
-
[ ] 0 0 0 0 / 1000 0.0s min_binding_inter
[✓] 1000 0 0 1000 / 1000 0.1s min_binding_inter
-
[ ] 0 0 0 0 / 1000 0.0s max_binding_inter
[✓] 1000 0 0 1000 / 1000 0.1s max_binding_inter
-
[ ] 0 0 0 0 / 1000 0.0s fold_on_nonequal_inter
[✓] 1000 0 0 1000 / 1000 0.1s fold_on_nonequal_inter
-
[ ] 0 0 0 0 / 1000 0.0s fold_on_nonequal_union
[✓] 1000 0 0 1000 / 1000 0.1s fold_on_nonequal_union
-
[ ] 0 0 0 0 / 1000 0.0s nonidempotent_inter_no_share
[✓] 1000 0 0 1000 / 1000 0.1s nonidempotent_inter_no_share
-
[ ] 0 0 0 0 / 1000 0.0s of_list
[ ] 445 0 0 445 / 1000 0.1s of_list
[ ] 848 0 0 848 / 1000 0.2s of_list
[✓] 1000 0 0 1000 / 1000 0.2s of_list
-
[ ] 0 0 0 0 / 1000 0.0s of_seq
[ ] 425 0 0 425 / 1000 0.1s of_seq
[ ] 827 0 0 827 / 1000 0.2s of_seq
[✓] 1000 0 0 1000 / 1000 0.2s of_seq
-
[ ] 0 0 0 0 / 1000 0.0s add_seq
[ ] 259 0 0 259 / 1000 0.1s add_seq (collecting)
[ ] 563 0 0 563 / 1000 0.2s add_seq
[ ] 962 0 0 962 / 1000 0.3s add_seq
[✓] 1000 0 0 1000 / 1000 0.3s add_seq
-
[ ] 0 0 0 0 / 1000 0.0s to_list
[✓] 1000 0 0 1000 / 1000 0.0s to_list
-
[ ] 0 0 0 0 / 1000 0.0s to_seq
[✓] 1000 0 0 1000 / 1000 0.0s to_seq
-
[ ] 0 0 0 0 / 1000 0.0s to_rev_seq
[✓] 1000 0 0 1000 / 1000 0.0s 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.
# Run eval $(opam env) to update the current shell environment
2026-01-19 15:49.33 ---> saved as "ddbe9e3ac452559cd3310034c32c9880f566a673fdec52aad81e5bc23247a9bd"
Job succeeded
2026-01-19 15:49.46: Job succeeded