Build:
- 0
2026-01-27 18:59.19: New job: test binsec_codex.1.0-rc4, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29259/head (0878f1e4934ec6f044a2e66b56cfff2fb96f2871)
on debian-13-ocaml-5.4/arm64
To reproduce locally:
cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/29259/head" && git reset --hard 0878f1e4
git fetch origin master
git merge --no-edit 88150787b3c9df767fd8dadf5d416641f8ee58f8
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-5.4@sha256:1be54c2d62a04b4abaff44ed9f70f461493015a9fb2028fd11c7a55723094e01
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 binsec_codex.1.0-rc4 1.0-rc4
RUN opam reinstall binsec_codex.1.0-rc4; \
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" != 'binsec_codex.1.0-rc4' && 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 binsec_codex.1.0-rc4) || true
RUN opam reinstall --with-test --verbose binsec_codex.1.0-rc4; \
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" != 'binsec_codex.1.0-rc4' && 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-27 18:59.19: Using cache hint "ocaml/opam:debian-13-ocaml-5.4@sha256:1be54c2d62a04b4abaff44ed9f70f461493015a9fb2028fd11c7a55723094e01-binsec_codex.1.0-rc4-0878f1e4934ec6f044a2e66b56cfff2fb96f2871"
2026-01-27 18:59.19: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-5.4@sha256:1be54c2d62a04b4abaff44ed9f70f461493015a9fb2028fd11c7a55723094e01)
(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 binsec_codex.1.0-rc4 1.0-rc4"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall binsec_codex.1.0-rc4;\
\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\" != 'binsec_codex.1.0-rc4' && 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 binsec_codex.1.0-rc4) || true"))
(run (shell "opam reinstall --with-test --verbose binsec_codex.1.0-rc4;\
\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\" != 'binsec_codex.1.0-rc4' && 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-27 18:59.19: Waiting for resource in pool OCluster
2026-01-27 18:59.20: Waiting for worker…
2026-01-27 19:52.08: Got resource from pool OCluster
Building on ainia.caelum.ci.dev
All commits already cached
Updating files: 73% (14171/19288)
Updating files: 74% (14274/19288)
Updating files: 75% (14466/19288)
Updating files: 76% (14659/19288)
Updating files: 77% (14852/19288)
Updating files: 78% (15045/19288)
Updating files: 79% (15238/19288)
Updating files: 80% (15431/19288)
Updating files: 81% (15624/19288)
Updating files: 82% (15817/19288)
Updating files: 83% (16010/19288)
Updating files: 84% (16202/19288)
Updating files: 85% (16395/19288)
Updating files: 86% (16588/19288)
Updating files: 87% (16781/19288)
Updating files: 88% (16974/19288)
Updating files: 89% (17167/19288)
Updating files: 90% (17360/19288)
Updating files: 91% (17553/19288)
Updating files: 92% (17745/19288)
Updating files: 93% (17938/19288)
Updating files: 94% (18131/19288)
Updating files: 95% (18324/19288)
Updating files: 96% (18517/19288)
Updating files: 97% (18710/19288)
Updating files: 98% (18903/19288)
Updating files: 99% (19096/19288)
Updating files: 100% (19288/19288)
Updating files: 100% (19288/19288), done.
HEAD is now at 88150787b3 Merge pull request #29287 from dinosaure/release-git-kv-v0.2.1
Updating 88150787b3..0878f1e493
Fast-forward
packages/binsec_codex/binsec_codex.1.0-rc4/opam | 54 ++++++++++++++
packages/codex/codex.1.0~rc4/opam | 91 +++++++++++++++++++++++
packages/frama_c_codex/frama_c_codex.1.0-rc4/opam | 55 ++++++++++++++
3 files changed, 200 insertions(+)
create mode 100644 packages/binsec_codex/binsec_codex.1.0-rc4/opam
create mode 100644 packages/codex/codex.1.0~rc4/opam
create mode 100644 packages/frama_c_codex/frama_c_codex.1.0-rc4/opam
(from ocaml/opam:debian-13-ocaml-5.4@sha256:1be54c2d62a04b4abaff44ed9f70f461493015a9fb2028fd11c7a55723094e01)
Unable to find image 'ocaml/opam:debian-13-ocaml-5.4@sha256:1be54c2d62a04b4abaff44ed9f70f461493015a9fb2028fd11c7a55723094e01' locally
docker.io/ocaml/opam@sha256:1be54c2d62a04b4abaff44ed9f70f461493015a9fb2028fd11c7a55723094e01: Pulling from ocaml/opam
5582010cab7f: Already exists
1859a936358f: Pulling fs layer
93ab974cf421: Pulling fs layer
288d7e4e3115: Pulling fs layer
81fbe16b7dd1: Pulling fs layer
da653d652549: Pulling fs layer
1f8a118e063e: Pulling fs layer
986b759b4f39: Pulling fs layer
39b19b125cea: Pulling fs layer
172979f2fd5a: Pulling fs layer
68fdbe058d33: Pulling fs layer
f236415ce730: Pulling fs layer
1376abdc41cb: Pulling fs layer
b679e0a7e375: Pulling fs layer
80d2b3eb8190: Pulling fs layer
0c9f6e06e090: Pulling fs layer
266780989291: Pulling fs layer
7d961f875a9f: Pulling fs layer
bec57f8ad74d: Pulling fs layer
12948440d8f2: Pulling fs layer
8546cf803f3f: Pulling fs layer
cf6812cd7157: Pulling fs layer
4f4fb700ef54: Pulling fs layer
d28d57f8c4e9: Pulling fs layer
340f2202a175: Pulling fs layer
e9a98854c052: Pulling fs layer
81fbe16b7dd1: Waiting
130765c8cd6a: Pulling fs layer
3462cb79378e: Pulling fs layer
da653d652549: Waiting
d90ea08def3f: Pulling fs layer
868328a6b574: Pulling fs layer
1f8a118e063e: Waiting
b679e0a7e375: Waiting
87eef05f0d35: Pulling fs layer
986b759b4f39: Waiting
80d2b3eb8190: Waiting
de308434b994: Pulling fs layer
39b19b125cea: Waiting
b3710575f672: Pulling fs layer
7d961f875a9f: Waiting
172979f2fd5a: Waiting
576dd379ab8f: Pulling fs layer
0c9f6e06e090: Waiting
bec57f8ad74d: Waiting
40c6dba7a233: Pulling fs layer
68fdbe058d33: Waiting
266780989291: Waiting
bb19e2b4aaec: Pulling fs layer
f236415ce730: Waiting
898e5e7da1dc: Pulling fs layer
1376abdc41cb: Waiting
b6df4dadfc45: Pulling fs layer
3462cb79378e: Waiting
12948440d8f2: Waiting
49e46af463fc: Pulling fs layer
de308434b994: Waiting
8546cf803f3f: Waiting
5f3035fc4a75: Pulling fs layer
87eef05f0d35: Waiting
d90ea08def3f: Waiting
253bb32ff5ea: Pulling fs layer
cf6812cd7157: Waiting
868328a6b574: Waiting
594f0a59102f: Pulling fs layer
40c6dba7a233: Waiting
b3710575f672: Waiting
4f4fb700ef54: Waiting
576dd379ab8f: Waiting
919fac03e1b6: Pulling fs layer
340f2202a175: Waiting
d28d57f8c4e9: Waiting
e9a98854c052: Waiting
affa0f5f5384: Pulling fs layer
bb19e2b4aaec: Waiting
130765c8cd6a: Waiting
73c9ff9c36c8: Pulling fs layer
49e46af463fc: Waiting
b6df4dadfc45: Waiting
5f3035fc4a75: Waiting
da1568efb5a1: Pulling fs layer
898e5e7da1dc: Waiting
253bb32ff5ea: Waiting
affa0f5f5384: Waiting
0ab97ecd8d41: Pulling fs layer
da1568efb5a1: Waiting
3fd9a38d7c07: Pulling fs layer
594f0a59102f: Waiting
0ab97ecd8d41: Waiting
73c9ff9c36c8: Waiting
3fd9a38d7c07: Waiting
1859a936358f: Download complete
93ab974cf421: Verifying Checksum
93ab974cf421: Download complete
1859a936358f: Pull complete
93ab974cf421: Pull complete
81fbe16b7dd1: Verifying Checksum
81fbe16b7dd1: Download complete
288d7e4e3115: Verifying Checksum
288d7e4e3115: Pull complete
81fbe16b7dd1: Pull complete
1f8a118e063e: Verifying Checksum
1f8a118e063e: Download complete
986b759b4f39: Verifying Checksum
986b759b4f39: Download complete
172979f2fd5a: Verifying Checksum
172979f2fd5a: Download complete
68fdbe058d33: Verifying Checksum
68fdbe058d33: Download complete
39b19b125cea: Verifying Checksum
39b19b125cea: Download complete
f236415ce730: Verifying Checksum
f236415ce730: Download complete
1376abdc41cb: Verifying Checksum
1376abdc41cb: Download complete
80d2b3eb8190: Verifying Checksum
80d2b3eb8190: Download complete
0c9f6e06e090: Download complete
266780989291: Download complete
7d961f875a9f: Verifying Checksum
7d961f875a9f: Download complete
bec57f8ad74d: Download complete
12948440d8f2: Verifying Checksum
12948440d8f2: Download complete
8546cf803f3f: Verifying Checksum
8546cf803f3f: Download complete
b679e0a7e375: Verifying Checksum
b679e0a7e375: Download complete
cf6812cd7157: Verifying Checksum
cf6812cd7157: Download complete
4f4fb700ef54: Verifying Checksum
4f4fb700ef54: Download complete
d28d57f8c4e9: Download complete
340f2202a175: Download complete
e9a98854c052: Verifying Checksum
e9a98854c052: Download complete
130765c8cd6a: Verifying Checksum
130765c8cd6a: Download complete
3462cb79378e: Verifying Checksum
3462cb79378e: Download complete
d90ea08def3f: Verifying Checksum
d90ea08def3f: Download complete
868328a6b574: Download complete
87eef05f0d35: Verifying Checksum
87eef05f0d35: Download complete
de308434b994: Verifying Checksum
de308434b994: Download complete
b3710575f672: Verifying Checksum
b3710575f672: Download complete
576dd379ab8f: Verifying Checksum
576dd379ab8f: Download complete
40c6dba7a233: Download complete
898e5e7da1dc: Verifying Checksum
898e5e7da1dc: Download complete
b6df4dadfc45: Verifying Checksum
b6df4dadfc45: Download complete
da653d652549: Verifying Checksum
da653d652549: Download complete
5f3035fc4a75: Download complete
49e46af463fc: Download complete
da653d652549: Pull complete
1f8a118e063e: Pull complete
986b759b4f39: Pull complete
253bb32ff5ea: Verifying Checksum
253bb32ff5ea: Download complete
39b19b125cea: Pull complete
594f0a59102f: Verifying Checksum
594f0a59102f: Download complete
172979f2fd5a: Pull complete
68fdbe058d33: Pull complete
f236415ce730: Pull complete
1376abdc41cb: Pull complete
b679e0a7e375: Pull complete
80d2b3eb8190: Pull complete
0c9f6e06e090: Pull complete
266780989291: Pull complete
7d961f875a9f: Pull complete
bec57f8ad74d: Pull complete
12948440d8f2: Pull complete
8546cf803f3f: Pull complete
cf6812cd7157: Pull complete
4f4fb700ef54: Pull complete
d28d57f8c4e9: Pull complete
340f2202a175: Pull complete
e9a98854c052: Pull complete
130765c8cd6a: Pull complete
3462cb79378e: Pull complete
d90ea08def3f: Pull complete
868328a6b574: Pull complete
87eef05f0d35: Pull complete
de308434b994: Pull complete
b3710575f672: Pull complete
576dd379ab8f: Pull complete
40c6dba7a233: Pull complete
affa0f5f5384: Verifying Checksum
affa0f5f5384: Download complete
919fac03e1b6: Verifying Checksum
919fac03e1b6: Download complete
da1568efb5a1: Verifying Checksum
da1568efb5a1: Download complete
0ab97ecd8d41: Verifying Checksum
0ab97ecd8d41: Download complete
3fd9a38d7c07: Download complete
73c9ff9c36c8: Verifying Checksum
73c9ff9c36c8: Download complete
bb19e2b4aaec: Verifying Checksum
bb19e2b4aaec: Download complete
bb19e2b4aaec: Pull complete
898e5e7da1dc: Pull complete
b6df4dadfc45: Pull complete
49e46af463fc: Pull complete
5f3035fc4a75: Pull complete
253bb32ff5ea: Pull complete
594f0a59102f: Pull complete
919fac03e1b6: Pull complete
affa0f5f5384: Pull complete
73c9ff9c36c8: Pull complete
da1568efb5a1: Pull complete
0ab97ecd8d41: Pull complete
3fd9a38d7c07: Pull complete
Digest: sha256:1be54c2d62a04b4abaff44ed9f70f461493015a9fb2028fd11c7a55723094e01
Status: Downloaded newer image for ocaml/opam@sha256:1be54c2d62a04b4abaff44ed9f70f461493015a9fb2028fd11c7a55723094e01
2026-01-27 19:52.10 ---> using "943e78709654a953fcf86de9e1d03bc76bc1d9fdea37e3d9410d49d23f609e14" 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-27 19:52.10 ---> using "5ec199369754eacb9a718740bc7ccb1b30fb780a11d8c9f47c736ef7ee75ead8" 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 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.
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2026-01-27 19:52.10 ---> using "93af705452ac6840933eae0696c69fdbd0f790344adf6bd3b4e685a5dd66dd72" 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=arm64 os=linux os-distribution=debian os-version=13
# solver builtin-0install
# install-criteria -changed,-count[avoid-version,solution]
# upgrade-criteria -count[avoid-version,solution]
# jobs 79
# 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-27 19:52.10 ---> using "f4d208776d795c32ad65540ef86e9ad802ed1cc41990047c75ce8cb82a295237" 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-27 19:52.10 ---> using "9e26542245daa18a48d0109b5524c707c4b9a991d31fdf5c88d750edeb21ca32" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2026-01-27 19:52.12 ---> using "90c24058507aaf608b1fb915822fa0874fc376732b7285321308fac4b9a2db93" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-01-27 19:52.12 ---> using "3fb02de6ce0d71d762edf8a5bdfe30368b04c24343a84722ae7651f8ce72a4bb" from cache
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /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 arm64 Packages [98.2 kB]
- Fetched 189 kB in 0s (1039 kB/s)
- Reading package lists...
-
2026-01-27 19:52.12 ---> using "c405016375b0f3c2969a4d075c37d1fb2fe5de05a85e4fcc9f8dd152315993f9" from cache
/home/opam: (run (shell "opam pin add -k version -yn binsec_codex.1.0-rc4 1.0-rc4"))
binsec_codex is now pinned to version 1.0-rc4
2026-01-27 19:52.12 ---> using "eab5b93f1c00b7a140dd2155449110c791d82bffc6b489b9cf8e7c9d5ca090c7" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall binsec_codex.1.0-rc4;\
\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\" != 'binsec_codex.1.0-rc4' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
binsec_codex.1.0-rc4 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 73 packages
- install base v0.17.3 [required by ppx_inline_test]
- install base64 3.5.2 [required by codex]
- install bheap 2.0.0 [required by codex]
- install binsec 0.10.1 [required by binsec_codex]
- install binsec_codex 1.0-rc4 (pinned)
- install camlp-streams 5.0.1 [required by codex]
- install cmdliner 2.1.0 [required by fmt]
- install codex 1.0~rc4 [required by binsec_codex]
- install conf-gmp 5 [required by zarith]
- install conf-pkg-config 4 [required by zarith]
- install cppo 1.8.0 [required by ppx_deriving]
- install csexp 1.5.2 [required by dune-private-libs]
- install cudd 0.1.3 [required by codex]
- install dune 3.21.0 [required by binsec_codex]
- install dune-configurator 3.21.0 [required by base]
- install dune-private-libs 3.21.0 [required by dune-site]
- install dune-site 3.21.0 [required by binsec]
- install dyn 3.21.0 [required by dune-private-libs]
- install dypgen 0.2.1 [required by grain_dypgen]
- install fmt 0.11.0 [required by codex]
- install fs-io 3.21.0 [required by stdune]
- install gen 1.1 [required by sedlex]
- install gen_js_api 1.1.6 [required by vdom]
- install grain_dypgen 0.2.1 [required by binsec]
- install ISO8601 0.2.6 [required by toml]
- install jane-street-headers v0.17.0 [required by time_now]
- install js_of_ocaml 6.2.0 [required by codex]
- install js_of_ocaml-compiler 6.2.0 [required by js_of_ocaml, vdom]
- install js_of_ocaml-ppx 6.2.0 [required by codex]
- install jst-config v0.17.0 [required by time_now]
- install menhir 20250912 [required by binsec]
- install menhirCST 20250912 [required by menhir]
- install menhirLib 20250912 [required by menhir]
- install menhirSdk 20250912 [required by menhir]
- install ocaml-compiler-libs v0.17.0 [required by ppxlib]
- install ocaml_intrinsics_kernel v0.17.1 [required by base]
- install ocamlbuild 0.16.1 [required by fmt]
- install ocamlfind 1.9.8 [required by fmt, zarith, ppx_deriving]
- install ocamlgraph 2.2.0 [required by binsec_codex]
- install ojs 1.1.6 [required by vdom]
- install ordering 3.21.0 [required by dyn, stdune]
- install pacomb 1.4.3 [required by codex]
- install patricia-tree 0.11.0 [required by codex]
- install pp 2.0.0 [required by dune-private-libs]
- 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 ppx_deriving]
- install ppx_deriving 6.1.1 [required by codex]
- 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 codex]
- 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 codex]
- install ppxlib_jane v0.17.4 [required by ppx_globalize, ppx_enumerate, ppx_hash]
- install qcheck-core 0.91 [required by codex]
- install sedlex 3.7 [required by js_of_ocaml-compiler]
- install seq base [required by gen]
- install sexplib0 v0.17.0 [required by base]
- install stdio v0.17.0 [required by ppx_optcomp]
- install stdlib-shims 0.3.0 [required by pacomb]
- install stdune 3.21.0 [required by dune-private-libs]
- install time_now v0.17.0 [required by ppx_inline_test]
- install toml 7.1.0 [required by binsec]
- install top-closure 3.21.0 [required by stdune]
- install topkg 1.1.1 [required by fmt]
- install vdom 0.3 [required by codex]
- install yojson 3.0.0 [required by js_of_ocaml-compiler]
- install zarith 1.14 [required by binsec_codex]
The following system packages will first need to be installed:
libgmp-dev pkg-config
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
4. Abort the installation
[1/2/3/4] 1
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev" "pkg-config"
- Selecting previously unselected package libgmpxx4ldbl:arm64.
- (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 ... 20768 files and directories currently installed.)
- Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_arm64.deb ...
- Unpacking libgmpxx4ldbl:arm64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:arm64.
- Preparing to unpack .../1-libgmp-dev_2%3a6.3.0+dfsg-3_arm64.deb ...
- Unpacking libgmp-dev:arm64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libpkgconf3:arm64.
- Preparing to unpack .../2-libpkgconf3_1.8.1-4_arm64.deb ...
- Unpacking libpkgconf3:arm64 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../3-pkgconf-bin_1.8.1-4_arm64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:arm64.
- Preparing to unpack .../4-pkgconf_1.8.1-4_arm64.deb ...
- Unpacking pkgconf:arm64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:arm64.
- Preparing to unpack .../5-pkg-config_1.8.1-4_arm64.deb ...
- Unpacking pkg-config:arm64 (1.8.1-4) ...
- Setting up libpkgconf3:arm64 (1.8.1-4) ...
- Setting up libgmpxx4ldbl:arm64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up libgmp-dev:arm64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf:arm64 (1.8.1-4) ...
- Setting up pkg-config:arm64 (1.8.1-4) ...
- Processing triggers for libc-bin (2.41-12+deb13u1) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved base.v0.17.3 (cached)
-> retrieved base64.3.5.2 (cached)
-> retrieved bheap.2.0.0 (cached)
-> retrieved binsec.0.10.1 (cached)
-> retrieved binsec_codex.1.0-rc4, codex.1.0~rc4 (cached)
-> retrieved camlp-streams.5.0.1 (cached)
-> retrieved cmdliner.2.1.0 (cached)
-> retrieved conf-gmp.5 (cached)
-> retrieved cppo.1.8.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> retrieved cudd.0.1.3 (cached)
-> installed conf-gmp.5
-> installed conf-pkg-config.4
-> retrieved dune.3.21.0, dune-configurator.3.21.0, dune-private-libs.3.21.0, dune-site.3.21.0, dyn.3.21.0, fs-io.3.21.0, ordering.3.21.0, stdune.3.21.0, top-closure.3.21.0 (cached)
-> retrieved dypgen.0.2.1, grain_dypgen.0.2.1 (cached)
-> retrieved fmt.0.11.0 (cached)
-> retrieved gen.1.1 (cached)
-> retrieved gen_js_api.1.1.6, ojs.1.1.6 (cached)
-> installed cmdliner.2.1.0
-> retrieved ISO8601.0.2.6 (cached)
-> retrieved jane-street-headers.v0.17.0 (cached)
-> retrieved js_of_ocaml.6.2.0, js_of_ocaml-compiler.6.2.0, js_of_ocaml-ppx.6.2.0 (cached)
-> retrieved jst-config.v0.17.0 (cached)
-> retrieved menhir.20250912, menhirCST.20250912, menhirLib.20250912, menhirSdk.20250912 (cached)
-> retrieved ocaml-compiler-libs.v0.17.0 (cached)
-> retrieved ocaml_intrinsics_kernel.v0.17.1 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved ocamlgraph.2.2.0 (cached)
-> retrieved pacomb.1.4.3 (cached)
-> retrieved patricia-tree.0.11.0 (cached)
-> retrieved pp.2.0.0 (cached)
-> retrieved ppx_assert.v0.17.0 (cached)
-> retrieved ppx_base.v0.17.0 (cached)
-> retrieved ppx_cold.v0.17.0 (cached)
-> retrieved ppx_compare.v0.17.0 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppx_deriving.6.1.1 (cached)
-> retrieved ppx_enumerate.v0.17.0 (cached)
-> retrieved ppx_globalize.v0.17.2 (cached)
-> retrieved ppx_hash.v0.17.0 (cached)
-> retrieved ppx_here.v0.17.0 (cached)
-> retrieved ppx_inline_test.v0.17.1 (cached)
-> retrieved ppx_optcomp.v0.17.1 (cached)
-> retrieved ppx_sexp_conv.v0.17.1 (cached)
-> retrieved ppxlib.0.37.0 (cached)
-> retrieved ppxlib_jane.v0.17.4 (cached)
-> retrieved qcheck-core.0.91 (cached)
-> retrieved sedlex.3.7 (cached)
-> retrieved seq.base (cached)
-> installed seq.base
-> retrieved sexplib0.v0.17.0 (cached)
-> retrieved stdio.v0.17.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved time_now.v0.17.0 (cached)
-> retrieved toml.7.1.0 (cached)
-> retrieved topkg.1.1.1 (cached)
-> retrieved vdom.0.3 (cached)
-> retrieved yojson.3.0.0 (cached)
-> retrieved zarith.1.14 (cached)
-> installed ocamlfind.1.9.8
-> installed ocamlbuild.0.16.1
-> installed zarith.1.14
-> installed topkg.1.1.1
-> installed fmt.0.11.0
-> installed dune.3.21.0
-> installed base64.3.5.2
-> installed bheap.2.0.0
-> installed camlp-streams.5.0.1
-> installed cppo.1.8.0
-> installed csexp.1.5.2
-> installed dypgen.0.2.1
-> installed gen.1.1
-> installed ISO8601.0.2.6
-> installed jane-street-headers.v0.17.0
-> installed menhirCST.20250912
-> installed menhirLib.20250912
-> installed menhirSdk.20250912
-> installed ocaml-compiler-libs.v0.17.0
-> installed ocaml_intrinsics_kernel.v0.17.1
-> installed ocamlgraph.2.2.0
-> installed patricia-tree.0.11.0
-> installed pp.2.0.0
-> installed ppx_derivers.1.2.1
-> installed qcheck-core.0.91
-> installed sexplib0.v0.17.0
-> installed stdlib-shims.0.3.0
-> installed yojson.3.0.0
-> installed grain_dypgen.0.2.1
-> installed ordering.3.21.0
-> installed fs-io.3.21.0
-> installed top-closure.3.21.0
-> installed dune-configurator.3.21.0
-> installed dyn.3.21.0
-> installed stdune.3.21.0
-> installed base.v0.17.3
-> installed stdio.v0.17.0
-> installed dune-private-libs.3.21.0
-> installed dune-site.3.21.0
-> installed menhir.20250912
-> installed toml.7.1.0
-> installed ppxlib.0.37.0
-> installed cudd.0.1.3
-> installed ppx_optcomp.v0.17.1
-> installed ppxlib_jane.v0.17.4
-> 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_deriving.6.1.1
-> installed ppx_compare.v0.17.0
-> installed sedlex.3.7
-> installed ppx_sexp_conv.v0.17.1
-> installed pacomb.1.4.3
-> installed ppx_hash.v0.17.0
-> installed ppx_assert.v0.17.0
-> installed binsec.0.10.1
-> 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 js_of_ocaml-compiler.6.2.0
-> installed ojs.1.1.6
-> installed gen_js_api.1.1.6
-> installed vdom.0.3
-> installed js_of_ocaml.6.2.0
-> installed js_of_ocaml-ppx.6.2.0
-> installed codex.1.0~rc4
-> installed binsec_codex.1.0-rc4
Done.
# To update the current shell environment, run: eval $(opam env)
2026-01-27 19:53.50 ---> saved as "33e98eaef4cfe9354ad35221062d0a54557e458af9dc2f8f2e57a2465338cee1"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test binsec_codex.1.0-rc4) || true"))
The following actions will be performed:
=== recompile 1 package
- recompile binsec_codex 1.0-rc4 (pinned)
=== install 6 packages
- install astring 0.8.5 [required by mdx]
- install logs 0.10.0 [required by mdx]
- install mdx 2.5.1 [required by binsec_codex]
- install ocaml-version 4.0.3 [required by mdx]
- install re 1.14.0 [required by mdx]
- install result 1.5 [required by mdx]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved astring.0.8.5 (https://opam.ocaml.org/cache)
-> retrieved binsec_codex.1.0-rc4 (https://github.com/codex-semantics-library/codex/archive/refs/tags/1.0-rc4.tar.gz)
-> retrieved logs.0.10.0 (https://opam.ocaml.org/cache)
-> retrieved mdx.2.5.1 (https://opam.ocaml.org/cache)
-> retrieved ocaml-version.4.0.3 (https://opam.ocaml.org/cache)
-> retrieved re.1.14.0 (https://opam.ocaml.org/cache)
-> installed astring.0.8.5
-> retrieved result.1.5 (https://opam.ocaml.org/cache)
-> installed ocaml-version.4.0.3
-> installed result.1.5
-> installed logs.0.10.0
-> removed binsec_codex.1.0-rc4
-> installed re.1.14.0
-> installed mdx.2.5.1
-> installed binsec_codex.1.0-rc4
Done.
# To update the current shell environment, run: eval $(opam env)
2026-01-27 19:54.11 ---> saved as "44482ad486b930328439d9b303e49bcdaed8ef02e21d8a57be0abc698afb9035"
/home/opam: (run (shell "opam reinstall --with-test --verbose binsec_codex.1.0-rc4;\
\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\" != 'binsec_codex.1.0-rc4' && 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 binsec_codex 1.0-rc4 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/4: [binsec_codex.1.0-rc4: extract]
-> retrieved binsec_codex.1.0-rc4 (cached)
Processing 2/4: [binsec_codex: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "binsec_codex" "-j" "79" "--promote-install-files=false" "@install" "@runtest" (CWD=/home/opam/.opam/5.4/.opam-switch/build/binsec_codex.1.0-rc4)
- (cd _build/default && /home/opam/.opam/5.4/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I utils/gui/js/.prefix_tree_tests.objs/byte -I /home/opam/.opam/5.4/lib/ppx_inline_test/config -I /home/opam/.opam/5.4/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/5.4/lib/qcheck-core -I utils/gui/js/.prefix_tree.objs/byte -no-alias-deps -o utils/gui/js/.prefix_tree_tests.objs/byte/prefix_tree_tests.cmo -c -impl utils/gui/js/prefix_tree_tests.pp.ml)
- File "utils/gui/js/prefix_tree_tests.ml", line 30, characters 12-22:
- 30 | QCheck.(small_list (small_list (int_bound 1))) (fun str_list ->
- ^^^^^^^^^^
- Alert deprecated: QCheck.small_list
- Use [list_small] instead
-
- File "utils/gui/js/prefix_tree_tests.ml", line 30, characters 24-34:
- 30 | QCheck.(small_list (small_list (int_bound 1))) (fun str_list ->
- ^^^^^^^^^^
- Alert deprecated: QCheck.small_list
- Use [list_small] instead
- (cd _build/default && /home/opam/.opam/5.4/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I utils/compressor/.CompressorTest.objs/byte -I /home/opam/.opam/5.4/lib/codex/compressor -I /home/opam/.opam/5.4/lib/ppx_inline_test/config -I /home/opam/.opam/5.4/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/5.4/lib/qcheck-core -I /home/opam/.opam/5.4/lib/zarith -no-alias-deps -open CompressorTest -o utils/compressor/.CompressorTest.objs/byte/compressorTest__Compressor_test.cmo -c -impl utils/compressor/compressor_test.pp.ml)
- File "utils/compressor/compressor_test.ml", line 74, characters 4-13:
- 74 | frequency
- ^^^^^^^^^
- Alert deprecated: QCheck.Gen.frequency
- Use [oneof_weighted] instead
- (cd _build/default && /home/opam/.opam/5.4/bin/ocamlopt.opt -w -40 -g -O3 -I utils/gui/js/.prefix_tree_tests.objs/byte -I utils/gui/js/.prefix_tree_tests.objs/native -I /home/opam/.opam/5.4/lib/ppx_inline_test/config -I /home/opam/.opam/5.4/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/5.4/lib/qcheck-core -I utils/gui/js/.prefix_tree.objs/byte -I utils/gui/js/.prefix_tree.objs/native -cmi-file utils/gui/js/.prefix_tree_tests.objs/byte/prefix_tree_tests.cmi -no-alias-deps -o utils/gui/js/.prefix_tree_tests.objs/native/prefix_tree_tests.cmx -c -impl utils/gui/js/prefix_tree_tests.pp.ml)
- File "utils/gui/js/prefix_tree_tests.ml", line 30, characters 12-22:
- 30 | QCheck.(small_list (small_list (int_bound 1))) (fun str_list ->
- ^^^^^^^^^^
- Alert deprecated: QCheck.small_list
- Use [list_small] instead
-
- File "utils/gui/js/prefix_tree_tests.ml", line 30, characters 24-34:
- 30 | QCheck.(small_list (small_list (int_bound 1))) (fun str_list ->
- ^^^^^^^^^^
- Alert deprecated: QCheck.small_list
- Use [list_small] instead
- (cd _build/default && /home/opam/.opam/5.4/bin/ocamlopt.opt -w -40 -g -O3 -I utils/compressor/.CompressorTest.objs/byte -I utils/compressor/.CompressorTest.objs/native -I /home/opam/.opam/5.4/lib/codex/compressor -I /home/opam/.opam/5.4/lib/ppx_inline_test/config -I /home/opam/.opam/5.4/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/5.4/lib/qcheck-core -I /home/opam/.opam/5.4/lib/zarith -cmi-file utils/compressor/.CompressorTest.objs/byte/compressorTest__Compressor_test.cmi -no-alias-deps -open CompressorTest -o utils/compressor/.CompressorTest.objs/native/compressorTest__Compressor_test.cmx -c -impl utils/compressor/compressor_test.pp.ml)
- File "utils/compressor/compressor_test.ml", line 74, characters 4-13:
- 74 | frequency
- ^^^^^^^^^
- Alert deprecated: QCheck.Gen.frequency
- Use [oneof_weighted] instead
- (cd _build/.sandbox/84620fcba0c2ab986164cadba5233740/default/utils/gui/js && .prefix_tree_tests.inline-tests/inline-test-runner.exe inline-test-runner prefix_tree_tests -partition >u -source-tree-root ../../.. -diff-cmd -)
- >u
- >u[a]
- --------------
- >u
- >u[a]
- --------------
- >u
- ================--------------
- >m[a][r]di
- >m[a][t]in
- >m[i]chel
- (cd _build/.sandbox/84620fcba0c2ab986164cadba5233740/default/utils/gui/js && .prefix_tree_tests.inline-tests/inline-test-runner.exe inline-test-runner prefix_tree_tests -partition >u -source-tree-root ../../.. -diff-cmd -)
- >u
- >u[a]
- --------------
- >u
- >u[a]
- --------------
- >u
- ================--------------
- >m[a][r]di
- >m[a][t]in
- >m[i]chel
- (cd _build/.sandbox/84620fcba0c2ab986164cadba5233740/default/utils/gui/js && .prefix_tree_tests.inline-tests/inline-test-runner.exe inline-test-runner prefix_tree_tests -partition >u[a] -source-tree-root ../../.. -diff-cmd -)
- >u
- >u[a]
- --------------
- >u
- >u[a]
- --------------
- >u
- ================--------------
- >m[a][r]di
- >m[a][t]in
- >m[i]chel
- (cd _build/.sandbox/84620fcba0c2ab986164cadba5233740/default/utils/gui/js && .prefix_tree_tests.inline-tests/inline-test-runner.exe inline-test-runner prefix_tree_tests -partition >u[a] -source-tree-root ../../.. -diff-cmd -)
- >u
- >u[a]
- --------------
- >u
- >u[a]
- --------------
- >u
- ================--------------
- >m[a][r]di
- >m[a][t]in
- >m[i]chel
- (cd _build/.sandbox/84620fcba0c2ab986164cadba5233740/default/utils/gui/js && .prefix_tree_tests.inline-tests/inline-test-runner.exe inline-test-runner prefix_tree_tests -partition >u -source-tree-root ../../.. -diff-cmd -)
- >u
- >u[a]
- --------------
- >u
- >u[a]
- --------------
- >u
- ================--------------
- >m[a][r]di
- >m[a][t]in
- >m[i]chel
- (cd _build/.sandbox/84620fcba0c2ab986164cadba5233740/default/utils/gui/js && .prefix_tree_tests.inline-tests/inline-test-runner.exe inline-test-runner prefix_tree_tests -partition >m[a][t]in -source-tree-root ../../.. -diff-cmd -)
- >u
- >u[a]
- --------------
- >u
- >u[a]
- --------------
- >u
- ================--------------
- >m[a][r]di
- >m[a][t]in
- >m[i]chel
- (cd _build/.sandbox/84620fcba0c2ab986164cadba5233740/default/utils/gui/js && .prefix_tree_tests.inline-tests/inline-test-runner.exe inline-test-runner prefix_tree_tests -partition >m[i]chel -source-tree-root ../../.. -diff-cmd -)
- >u
- >u[a]
- --------------
- >u
- >u[a]
- --------------
- >u
- ================--------------
- >m[a][r]di
- >m[a][t]in
- >m[i]chel
- (cd _build/.sandbox/84620fcba0c2ab986164cadba5233740/default/utils/gui/js && .prefix_tree_tests.inline-tests/inline-test-runner.exe inline-test-runner prefix_tree_tests -partition -------------- -source-tree-root ../../.. -diff-cmd -)
- >u
- >u[a]
- --------------
- >u
- >u[a]
- --------------
- >u
- ================--------------
- >m[a][r]di
- >m[a][t]in
- >m[i]chel
- (cd _build/.sandbox/84620fcba0c2ab986164cadba5233740/default/utils/gui/js && .prefix_tree_tests.inline-tests/inline-test-runner.exe inline-test-runner prefix_tree_tests -partition -------------- -source-tree-root ../../.. -diff-cmd -)
- >u
- >u[a]
- --------------
- >u
- >u[a]
- --------------
- >u
- ================--------------
- >m[a][r]di
- >m[a][t]in
- >m[i]chel
- (cd _build/.sandbox/84620fcba0c2ab986164cadba5233740/default/utils/gui/js && .prefix_tree_tests.inline-tests/inline-test-runner.exe inline-test-runner prefix_tree_tests -partition ================-------------- -source-tree-root ../../.. -diff-cmd -)
- >u
- >u[a]
- --------------
- >u
- >u[a]
- --------------
- >u
- ================--------------
- >m[a][r]di
- >m[a][t]in
- >m[i]chel
- (cd _build/.sandbox/84620fcba0c2ab986164cadba5233740/default/utils/gui/js && .prefix_tree_tests.inline-tests/inline-test-runner.exe inline-test-runner prefix_tree_tests -partition >m[a][r]di -source-tree-root ../../.. -diff-cmd -)
- >u
- >u[a]
- --------------
- >u
- >u[a]
- --------------
- >u
- ================--------------
- >m[a][r]di
- >m[a][t]in
- >m[i]chel
Processing 2/4: [binsec_codex: dune install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "install" "-p" "binsec_codex" "--create-install-files" "binsec_codex" (CWD=/home/opam/.opam/5.4/.opam-switch/build/binsec_codex.1.0-rc4)
-> compiled binsec_codex.1.0-rc4
-> removed binsec_codex.1.0-rc4
-> installed binsec_codex.1.0-rc4
Done.
# To update the current shell environment, run: eval $(opam env)
2026-01-27 19:54.22 ---> saved as "eb7075fc1992abacf1e8894429e3d3be0bba4639101a528ad7a1e09860554321"
Job succeeded
2026-01-27 19:54.29: Job succeeded