- github
- ocaml
- opam-repository
- 395113
- compilers,4.14,lwt_ppx.5.8.0,revdeps,syguslib-utils.0.1
(not at the head of any monitored branch or PR)
2026-03-17 12:54.47: New job: test syguslib-utils.0.1 with lwt_ppx.5.8.0, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29530/head (395113449576622af70540fb22e5d90e18554bdc)
on debian-13-ocaml-4.14/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/29530/head" && git reset --hard 39511344
git fetch origin master
git merge --no-edit e589be2bb3f3c3428c9c98a122428f3ad2d44845
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.14@sha256:37323dc71cac48a3e4688e16b45b95486f3cc440c55ab3f83114e8973362f41e
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 lwt_ppx.5.8.0 5.8.0
RUN opam reinstall lwt_ppx.5.8.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" != 'lwt_ppx.5.8.0' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN opam reinstall syguslib-utils.0.1; \
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" != 'syguslib-utils.0.1' && 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 syguslib-utils.0.1) || true
RUN opam reinstall --with-test --verbose syguslib-utils.0.1; \
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" != 'syguslib-utils.0.1' && 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-03-17 12:54.47: Using cache hint "ocaml/opam:debian-13-ocaml-4.14@sha256:37323dc71cac48a3e4688e16b45b95486f3cc440c55ab3f83114e8973362f41e-lwt_ppx.5.8.0-syguslib-utils.0.1-395113449576622af70540fb22e5d90e18554bdc"
2026-03-17 12:54.47: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:37323dc71cac48a3e4688e16b45b95486f3cc440c55ab3f83114e8973362f41e)
(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 lwt_ppx.5.8.0 5.8.0"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall lwt_ppx.5.8.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\" != 'lwt_ppx.5.8.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 (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall syguslib-utils.0.1;\
\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\" != 'syguslib-utils.0.1' && 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 syguslib-utils.0.1) || true"))
(run (shell "opam reinstall --with-test --verbose syguslib-utils.0.1;\
\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\" != 'syguslib-utils.0.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2026-03-17 12:54.47: Waiting for resource in pool OCluster
2026-03-17 16:22.01: Waiting for worker…
2026-03-17 16:35.16: Got resource from pool OCluster
Building on doris.caelum.ci.dev
All commits already cached
HEAD is now at e589be2bb3 Merge pull request #29546 from johnwhitington/opam-publish-camlpdf.2.9
Merge made by the 'ort' strategy.
packages/bimage-lwt/bimage-lwt.0.3.0/opam | 6 +++++-
packages/bimage-lwt/bimage-lwt.0.3.1/opam | 6 +++++-
packages/bimage-lwt/bimage-lwt.0.4.0/opam | 6 +++++-
packages/caqti-lwt/caqti-lwt.0.11.0/opam | 4 +++-
packages/caqti-lwt/caqti-lwt.1.0.0/opam | 6 +++++-
packages/caqti-lwt/caqti-lwt.1.2.0/opam | 6 +++++-
packages/caqti-lwt/caqti-lwt.1.3.0/opam | 6 +++++-
packages/caqti-lwt/caqti-lwt.1.6.0/opam | 6 +++++-
packages/caqti-lwt/caqti-lwt.1.7.0/opam | 6 +++++-
packages/caqti-lwt/caqti-lwt.1.8.0/opam | 6 +++++-
packages/caqti-lwt/caqti-lwt.1.9.0/opam | 6 +++++-
packages/caqti-lwt/caqti-lwt.2.0.1/opam | 6 +++++-
packages/caqti-lwt/caqti-lwt.2.1.1/opam | 6 +++++-
packages/caqti-lwt/caqti-lwt.2.2.4/opam | 6 +++++-
packages/fuseau-lwt/fuseau-lwt.0.1/opam | 6 +++++-
packages/lambda-term/lambda-term.1.13/opam | 6 +++++-
packages/lambda-term/lambda-term.2.0.1/opam | 6 +++++-
packages/lambda-term/lambda-term.2.0.2/opam | 6 +++++-
packages/lambda-term/lambda-term.2.0.3/opam | 6 +++++-
packages/lambda-term/lambda-term.2.0/opam | 6 +++++-
packages/lambda-term/lambda-term.3.0.0/opam | 6 +++++-
packages/lambda-term/lambda-term.3.0.1/opam | 6 +++++-
packages/lambda-term/lambda-term.3.1.0/opam | 6 +++++-
packages/lambda-term/lambda-term.3.2.0/opam | 6 +++++-
packages/lambda-term/lambda-term.3.3.0/opam | 6 +++++-
packages/lambda-term/lambda-term.3.3.1/opam | 6 +++++-
packages/lambda-term/lambda-term.3.3.2/opam | 6 +++++-
packages/lwt_domain/lwt_domain.0.1.0/opam | 6 +++++-
packages/lwt_domain/lwt_domain.0.2.0/opam | 6 +++++-
packages/lwt_domain/lwt_domain.0.3.0/opam | 6 +++++-
packages/lwt_eio/lwt_eio.0.1/opam | 6 +++++-
packages/lwt_eio/lwt_eio.0.2/opam | 6 +++++-
packages/lwt_eio/lwt_eio.0.3/opam | 6 +++++-
packages/lwt_eio/lwt_eio.0.4/opam | 7 ++++++-
packages/lwt_eio/lwt_eio.0.5.1/opam | 7 ++++++-
packages/lwt_eio/lwt_eio.0.5/opam | 7 ++++++-
packages/lwt_glib/lwt_glib.1.0.1/opam | 6 +++++-
packages/lwt_glib/lwt_glib.1.1.0/opam | 6 +++++-
packages/lwt_glib/lwt_glib.1.1.1/opam | 6 +++++-
packages/lwt_log/lwt_log.1.1.0/opam | 6 +++++-
packages/lwt_log/lwt_log.1.1.1/opam | 6 +++++-
packages/lwt_log/lwt_log.1.1.2/opam | 6 +++++-
packages/lwt_ppx/lwt_ppx.1.0.0/opam | 6 +++++-
packages/lwt_ppx/lwt_ppx.1.0.1/opam | 6 +++++-
packages/lwt_ppx/lwt_ppx.1.1.0/opam | 6 +++++-
packages/lwt_ppx/lwt_ppx.1.2.0/opam | 6 +++++-
packages/lwt_ppx/lwt_ppx.1.2.1/opam | 6 +++++-
packages/lwt_ppx/lwt_ppx.1.2.2/opam | 6 +++++-
packages/lwt_ppx/lwt_ppx.1.2.3/opam | 6 +++++-
packages/lwt_ppx/lwt_ppx.1.2.4/opam | 6 +++++-
packages/lwt_ppx/lwt_ppx.2.0.0/opam | 6 +++++-
packages/lwt_ppx/lwt_ppx.2.0.1/opam | 6 +++++-
packages/lwt_ppx/lwt_ppx.2.0.2/opam | 6 +++++-
packages/lwt_ppx/lwt_ppx.2.0.3/opam | 6 +++++-
packages/lwt_ppx/lwt_ppx.2.1.0/opam | 6 +++++-
packages/lwt_ppx/lwt_ppx.5.8.0/opam | 6 +++++-
packages/lwt_ppx/lwt_ppx.5.8.1/opam | 6 +++++-
packages/lwt_ppx/lwt_ppx.5.9.1/opam | 6 +++++-
packages/lwt_ppx/lwt_ppx.5.9.2/opam | 6 +++++-
packages/lwt_ppx/lwt_ppx.5.9.3/opam | 6 +++++-
packages/moonpool-lwt/moonpool-lwt.0.10/opam | 6 +++++-
packages/moonpool-lwt/moonpool-lwt.0.6/opam | 6 +++++-
packages/moonpool-lwt/moonpool-lwt.0.7/opam | 6 +++++-
packages/moonpool-lwt/moonpool-lwt.0.8/opam | 6 +++++-
packages/moonpool-lwt/moonpool-lwt.0.9/opam | 6 +++++-
packages/mwt/mwt.0.1.0/opam | 6 +++++-
packages/nocrypto/nocrypto.0.5.4-1/opam | 6 +++++-
packages/nocrypto/nocrypto.0.5.4-2/opam | 6 +++++-
packages/ocluster/ocluster.0.1/opam | 4 +++-
packages/ocluster/ocluster.0.2.1/opam | 6 +++++-
packages/ocluster/ocluster.0.2/opam | 4 +++-
packages/ocluster/ocluster.0.3.0/opam | 6 +++++-
packages/picos/picos.0.3.0/opam | 6 +++++-
packages/picos/picos.0.4.0/opam | 6 +++++-
packages/picos_lwt/picos_lwt.0.5.0/opam | 6 +++++-
packages/picos_lwt/picos_lwt.0.6.0/opam | 6 +++++-
packages/tezt/tezt.2.0.0/opam | 6 +++++-
packages/tezt/tezt.3.0.0/opam | 4 +++-
packages/tezt/tezt.3.1.0/opam | 4 +++-
packages/tezt/tezt.3.1.1/opam | 4 +++-
packages/tezt/tezt.4.0.0/opam | 4 +++-
packages/tezt/tezt.4.1.0/opam | 4 +++-
packages/tezt/tezt.4.2.0/opam | 4 +++-
packages/tezt/tezt.4.3.0/opam | 4 +++-
84 files changed, 403 insertions(+), 84 deletions(-)
(from ocaml/opam:debian-13-ocaml-4.14@sha256:37323dc71cac48a3e4688e16b45b95486f3cc440c55ab3f83114e8973362f41e)
Unable to find image 'ocaml/opam:debian-13-ocaml-4.14@sha256:37323dc71cac48a3e4688e16b45b95486f3cc440c55ab3f83114e8973362f41e' locally
docker.io/ocaml/opam@sha256:37323dc71cac48a3e4688e16b45b95486f3cc440c55ab3f83114e8973362f41e: Pulling from ocaml/opam
866771c43bf5: Already exists
1e49bea09367: Already exists
e793768537e6: Already exists
ed323d3d481a: Pulling fs layer
7df34a5cd5f1: Pulling fs layer
fd712d3eb935: Pulling fs layer
4b9fb8c99118: Pulling fs layer
9d9a01948b94: Pulling fs layer
0f1514f90b32: Pulling fs layer
e1ec5a753447: Pulling fs layer
7df34a5cd5f1: Download complete
03cc323e2f71: Pulling fs layer
c09c08ea9749: Pulling fs layer
9d9a01948b94: Download complete
b36b619f8e6b: Pulling fs layer
fd712d3eb935: Download complete
4b9fb8c99118: Download complete
e1ec5a753447: Download complete
195344ca5274: Pulling fs layer
0f1514f90b32: Download complete
03cc323e2f71: Download complete
c09c08ea9749: Download complete
b36b619f8e6b: Download complete
228ee78582a6: Pulling fs layer
504bde1c25b3: Pulling fs layer
195344ca5274: Download complete
228ee78582a6: Download complete
9d8b1356c89f: Pulling fs layer
504bde1c25b3: Download complete
568fb6dda155: Pulling fs layer
9d8b1356c89f: Download complete
c499c9198aea: Pulling fs layer
048e5e358118: Pulling fs layer
568fb6dda155: Download complete
871ca48eb45d: Pulling fs layer
c499c9198aea: Download complete
4f4fb700ef54: Pulling fs layer
048e5e358118: Download complete
871ca48eb45d: Download complete
a5a2568b9df9: Pulling fs layer
4f4fb700ef54: Download complete
068cf3106ac8: Pulling fs layer
a5a2568b9df9: Download complete
559f54ec9b29: Pulling fs layer
068cf3106ac8: Download complete
798ffd96fde5: Pulling fs layer
559f54ec9b29: Download complete
e9a891bf80d7: Pulling fs layer
d720cfe12674: Pulling fs layer
798ffd96fde5: Waiting
e9a891bf80d7: Waiting
c81c932f4a91: Pulling fs layer
79f24fa3bb11: Pulling fs layer
d720cfe12674: Waiting
c81c932f4a91: Waiting
8c1debcd8c20: Pulling fs layer
1bb2cfea7250: Pulling fs layer
2b3d3ca75e4c: Pulling fs layer
79f24fa3bb11: Waiting
8c1debcd8c20: Waiting
1bb2cfea7250: Waiting
557cacaf263c: Pulling fs layer
2b3d3ca75e4c: Waiting
d10483022eef: Pulling fs layer
557cacaf263c: Waiting
7b62a90d8223: Pulling fs layer
d10483022eef: Waiting
28ce8ea66e72: Pulling fs layer
7b62a90d8223: Waiting
d975909ea717: Pulling fs layer
5c215c69c247: Pulling fs layer
e7c082452a54: Pulling fs layer
d1a4c61b613c: Pulling fs layer
d975909ea717: Waiting
5c215c69c247: Waiting
28ce8ea66e72: Waiting
e7c082452a54: Waiting
0195a6679dc6: Pulling fs layer
410dfa46d7be: Pulling fs layer
d1a4c61b613c: Waiting
b7b221f39cbe: Pulling fs layer
410dfa46d7be: Waiting
b7b221f39cbe: Waiting
798ffd96fde5: Download complete
e9a891bf80d7: Verifying Checksum
e9a891bf80d7: Download complete
d720cfe12674: Download complete
ed323d3d481a: Pull complete
7df34a5cd5f1: Pull complete
c81c932f4a91: Verifying Checksum
c81c932f4a91: Download complete
79f24fa3bb11: Download complete
8c1debcd8c20: Download complete
1bb2cfea7250: Verifying Checksum
1bb2cfea7250: Download complete
2b3d3ca75e4c: Download complete
557cacaf263c: Verifying Checksum
557cacaf263c: Download complete
7b62a90d8223: Download complete
d975909ea717: Verifying Checksum
d975909ea717: Download complete
5c215c69c247: Download complete
e7c082452a54: Verifying Checksum
e7c082452a54: Download complete
28ce8ea66e72: Download complete
d1a4c61b613c: Verifying Checksum
d1a4c61b613c: Download complete
0195a6679dc6: Verifying Checksum
0195a6679dc6: Download complete
410dfa46d7be: Download complete
b7b221f39cbe: Download complete
d10483022eef: Verifying Checksum
d10483022eef: Download complete
fd712d3eb935: Pull complete
4b9fb8c99118: Pull complete
9d9a01948b94: Pull complete
0f1514f90b32: Pull complete
e1ec5a753447: Pull complete
03cc323e2f71: Pull complete
c09c08ea9749: Pull complete
b36b619f8e6b: Pull complete
195344ca5274: Pull complete
228ee78582a6: Pull complete
504bde1c25b3: Pull complete
9d8b1356c89f: Pull complete
568fb6dda155: Pull complete
c499c9198aea: Pull complete
048e5e358118: Pull complete
871ca48eb45d: Pull complete
4f4fb700ef54: Pull complete
a5a2568b9df9: Pull complete
068cf3106ac8: Pull complete
559f54ec9b29: Pull complete
798ffd96fde5: Pull complete
e9a891bf80d7: Pull complete
d720cfe12674: Pull complete
c81c932f4a91: Pull complete
79f24fa3bb11: Pull complete
8c1debcd8c20: Pull complete
1bb2cfea7250: Pull complete
2b3d3ca75e4c: Pull complete
557cacaf263c: Pull complete
d10483022eef: Pull complete
7b62a90d8223: Pull complete
28ce8ea66e72: Pull complete
d975909ea717: Pull complete
5c215c69c247: Pull complete
e7c082452a54: Pull complete
d1a4c61b613c: Pull complete
0195a6679dc6: Pull complete
410dfa46d7be: Pull complete
b7b221f39cbe: Pull complete
Digest: sha256:37323dc71cac48a3e4688e16b45b95486f3cc440c55ab3f83114e8973362f41e
Status: Downloaded newer image for ocaml/opam@sha256:37323dc71cac48a3e4688e16b45b95486f3cc440c55ab3f83114e8973362f41e
2026-03-17 16:35.19 ---> using "32cd5b5baf995c02200cf270da597dbb25becd220af2c200c00b8b241a742195" 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-03-17 16:35.19 ---> using "f3ed7bdbef828c9c0b079b10505c5f05c3c9adcca11ce5bf2dac2a4183e099d8" 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
[NOTE] The 'jobs' option was reset, its value was 71 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:
opam option jobs=71 --global
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2026-03-17 16:35.19 ---> using "5bf6adb7b45bb7e0c215b8f509c71a8dae73a9a2060efcc27df9d4ef6c6d3350" 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=x86_64 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 255
# repositories 1 (version-controlled)
# pinned 1 (version)
# current-switch 4.14
# invariant ["ocaml-base-compiler" {= "4.14.2"}]
# compiler-packages ocaml-base-compiler.4.14.2, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/4.14/lib/ocaml/stublibs:/home/opam/.opam/4.14/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 4.14.2
2026-03-17 16:35.19 ---> using "0546f18fa5979677ee22eb9f2fcf19ab371564e845d317c2c70e41dd97dc22dd" 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-03-17 16:35.19 ---> using "0a7188cbe95f4fe0ff26694977eb8794c975bdb534078da98a06d6c7373289b4" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2026-03-17 16:35.20 ---> using "2ea19ba6f877d7490ae9d28c3ca82f6e95d6422fa89ee35c988285b501b22151" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-03-17 16:35.20 ---> using "4b3f38aef2d21c9a37671a782598114b37b94b05f6a6f32ffa66d88a437eafcd" from cache
/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 [9671 kB]
- Get:5 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [111 kB]
- Fetched 10.0 MB in 1s (10.2 MB/s)
- Reading package lists...
2026-03-17 16:35.20 ---> using "95a3159566682deae2959ada00c816034be3f300ca41bc004797908f9469a557" from cache
/home/opam: (run (shell "opam pin add -k version -yn lwt_ppx.5.8.0 5.8.0"))
lwt_ppx is now pinned to version 5.8.0
2026-03-17 16:35.20 ---> using "6a9513aa2e2dd3d482cd8606f40a7a649c73d19d230c2f5b8b025f13d69c2695" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall lwt_ppx.5.8.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\" != 'lwt_ppx.5.8.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
lwt_ppx.5.8.0 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 14 packages
- install base-bytes base [required by ocplib-endian]
- install cppo 1.8.0 [required by lwt]
- install csexp 1.5.2 [required by dune-configurator]
- install dune 3.21.1 [required by lwt_ppx]
- install dune-configurator 3.21.1 [required by lwt]
- install lwt 5.9.2 [required by lwt_ppx]
- install lwt_ppx 5.8.0 (pinned)
- install ocaml-compiler-libs v0.12.4 [required by ppxlib]
- install ocamlfind 1.9.8 [required by base-bytes]
- install ocplib-endian 1.2 [required by lwt]
- install ppx_derivers 1.2.1 [required by ppxlib]
- install ppxlib 0.35.0 [required by lwt_ppx]
- install sexplib0 v0.17.0 [required by ppxlib]
- install stdlib-shims 0.3.0 [required by ppxlib]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved cppo.1.8.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> retrieved dune.3.21.1, dune-configurator.3.21.1 (cached)
-> retrieved lwt.5.9.2 (cached)
-> retrieved lwt_ppx.5.8.0 (cached)
-> retrieved ocaml-compiler-libs.v0.12.4 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved ocplib-endian.1.2 (cached)
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppxlib.0.35.0 (cached)
-> retrieved sexplib0.v0.17.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> installed ocamlfind.1.9.8
-> installed base-bytes.base
-> installed dune.3.21.1
-> installed ppx_derivers.1.2.1
-> installed stdlib-shims.0.3.0
-> installed csexp.1.5.2
-> installed cppo.1.8.0
-> installed ocaml-compiler-libs.v0.12.4
-> installed sexplib0.v0.17.0
-> installed ocplib-endian.1.2
-> installed dune-configurator.3.21.1
-> installed lwt.5.9.2
-> installed ppxlib.0.35.0
-> installed lwt_ppx.5.8.0
Done.
# To update the current shell environment, run: eval $(opam env)
2026-03-17 16:36.04 ---> saved as "fb11a316bc26388fe7a91ccb6a0acf5a49a3386d37f3cd2ca5e9c3521a9dd583"
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall syguslib-utils.0.1;\
\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\" != 'syguslib-utils.0.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
syguslib-utils.0.1 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== downgrade 2 packages
- downgrade ppxlib 0.35.0 to 0.25.1 [uses sexplib0]
- downgrade sexplib0 v0.17.0 to v0.14.0 [required by base]
=== recompile 1 package
- recompile lwt_ppx 5.8.0 (pinned) [uses ppxlib]
=== install 66 packages
- install astring 0.8.5 [required by odoc]
- install base v0.14.3 [required by syguslib-utils]
- install base_bigstring v0.14.0 [required by core_kernel]
- install base_quickcheck v0.14.1 [required by core_kernel]
- install bin_prot v0.14.1 [required by core_kernel]
- install camlp-streams 5.0.1 [required by odoc-parser]
- install cmdliner 2.1.0 [required by fmt, odoc]
- install core v0.14.1 [required by syguslib-utils]
- install core_kernel v0.14.2 [required by core]
- install crunch 4.0.0 [required by odoc]
- install fieldslib v0.14.0 [required by core_kernel]
- install fileutils 0.6.6 [required by syguslib-utils]
- install fmt 0.11.0 [required by syguslib-utils]
- install fpath 0.7.3 [required by odoc]
- install getopt 20230213 [required by syguslib-utils]
- install jane-street-headers v0.14.0 [required by core_kernel]
- install jst-config v0.14.1 [required by core]
- install num 1.6 [required by sexplib]
- install ocamlbuild 0.16.1 [required by fmt]
- install octavius 1.2.2 [required by ppx_js_style]
- install odoc 3.1.0 [required by syguslib-utils]
- install odoc-parser 3.1.0 [required by odoc]
- install parsexp v0.14.2 [required by syguslib-utils]
- install ppx_assert v0.14.0 [required by core_kernel]
- install ppx_base v0.14.0 [required by core_kernel]
- install ppx_bench v0.14.1 [required by ppx_jane]
- install ppx_bin_prot v0.14.0 [required by ppx_jane]
- install ppx_cold v0.14.0 [required by ppx_base]
- install ppx_compare v0.14.0 [required by ppx_base, bin_prot]
- install ppx_custom_printf v0.14.1 [required by ppx_jane]
- install ppx_enumerate v0.14.0 [required by ppx_base]
- install ppx_expect v0.14.2 [required by ppx_jane]
- install ppx_fields_conv v0.14.2 [required by ppx_jane]
- install ppx_fixed_literal v0.14.0 [required by ppx_jane]
- install ppx_hash v0.14.0 [required by core_kernel]
- install ppx_here v0.14.0 [required by ppx_jane]
- install ppx_inline_test v0.14.1 [required by core_kernel]
- install ppx_jane v0.14.0 [required by core]
- install ppx_js_style v0.14.1 [required by ppx_base]
- install ppx_let v0.14.0 [required by ppx_jane]
- install ppx_module_timer v0.14.0 [required by ppx_jane]
- install ppx_optcomp v0.14.3 [required by core_kernel]
- install ppx_optional v0.14.0 [required by ppx_jane]
- install ppx_pipebang v0.14.0 [required by ppx_jane]
- install ppx_sexp_conv v0.14.3 [required by core_kernel]
- install ppx_sexp_message v0.14.1 [required by core_kernel]
- install ppx_sexp_value v0.14.0 [required by ppx_jane]
- install ppx_stable v0.14.1 [required by ppx_jane]
- install ppx_string v0.14.1 [required by ppx_jane]
- install ppx_typerep_conv v0.14.2 [required by ppx_jane]
- install ppx_variants_conv v0.14.2 [required by ppx_jane]
- install ptime 1.2.0 [required by crunch]
- install re 1.14.0 [required by tyxml]
- install seq base [required by tyxml]
- install sexplib v0.14.0 [required by syguslib-utils]
- install spawn v0.17.0 [required by core]
- install splittable_random v0.14.0 [required by core_kernel]
- install stdio v0.14.0 [required by syguslib-utils]
- install syguslib-utils 0.1
- install time_now v0.14.0 [required by core_kernel]
- install timezone v0.14.0 [required by core]
- install topkg 1.1.1 [required by fmt]
- install typerep v0.14.0 [required by core_kernel]
- install tyxml 4.6.0 [required by odoc]
- install uutf 1.0.4 [required by tyxml]
- install variantslib v0.14.0 [required by core_kernel]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved astring.0.8.5 (cached)
-> retrieved base.v0.14.3 (cached)
-> retrieved base_bigstring.v0.14.0 (cached)
-> retrieved base_quickcheck.v0.14.1 (cached)
-> retrieved bin_prot.v0.14.1 (cached)
-> retrieved camlp-streams.5.0.1 (cached)
-> retrieved cmdliner.2.1.0 (cached)
-> retrieved core.v0.14.1 (cached)
-> retrieved core_kernel.v0.14.2 (cached)
-> retrieved crunch.4.0.0 (cached)
-> retrieved fieldslib.v0.14.0 (cached)
-> retrieved fileutils.0.6.6 (cached)
-> installed camlp-streams.5.0.1
-> retrieved fmt.0.11.0 (cached)
-> retrieved fpath.0.7.3 (cached)
-> retrieved getopt.20230213 (cached)
-> retrieved jane-street-headers.v0.14.0 (cached)
-> retrieved jst-config.v0.14.1 (cached)
-> retrieved lwt_ppx.5.8.0 (cached)
-> retrieved num.1.6 (cached)
-> retrieved ocamlbuild.0.16.1 (cached)
-> installed getopt.20230213
-> installed jane-street-headers.v0.14.0
-> retrieved octavius.1.2.2 (cached)
-> retrieved odoc.3.1.0, odoc-parser.3.1.0 (cached)
-> installed num.1.6
-> installed octavius.1.2.2
-> retrieved parsexp.v0.14.2 (cached)
-> installed fileutils.0.6.6
-> retrieved ppx_assert.v0.14.0 (cached)
-> retrieved ppx_base.v0.14.0 (cached)
-> retrieved ppx_bench.v0.14.1 (cached)
-> retrieved ppx_bin_prot.v0.14.0 (cached)
-> retrieved ppx_cold.v0.14.0 (cached)
-> retrieved ppx_compare.v0.14.0 (cached)
-> retrieved ppx_custom_printf.v0.14.1 (cached)
-> retrieved ppx_enumerate.v0.14.0 (cached)
-> retrieved ppx_expect.v0.14.2 (cached)
-> retrieved ppx_fields_conv.v0.14.2 (cached)
-> retrieved ppx_fixed_literal.v0.14.0 (cached)
-> retrieved ppx_hash.v0.14.0 (cached)
-> retrieved ppx_here.v0.14.0 (cached)
-> retrieved ppx_inline_test.v0.14.1 (cached)
-> retrieved ppx_jane.v0.14.0 (cached)
-> retrieved ppx_js_style.v0.14.1 (cached)
-> retrieved ppx_let.v0.14.0 (cached)
-> retrieved ppx_module_timer.v0.14.0 (cached)
-> retrieved ppx_optcomp.v0.14.3 (cached)
-> retrieved ppx_optional.v0.14.0 (cached)
-> retrieved ppx_pipebang.v0.14.0 (cached)
-> retrieved ppx_sexp_conv.v0.14.3 (cached)
-> retrieved ppx_sexp_message.v0.14.1 (cached)
-> retrieved ppx_sexp_value.v0.14.0 (cached)
-> retrieved ppx_stable.v0.14.1 (cached)
-> retrieved ppx_string.v0.14.1 (cached)
-> retrieved ppx_typerep_conv.v0.14.2 (cached)
-> retrieved ppx_variants_conv.v0.14.2 (cached)
-> retrieved ppxlib.0.25.1 (cached)
-> retrieved ptime.1.2.0 (cached)
-> retrieved re.1.14.0 (cached)
-> retrieved seq.base (cached)
-> installed seq.base
-> retrieved sexplib.v0.14.0 (cached)
-> retrieved sexplib0.v0.14.0 (cached)
-> retrieved spawn.v0.17.0 (cached)
-> retrieved splittable_random.v0.14.0 (cached)
-> retrieved stdio.v0.14.0 (cached)
-> retrieved syguslib-utils.0.1 (cached)
-> retrieved time_now.v0.14.0 (cached)
-> retrieved timezone.v0.14.0 (cached)
-> retrieved topkg.1.1.1 (cached)
-> retrieved typerep.v0.14.0 (cached)
-> retrieved tyxml.4.6.0 (cached)
-> retrieved uutf.1.0.4 (cached)
-> retrieved variantslib.v0.14.0 (cached)
-> installed cmdliner.2.1.0
-> removed lwt_ppx.5.8.0
-> removed ppxlib.0.35.0
-> removed sexplib0.v0.17.0
-> installed re.1.14.0
-> installed sexplib0.v0.14.0
-> installed spawn.v0.17.0
-> installed ocamlbuild.0.16.1
-> installed topkg.1.1.1
-> installed base.v0.14.3
-> installed uutf.1.0.4
-> installed fieldslib.v0.14.0
-> installed variantslib.v0.14.0
-> installed fmt.0.11.0
-> installed stdio.v0.14.0
-> installed ptime.1.2.0
-> installed astring.0.8.5
-> installed typerep.v0.14.0
-> installed crunch.4.0.0
-> installed fpath.0.7.3
-> installed parsexp.v0.14.2
-> installed odoc-parser.3.1.0
-> installed sexplib.v0.14.0
-> installed tyxml.4.6.0
-> installed ppxlib.0.25.1
-> installed ppx_optcomp.v0.14.3
-> installed ppx_enumerate.v0.14.0
-> installed ppx_fields_conv.v0.14.2
-> installed ppx_cold.v0.14.0
-> installed ppx_here.v0.14.0
-> installed ppx_let.v0.14.0
-> installed ppx_stable.v0.14.1
-> installed ppx_variants_conv.v0.14.2
-> installed ppx_typerep_conv.v0.14.2
-> installed ppx_compare.v0.14.0
-> installed ppx_pipebang.v0.14.0
-> installed ppx_fixed_literal.v0.14.0
-> installed ppx_optional.v0.14.0
-> installed ppx_js_style.v0.14.1
-> installed lwt_ppx.5.8.0
-> installed ppx_sexp_conv.v0.14.3
-> installed odoc.3.1.0
-> installed ppx_hash.v0.14.0
-> installed ppx_assert.v0.14.0
-> installed ppx_sexp_value.v0.14.0
-> installed ppx_sexp_message.v0.14.1
-> installed ppx_custom_printf.v0.14.1
-> installed ppx_base.v0.14.0
-> installed jst-config.v0.14.1
-> installed bin_prot.v0.14.1
-> installed ppx_string.v0.14.1
-> installed time_now.v0.14.0
-> installed ppx_bin_prot.v0.14.0
-> installed ppx_module_timer.v0.14.0
-> installed ppx_inline_test.v0.14.1
-> installed ppx_bench.v0.14.1
-> installed ppx_expect.v0.14.2
-> installed splittable_random.v0.14.0
-> installed base_quickcheck.v0.14.1
-> installed ppx_jane.v0.14.0
-> installed base_bigstring.v0.14.0
-> installed core_kernel.v0.14.2
-> installed timezone.v0.14.0
-> installed core.v0.14.1
-> installed syguslib-utils.0.1
Done.
# To update the current shell environment, run: eval $(opam env)
2026-03-17 16:37.27 ---> saved as "89e5d81545d7cfedda14dfe2dd3255a13431c26f7d7f41780a3125307cccc5c8"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test syguslib-utils.0.1) || true"))
The following actions will be performed:
=== recompile 1 package
- recompile syguslib-utils 0.1
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved syguslib-utils.0.1 (https://opam.ocaml.org/cache)
-> removed syguslib-utils.0.1
-> installed syguslib-utils.0.1
Done.
# To update the current shell environment, run: eval $(opam env)
2026-03-17 16:37.33 ---> saved as "a3eb262ecd84ad99df589018880f288dad5ea75be069abdc31d8562146f42ee1"
/home/opam: (run (shell "opam reinstall --with-test --verbose syguslib-utils.0.1;\
\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\" != 'syguslib-utils.0.1' && 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 syguslib-utils 0.1
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/4: [syguslib-utils.0.1: extract]
-> retrieved syguslib-utils.0.1 (cached)
Processing 2/4: [syguslib-utils: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "syguslib-utils" "-j" "255" "--promote-install-files=false" "@install" "@runtest" (CWD=/home/opam/.opam/4.14/.opam-switch/build/syguslib-utils.0.1)
- (cd _build/default/test && ./Basic.exe)
- TEST: ../../../test/inputs/positive/metros_4_e2_968_e2_1166.lus.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_tenfunc2.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_tenfunc1.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_sixfuncs.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_sevenfuncs.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_polynomial4.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_polynomial3.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_polynomial2.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_polynomial1.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_polynomial.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_ninefuncs.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_mpg_plane3.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_mpg_plane2.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_mpg_plane1.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_mpg_ite2.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_mpg_ite1.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_mpg_guard4.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_mpg_guard3.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_mpg_guard2.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_mpg_guard1.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_mpg_example5.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_mpg_example4.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_mpg_example3.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_mpg_example2.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_mpg_example1.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_max9.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_max8.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_max7.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_max6.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_max5.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_max4.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_max3.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_max2.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_max15.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_max14.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_max13.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_max12.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_max11.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_max10.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_fivefuncs.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_eightfuncs.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_array_sum_9_5.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_array_sum_9_15.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_array_sum_8_5.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_array_sum_8_15.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_array_sum_7_5.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_array_sum_7_15.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_array_sum_6_5.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_array_sum_6_15.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_array_sum_5_15.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_array_sum_4_5.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_array_sum_4_15.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_array_sum_3_5.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_array_sum_3_15.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_array_sum_2_5.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_array_sum_2_15.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_array_sum_10_5.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_array_sum_10_15.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_array_search_9.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_array_search_8.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_array_search_7.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_array_search_6.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_array_search_5.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_array_search_4.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_array_search_3.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_array_search_2.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_array_search_15.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_array_search_14.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_array_search_13.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_array_search_12.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_array_search_11.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_array_search_10.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_VC22_b.sl
- TEST: ../../../test/inputs/positive/jmbl_fg_VC22_a.sl
- TEST: ../../../test/inputs/positive/bench_unrealizable_count_lte98a5d.sl
- TEST: ../../../test/inputs/positive/bench_unrealizable_count_ltdecf0d.sl
- TEST: ../../../test/inputs/positive/bench_unrealizable_count_ltb1a00a.sl
- TEST: ../../../test/inputs/positive/bench_unrealizable_count_lta540d8.sl
- TEST: ../../../test/inputs/positive/bench_unrealizable_count_lt983472.sl
- TEST: ../../../test/inputs/positive/bench_unrealizable_count_lt85e515.sl
- TEST: ../../../test/inputs/positive/bench_unrealizable_count_lt75b0a6.sl
- TEST: ../../../test/inputs/positive/bench_unrealizable_count_lt4bf069.sl
- TEST: ../../../test/inputs/positive/bench_unrealizable_count_lt18161e.sl
- TEST: ../../../test/inputs/positive/bench_unrealizable_count_lt119712.sl
- TEST: ../../../test/inputs/positive/bench_unrealizable_count_lt10b4c6.sl
- TEST: ../../../test/inputs/positive/bench_unrealizable_count_eqb51bc3.sl
- TEST: ../../../test/inputs/positive/bench_unrealizable_count_eq298a41b.sl
- TEST: ../../../test/inputs/positive/bench_tree_sized70e85.sl
- TEST: ../../../test/inputs/positive/bench_msshom931e5a.sl
- TEST: ../../../test/inputs/positive/bench_msshom2b1774.sl
- TEST: ../../../test/inputs/positive/arraysearch20.sl
- TEST: ../../../test/inputs/positive/arraysearch19.sl
- TEST: ../../../test/inputs/positive/arraysearch18.sl
- TEST: ../../../test/inputs/positive/arraysearch17.sl
- TEST: ../../../test/inputs/positive/arraysearch16.sl
- TEST: ../../../test/inputs/positive/alist_sum.sl
- TEST: ../../../test/inputs/positive/PRE_1_1000.sl
- TEST: ../../../test/inputs/positive/PRE_1_100.sl
- TEST: ../../../test/inputs/positive/PRE_1_10.sl
- TEST: ../../../test/inputs/positive/PRE_19_1000.sl
- TEST: ../../../test/inputs/positive/PRE_19_100.sl
- TEST: ../../../test/inputs/positive/PRE_19_10.sl
- TEST: ../../../test/inputs/positive/PRE_18_1000.sl
- TEST: ../../../test/inputs/positive/PRE_18_100.sl
- TEST: ../../../test/inputs/positive/PRE_18_10.sl
- TEST: ../../../test/inputs/positive/PRE_17_1000.sl
- TEST: ../../../test/inputs/positive/PRE_17_100.sl
- TEST: ../../../test/inputs/positive/PRE_17_10.sl
- TEST: ../../../test/inputs/positive/PRE_16_1000.sl
- TEST: ../../../test/inputs/positive/PRE_16_100.sl
- TEST: ../../../test/inputs/positive/PRE_16_10.sl
- TEST: ../../../test/inputs/positive/PRE_15_1000.sl
- TEST: ../../../test/inputs/positive/PRE_15_100.sl
- TEST: ../../../test/inputs/positive/PRE_15_10.sl
- TEST: ../../../test/inputs/positive/PRE_150_10.sl
- TEST: ../../../test/inputs/positive/PRE_14_1000.sl
- TEST: ../../../test/inputs/positive/PRE_14_100.sl
- TEST: ../../../test/inputs/positive/PRE_14_10.sl
- TEST: ../../../test/inputs/positive/PRE_149_1000.sl
- TEST: ../../../test/inputs/positive/PRE_13_1000.sl
- TEST: ../../../test/inputs/positive/PRE_13_100.sl
- TEST: ../../../test/inputs/positive/PRE_13_10.sl
- TEST: ../../../test/inputs/positive/PRE_12_1000.sl
- TEST: ../../../test/inputs/positive/PRE_12_100.sl
- TEST: ../../../test/inputs/positive/PRE_12_10.sl
- TEST: ../../../test/inputs/positive/PRE_11_1000.sl
- TEST: ../../../test/inputs/positive/PRE_11_100.sl
- TEST: ../../../test/inputs/positive/PRE_11_10.sl
- TEST: ../../../test/inputs/positive/PRE_117_1000.sl
- TEST: ../../../test/inputs/positive/PRE_117_100.sl
- TEST: ../../../test/inputs/positive/PRE_115_100.sl
- TEST: ../../../test/inputs/positive/PRE_115_10.sl
- TEST: ../../../test/inputs/positive/PRE_113_10.sl
- TEST: ../../../test/inputs/positive/PRE_112_1000.sl
- TEST: ../../../test/inputs/positive/PRE_110_1000.sl
- TEST: ../../../test/inputs/positive/PRE_110_100.sl
- TEST: ../../../test/inputs/positive/PRE_10_1000.sl
- TEST: ../../../test/inputs/positive/PRE_10_100.sl
- TEST: ../../../test/inputs/positive/PRE_10_10.sl
- TEST: ../../../test/inputs/positive/PRE_108_100.sl
- TEST: ../../../test/inputs/positive/PRE_108_10.sl
- TEST: ../../../test/inputs/positive/PRE_106_10.sl
- TEST: ../../../test/inputs/positive/PRE_105_1000.sl
- TEST: ../../../test/inputs/positive/PRE_103_1000.sl
- TEST: ../../../test/inputs/positive/PRE_103_100.sl
- TEST: ../../../test/inputs/positive/PRE_101_100.sl
- TEST: ../../../test/inputs/positive/PRE_101_10.sl
- TEST: ../../../test/inputs/positive/PRE_100_1000.sl
- TEST: ../../../test/inputs/positive/PRE_100_100.sl
- TEST: ../../../test/inputs/positive/PRE_100_10.sl
- TEST: ../../../test/inputs/positive/45_conf5.sl
- TEST: ../../../test/inputs/positive/45_conf1.sl
- TEST: ../../../test/inputs/negative/neg2.sl
- TEST: ../../../test/inputs/negative/neg1.sl
- TEST: ../../../test/inputs/negative/max14_neg2.sl
- TEST: ../../../test/inputs/negative/max14_neg.sl
Processing 2/4: [syguslib-utils: dune install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "install" "-p" "syguslib-utils" "--create-install-files" "syguslib-utils" (CWD=/home/opam/.opam/4.14/.opam-switch/build/syguslib-utils.0.1)
-> compiled syguslib-utils.0.1
-> removed syguslib-utils.0.1
-> installed syguslib-utils.0.1
Done.
# To update the current shell environment, run: eval $(opam env)
2026-03-17 16:37.39 ---> saved as "751aee1768b4e4e94021e7b6f98f74e9d277c65d4357344bd0a9dccb5d5b0a3a"
Job succeeded
2026-03-17 16:37.47: Job succeeded