(for PR #29111)
2026-01-23 15:10.11: New job: test caisar.5.0, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29111/head (6fb9bc721893564c7fcc5360575ff8ff9e76bc1c)
on archlinux-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/29111/head" && git reset --hard 6fb9bc72
git fetch origin master
git merge --no-edit dc02a35b0eaa39fa73e10f2dfa764b490f859db6
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:archlinux-ocaml-5.4@sha256:ad1f8386879f2acfe6663d408c82f660e78353c2ef0d031cd36bd32127ec3cd0
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 caisar.5.0 5.0
RUN opam reinstall caisar.5.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 "\"archlinux\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'caisar.5.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 caisar.5.0) || true
RUN opam reinstall --with-test --verbose caisar.5.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 "\"archlinux\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'caisar.5.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-23 15:10.11: Using cache hint "ocaml/opam:archlinux-ocaml-5.4@sha256:ad1f8386879f2acfe6663d408c82f660e78353c2ef0d031cd36bd32127ec3cd0-caisar.5.0-6fb9bc721893564c7fcc5360575ff8ff9e76bc1c"
2026-01-23 15:10.11: Using OBuilder spec:
((from ocaml/opam:archlinux-ocaml-5.4@sha256:ad1f8386879f2acfe6663d408c82f660e78353c2ef0d031cd36bd32127ec3cd0)
(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 caisar.5.0 5.0"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall caisar.5.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 \"\\\"archlinux\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'caisar.5.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 caisar.5.0) || true"))
(run (shell "opam reinstall --with-test --verbose caisar.5.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 \"\\\"archlinux\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'caisar.5.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-23 15:10.11: Waiting for resource in pool OCluster
2026-01-23 15:10.11: Waiting for worker…
2026-01-23 15:11.08: Got resource from pool OCluster
Building on odawa.caelum.ci.dev
All commits already cached
HEAD is now at dc02a35b0e Merge pull request #29268 from ocaml/notty-win-avail-false
Merge made by the 'ort' strategy.
packages/caisar/caisar.5.0/opam | 66 +++++++++++++++++++++++++++++++++++++++++
1 file changed, 66 insertions(+)
create mode 100644 packages/caisar/caisar.5.0/opam
(from ocaml/opam:archlinux-ocaml-5.4@sha256:ad1f8386879f2acfe6663d408c82f660e78353c2ef0d031cd36bd32127ec3cd0)
2026-01-23 15:22.30 ---> using "0a87388e12ec8a63f9b7ed34ff3a79f49b645907fede506a0536a88e6e753460" 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-23 15:22.30 ---> using "5d11bc0849cd6b7eb1fa08a28e8523c2c675d3bb0b13383717ea0eb24c82198b" 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-01-23 15:22.30 ---> using "9202eeccfe0ced1e844e4926846dfceb4cbbe990c92d1158f60b95243064538d" 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=arch os-version=20260111.0.480139
# 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 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-23 15:22.30 ---> using "8e024cc97817bcf16af8ce7118b9242cb518b0087226dd48ca7336ef1fd25d1e" 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-23 15:22.30 ---> using "d946ab55620d3a765b17a5355f23ada2d9db2e67b01a99d25bc8fa575f80ba52" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2026-01-23 15:22.30 ---> using "22000e8df28387d9225eb5917e76faa9512e21adcfd7905053049c9aa136a4ef" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-01-23 15:22.30 ---> using "42f381120523cb787610228778b6e04d5f8f06e3cc1ab4afe5d5b55ba7417ecf" from cache
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/sbin/sudo "pacman" "-Sy"
- :: Synchronizing package databases...
- core downloading...
- extra downloading...
2026-01-23 15:22.30 ---> using "4e90532ff84a337aee7611fd957c762e8f0876e3e8a2bb1354e8698229328854" from cache
/home/opam: (run (shell "opam pin add -k version -yn caisar.5.0 5.0"))
caisar is now pinned to version 5.0
2026-01-23 15:22.30 ---> using "3a340fb2b38137299f8defb291e5b53b1fe81895545505adf1bbbefac9131c37" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall caisar.5.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 \"\\\"archlinux\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'caisar.5.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
caisar.5.0 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 77 packages
∗ astring 0.8.5 [required by fpath]
∗ base v0.17.3 [required by caisar]
∗ base-bytes base [required by csv, ocplib-endian]
∗ base64 3.5.2 [required by ocaml-protoc-plugin]
∗ bos 0.2.1 [required by yaml]
∗ caisar 5.0 (pinned)
∗ cmdliner 2.1.0 [required by caisar]
∗ conf-gmp 5 [required by zarith]
∗ conf-pkg-config 4 [required by ocaml-protoc-plugin]
∗ conf-protoc 4.4.0 [required by ocaml-protoc-plugin]
∗ cppo 1.8.0 [required by ocplib-endian, ppx_deriving]
∗ csexp 1.5.2 [required by dune-configurator, dune-private-libs]
∗ csv 2.4 [required by caisar]
∗ ctypes 0.24.0 [required by yaml]
∗ dune 3.21.0 [required by caisar]
∗ dune-build-info 3.21.0 [required by omd]
∗ dune-configurator 3.21.0 [required by base]
∗ dune-private-libs 3.21.0 [required by dune-site]
∗ dune-site 3.21.0 [required by caisar]
∗ dyn 3.21.0 [required by dune-private-libs]
∗ fmt 0.11.0 [required by caisar]
∗ fpath 0.7.3 [required by caisar]
∗ fs-io 3.21.0 [required by stdune]
∗ integers 0.7.0 [required by ctypes]
∗ jane-street-headers v0.17.0 [required by time_now]
∗ jst-config v0.17.0 [required by time_now]
∗ logs 0.10.0 [required by caisar]
∗ menhir 20250912 [required by why3]
∗ menhirCST 20250912 [required by menhir]
∗ menhirLib 20250912 [required by caisar]
∗ menhirSdk 20250912 [required by menhir]
∗ ocaml-compiler-libs v0.17.0 [required by ppxlib]
∗ ocaml-protoc-plugin 6.2.0 [required by caisar]
∗ ocaml_intrinsics_kernel v0.17.1 [required by base]
∗ ocamlbuild 0.16.1 [required by fpath, fmt, logs]
∗ ocamlfind 1.9.8 [required by ppx_deriving, fpath, fmt, etc.]
∗ ocamlgraph 2.2.0 [required by caisar]
∗ ocplib-endian 1.2 [required by caisar]
∗ omd 2.0.0~alpha4 [required by ocaml-protoc-plugin]
∗ ordering 3.21.0 [required by dyn, stdune]
∗ pp 2.0.0 [required by dune-private-libs]
∗ ppx_assert v0.17.0 [required by jst-config]
∗ ppx_base v0.17.0 [required by time_now]
∗ ppx_cold v0.17.0 [required by ppx_base]
∗ ppx_compare v0.17.0 [required by ppx_base]
∗ ppx_derivers 1.2.1 [required by ppx_deriving]
∗ ppx_deriving 6.1.1 [required by caisar]
∗ ppx_deriving_jsonschema 0.0.4 [required by caisar]
∗ ppx_deriving_yaml 0.4.1 [required by caisar]
∗ ppx_deriving_yojson 3.10.0 [required by caisar]
∗ ppx_enumerate v0.17.0 [required by ppx_base]
∗ ppx_expect v0.17.3 [required by ocaml-protoc-plugin]
∗ ppx_globalize v0.17.2 [required by ppx_base]
∗ ppx_hash v0.17.0 [required by ppx_base]
∗ ppx_here v0.17.0 [required by ppx_expect]
∗ ppx_inline_test v0.17.1 [required by caisar]
∗ ppx_optcomp v0.17.1 [required by time_now]
∗ ppx_sexp_conv v0.17.1 [required by why3]
∗ ppxlib 0.37.0 [required by ppx_deriving_yaml, ppx_deriving, ppx_deriving_jsonschema, ppx_deriving_yojson]
∗ ppxlib_jane v0.17.4 [required by ppx_globalize, ppx_enumerate, ppx_hash]
∗ ptime 1.2.0 [required by ocaml-protoc-plugin]
∗ re 1.14.0 [required by caisar]
∗ rresult 0.7.0 [required by bos]
∗ sexplib0 v0.17.0 [required by base]
∗ stdio v0.17.0 [required by caisar]
∗ stdlib-shims 0.3.0 [required by ppxlib, integers]
∗ stdune 3.21.0 [required by dune-private-libs]
∗ time_now v0.17.0 [required by ppx_inline_test]
∗ top-closure 3.21.0 [required by stdune]
∗ topkg 1.1.1 [required by fpath, fmt, logs]
∗ uucp 17.0.0 [required by omd]
∗ uunf 17.0.0 [required by omd]
∗ uutf 1.0.4 [required by omd]
∗ why3 1.8.2 [required by caisar]
∗ yaml 3.2.0 [required by caisar]
∗ yojson 3.0.0 [required by caisar]
∗ zarith 1.14 [required by caisar]
The following system packages will first need to be installed:
pkgconf protobuf
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
opam believes some required external dependencies are missing. opam can:
> 1. Run pacman to install them (may need root/sudo access)
2. Display the recommended pacman 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/sbin/sudo "pacman" "-Su" "--noconfirm" "pkgconf" "protobuf"
- :: Starting full system upgrade...
- resolving dependencies...
- looking for conflicting packages...
-
- Package (12) Old Version New Version Net Change Download Size
-
- extra/abseil-cpp 20250814.1-1 6.55 MiB 1.22 MiB
- core/glibc 2.42+r47+ga1d3294a5bed-1 2.42+r51+gcbf39c26b258-1 0.00 MiB 10.15 MiB
- extra/gtest 1.17.0-1 1.63 MiB 0.38 MiB
- core/libevent 2.1.12-4 2.1.12-5 0.00 MiB 0.26 MiB
- core/libnghttp3 1.14.0-1 1.15.0-1 0.00 MiB 0.08 MiB
- core/libngtcp2 1.19.0-1 1.20.0-1 0.00 MiB 0.19 MiB
- core/libp11-kit 0.25.10-2 0.26.1-1 0.32 MiB 0.48 MiB
- core/p11-kit 0.25.10-2 0.26.1-1 0.06 MiB 0.24 MiB
- core/pacman 7.1.0.r7.gb9f7d4a-1 7.1.0.r9.g54d9411-1 0.00 MiB 0.94 MiB
- core/pacman-mirrorlist 20251021-1 20260105-1 -0.02 MiB 0.01 MiB
- core/pkgconf 2.5.1-1 0.20 MiB 0.07 MiB
- extra/protobuf 33.1-3 17.92 MiB 3.61 MiB
-
- Total Download Size: 17.62 MiB
- Total Installed Size: 87.35 MiB
- Net Upgrade Size: 26.65 MiB
-
- :: Proceed with installation? [Y/n]
- :: Retrieving packages...
- glibc-2.42+r51+gcbf39c26b258-1-x86_64 downloading...
- protobuf-33.1-3-x86_64 downloading...
- abseil-cpp-20250814.1-1-x86_64 downloading...
- pacman-7.1.0.r9.g54d9411-1-x86_64 downloading...
- libp11-kit-0.26.1-1-x86_64 downloading...
- gtest-1.17.0-1-x86_64 downloading...
- libevent-2.1.12-5-x86_64 downloading...
- p11-kit-0.26.1-1-x86_64 downloading...
- libngtcp2-1.20.0-1-x86_64 downloading...
- libnghttp3-1.15.0-1-x86_64 downloading...
- pkgconf-2.5.1-1-x86_64 downloading...
- pacman-mirrorlist-20260105-1-any downloading...
- checking keyring...
- checking package integrity...
- loading package files...
- checking for file conflicts...
- :: Processing package changes...
- upgrading glibc...
- Generating locales...
- Generation complete.
- installing pkgconf...
- installing gtest...
- Optional dependencies for gtest
- python: gmock generator
- installing abseil-cpp...
- installing protobuf...
- upgrading libevent...
- upgrading libnghttp3...
- upgrading libp11-kit...
- upgrading libngtcp2...
- upgrading p11-kit...
- upgrading pacman-mirrorlist...
- upgrading pacman...
- :: Running post-transaction hooks...
- (1/5) Creating system user accounts...
- (2/5) Reloading system manager configuration...
- Failed to check for chroot() environment: Permission denied
- Skipped: Current root is not booted.
- (3/5) Reloading user manager configuration...
- Failed to check for chroot() environment: Permission denied
- Skipped: Current root is not booted.
- (4/5) Restarting marked services...
- Failed to check for chroot() environment: Permission denied
- Skipped: Current root is not booted.
- (5/5) Arming ConditionNeedsUpdate...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
⬇ retrieved astring.0.8.5 (cached)
⬇ retrieved base.v0.17.3 (cached)
⬇ retrieved base64.3.5.2 (cached)
⬇ retrieved bos.0.2.1 (cached)
⬇ retrieved caisar.5.0 (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 csv.2.4 (cached)
∗ installed conf-gmp.5
∗ installed conf-pkg-config.4
⬇ retrieved ctypes.0.24.0 (cached)
∗ installed conf-protoc.4.4.0
⬇ retrieved dune.3.21.0, dune-build-info.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 fmt.0.11.0 (cached)
⬇ retrieved fpath.0.7.3 (cached)
⬇ retrieved integers.0.7.0 (cached)
⬇ retrieved jane-street-headers.v0.17.0 (cached)
⬇ retrieved jst-config.v0.17.0 (cached)
⬇ retrieved logs.0.10.0 (cached)
⬇ retrieved menhir.20250912, menhirCST.20250912, menhirLib.20250912, menhirSdk.20250912 (cached)
∗ installed cmdliner.2.1.0
⬇ retrieved ocaml-compiler-libs.v0.17.0 (cached)
⬇ retrieved ocaml-protoc-plugin.6.2.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 ocplib-endian.1.2 (cached)
⬇ retrieved omd.2.0.0~alpha4 (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_deriving_jsonschema.0.0.4 (cached)
⬇ retrieved ppx_deriving_yaml.0.4.1 (cached)
⬇ retrieved ppx_deriving_yojson.3.10.0 (cached)
⬇ retrieved ppx_enumerate.v0.17.0 (cached)
⬇ retrieved ppx_expect.v0.17.3 (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 ptime.1.2.0 (cached)
⬇ retrieved re.1.14.0 (cached)
⬇ retrieved rresult.0.7.0 (cached)
⬇ 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 topkg.1.1.1 (cached)
⬇ retrieved uucp.17.0.0 (cached)
⬇ retrieved uunf.17.0.0 (cached)
⬇ retrieved uutf.1.0.4 (cached)
⬇ retrieved why3.1.8.2 (cached)
⬇ retrieved yaml.3.2.0 (cached)
⬇ retrieved yojson.3.0.0 (cached)
⬇ retrieved zarith.1.14 (cached)
∗ installed ocamlfind.1.9.8
∗ installed base-bytes.base
∗ installed ocamlbuild.0.16.1
∗ installed zarith.1.14
∗ installed topkg.1.1.1
∗ installed rresult.0.7.0
∗ installed uutf.1.0.4
∗ installed fmt.0.11.0
∗ installed ptime.1.2.0
∗ installed astring.0.8.5
∗ installed fpath.0.7.3
∗ installed logs.0.10.0
∗ installed uunf.17.0.0
∗ installed bos.0.2.1
∗ installed dune.3.21.0
∗ installed base64.3.5.2
∗ installed cppo.1.8.0
∗ installed csexp.1.5.2
∗ installed csv.2.4
∗ 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 pp.2.0.0
∗ installed ppx_derivers.1.2.1
∗ installed re.1.14.0
∗ installed sexplib0.v0.17.0
∗ installed stdlib-shims.0.3.0
∗ installed yojson.3.0.0
∗ installed ocplib-endian.1.2
∗ installed integers.0.7.0
∗ installed ordering.3.21.0
∗ installed dune-build-info.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 ctypes.0.24.0
∗ installed stdio.v0.17.0
∗ installed dune-private-libs.3.21.0
∗ installed dune-site.3.21.0
∗ installed yaml.3.2.0
∗ installed menhir.20250912
∗ installed ppxlib.0.37.0
∗ installed uucp.17.0.0
∗ 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_deriving_jsonschema.0.0.4
∗ installed ppx_deriving_yaml.0.4.1
∗ installed ppx_globalize.v0.17.2
∗ installed ppx_enumerate.v0.17.0
∗ installed omd.2.0.0~alpha4
∗ installed ppx_deriving.6.1.1
∗ installed ppx_compare.v0.17.0
∗ installed ppx_sexp_conv.v0.17.1
∗ installed ppx_deriving_yojson.3.10.0
∗ 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 ppx_expect.v0.17.3
∗ installed why3.1.8.2
∗ installed ocaml-protoc-plugin.6.2.0
∗ installed caisar.5.0
Done.
# To update the current shell environment, run: eval $(opam env)
2026-01-23 15:23.48 ---> saved as "2a244a9fb6c50c1c22e0736fe291b7b34efccc8c30f2167361399773df15cf4f"
/home/opam: (run (network host)
(shell "(opam reinstall --with-test caisar.5.0) || true"))
The following actions will be performed:
=== recompile 1 package
↻ caisar 5.0 (pinned)
=== install 3 packages
∗ conf-jq 1 [required by caisar]
∗ conf-python-3 9.0.0 [required by caisar]
∗ conf-texlive 2 [required by caisar]
The following system packages will first need to be installed:
jq python texlive-core
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
opam believes some required external dependencies are missing. opam can:
> 1. Run pacman to install them (may need root/sudo access)
2. Display the recommended pacman 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/sbin/sudo "pacman" "-Su" "--noconfirm" "jq" "python" "texlive-core"
- :: Starting full system upgrade...
- resolving dependencies...
- looking for conflicting packages...
-
- Package (43) New Version Net Change Download Size
-
- extra/aom 3.13.1-2 9.16 MiB 2.91 MiB
- extra/cairo 1.18.4-1 1.59 MiB 0.61 MiB
- extra/dav1d 1.5.3-1 1.78 MiB 0.63 MiB
- extra/ffcall 2.5-1 0.20 MiB 0.04 MiB
- extra/fontconfig 2:2.17.1-1 1.12 MiB 0.37 MiB
- extra/freetype2 2.14.1-1 1.66 MiB 0.53 MiB
- extra/gd 2.3.3-9 0.64 MiB 0.15 MiB
- extra/graphite 1:1.3.14-5 0.20 MiB 0.08 MiB
- extra/harfbuzz 12.3.1-1 4.21 MiB 1.09 MiB
- extra/l-smash 2.14.5-4 1.02 MiB 0.31 MiB
- extra/libavif 1.3.0-3 0.74 MiB 0.26 MiB
- extra/libde265 1.0.16-2 0.72 MiB 0.26 MiB
- extra/libheif 1.21.2-1 2.29 MiB 0.70 MiB
- extra/libice 1.1.2-1 0.36 MiB 0.08 MiB
- extra/libjpeg-turbo 3.1.3-1 2.42 MiB 0.56 MiB
- extra/libpaper 2.2.7-1 0.16 MiB 0.05 MiB
- extra/libpng 1.6.53-2 0.58 MiB 0.25 MiB
- extra/libsigsegv 2.15-1 0.03 MiB 0.01 MiB
- extra/libsm 1.2.6-1 0.26 MiB 0.04 MiB
- extra/libsynctex 2025.2-3 0.14 MiB 0.05 MiB
- extra/libwebp 1.6.0-2 1.04 MiB 0.32 MiB
- extra/libxaw 1.0.16-1 1.65 MiB 0.35 MiB
- extra/libxext 1.3.6-1 0.30 MiB 0.10 MiB
- extra/libxmu 1.2.1-1 0.33 MiB 0.07 MiB
- extra/libxpm 3.5.17-2 0.16 MiB 0.07 MiB
- extra/libxrender 0.9.12-1 0.09 MiB 0.03 MiB
- extra/libxt 1.3.1-1 2.02 MiB 0.52 MiB
- extra/libyuv r2426+464c51a03-1 1.82 MiB 0.30 MiB
- core/lzo 2.10-5 0.38 MiB 0.09 MiB
- core/mpdecimal 4.0.1-1 0.33 MiB 0.10 MiB
- extra/oniguruma 6.9.10-1 0.88 MiB 0.22 MiB
- extra/openh264 2.6.0-1 2.17 MiB 0.63 MiB
- extra/pixman 0.46.4-1 0.74 MiB 0.28 MiB
- extra/potrace 1.16-4 0.19 MiB 0.09 MiB
- extra/rav1e 0.8.1-2 7.61 MiB 1.60 MiB
- extra/svt-av1 3.1.2-1 5.62 MiB 1.96 MiB
- extra/texlive-bin 2025.2-3 52.83 MiB 11.70 MiB
- extra/x264 3:0.165.r3222.b35605a-2 3.79 MiB 0.75 MiB
- extra/x265 4.1-1 20.84 MiB 1.94 MiB
- extra/zziplib 0.13.80-1 0.33 MiB 0.06 MiB
- extra/jq 1.8.1-1 0.45 MiB 0.19 MiB
- core/python 3.14.2-2 72.04 MiB 13.00 MiB
- extra/texlive-basic 2025.2-3 33.92 MiB 6.68 MiB
-
- Total Download Size: 50.03 MiB
- Total Installed Size: 238.79 MiB
-
- :: Proceed with installation? [Y/n]
- :: Retrieving packages...
- python-3.14.2-2-x86_64 downloading...
- texlive-bin-2025.2-3-x86_64 downloading...
- texlive-basic-2025.2-3-any downloading...
- aom-3.13.1-2-x86_64 downloading...
- svt-av1-3.1.2-1-x86_64 downloading...
- x265-4.1-1-x86_64 downloading...
- rav1e-0.8.1-2-x86_64 downloading...
- harfbuzz-12.3.1-1-x86_64 downloading...
- x264-3:0.165.r3222.b35605a-2-x86_64 downloading...
- libheif-1.21.2-1-x86_64 downloading...
- openh264-2.6.0-1-x86_64 downloading...
- dav1d-1.5.3-1-x86_64 downloading...
- cairo-1.18.4-1-x86_64 downloading...
- libjpeg-turbo-3.1.3-1-x86_64 downloading...
- freetype2-2.14.1-1-x86_64 downloading...
- libxt-1.3.1-1-x86_64 downloading...
- fontconfig-2:2.17.1-1-x86_64 downloading...
- libxaw-1.0.16-1-x86_64 downloading...
- libwebp-1.6.0-2-x86_64 downloading...
- l-smash-2.14.5-4-x86_64 downloading...
- libyuv-r2426+464c51a03-1-x86_64 downloading...
- pixman-0.46.4-1-x86_64 downloading...
- libavif-1.3.0-3-x86_64 downloading...
- libde265-1.0.16-2-x86_64 downloading...
- libpng-1.6.53-2-x86_64 downloading...
- oniguruma-6.9.10-1-x86_64 downloading...
- jq-1.8.1-1-x86_64 downloading...
- gd-2.3.3-9-x86_64 downloading...
- libxext-1.3.6-1-x86_64 downloading...
- mpdecimal-4.0.1-1-x86_64 downloading...
- potrace-1.16-4-x86_64 downloading...
- lzo-2.10-5-x86_64 downloading...
- graphite-1:1.3.14-5-x86_64 downloading...
- libice-1.1.2-1-x86_64 downloading...
- libxmu-1.2.1-1-x86_64 downloading...
- libxpm-3.5.17-2-x86_64 downloading...
- zziplib-0.13.80-1-x86_64 downloading...
- libsynctex-2025.2-3-x86_64 downloading...
- libpaper-2.2.7-1-x86_64 downloading...
- libsm-1.2.6-1-x86_64 downloading...
- ffcall-2.5-1-x86_64 downloading...
- libxrender-0.9.12-1-x86_64 downloading...
- libsigsegv-2.15-1-x86_64 downloading...
- checking keyring...
- checking package integrity...
- loading package files...
- checking for file conflicts...
- :: Processing package changes...
- installing oniguruma...
- installing jq...
- installing mpdecimal...
- installing python...
- Optional dependencies for python
- python-setuptools: for building Python packages using tooling that is usually bundled with Python
- python-pip: for installing Python packages using tooling that is usually bundled with Python
- python-pipx: for installing Python software not packaged on Arch Linux
- sqlite: for a default database integration [installed]
- xz: for lzma [installed]
- tk: for tkinter
- installing libpng...
- installing freetype2...
- Optional dependencies for freetype2
- harfbuzz: Improved autohinting [pending]
- installing fontconfig...
- Creating fontconfig configuration...
- Rebuilding fontconfig cache...
- installing libxext...
- installing libxrender...
- installing lzo...
- installing pixman...
- installing cairo...
- installing ffcall...
- installing libice...
- installing libsm...
- installing libxt...
- installing libxpm...
- installing libwebp...
- Optional dependencies for libwebp
- libwebp-utils: WebP conversion and inspection tools
- installing aom...
- installing dav1d...
- Optional dependencies for dav1d
- dav1d-doc: HTML documentation
- installing libjpeg-turbo...
- Optional dependencies for libjpeg-turbo
- java-runtime>11: for TurboJPEG Java wrapper
- installing libyuv...
- installing rav1e...
- installing svt-av1...
- installing libavif...
- installing libde265...
- Optional dependencies for libde265
- ffmpeg: for sherlock265
- qt5-base: for sherlock265
- sdl: dec265 YUV overlay output
- installing openh264...
- installing l-smash...
- installing x264...
- installing x265...
- installing libheif...
- Optional dependencies for libheif
- libjpeg-turbo: for heif-dec and heif-enc [installed]
- libpng: for heif-dec and heif-enc [installed]
- libtiff: for heif-dec and hei-enc
- dav1d: dav1d encoder [installed]
- ffmpeg: hardware decode
- openjpeg2: JPEG2000 decoder
- rav1e: rav1e encoder [installed]
- svt-av1: svt-av1 encoder [installed]
- installing gd...
- Optional dependencies for gd
- perl: bdftogd script [installed]
- installing graphite...
- Optional dependencies for graphite
- graphite-docs: Documentation
- installing harfbuzz...
- Optional dependencies for harfbuzz
- harfbuzz-utils: utilities
- installing libpaper...
- installing libsigsegv...
- installing libsynctex...
- installing libxmu...
- installing libxaw...
- installing potrace...
- installing zziplib...
- installing texlive-bin...
- Optional dependencies for texlive-bin
- psutils: to manipulate the output of dvips
- installing texlive-basic...
- Optional dependencies for texlive-basic
- perl-tk: for the tlmgr GUI
- biber: for bibliography processing
- :: Running post-transaction hooks...
- (1/6) Arming ConditionNeedsUpdate...
- (2/6) Updating fontconfig configuration...
- (3/6) Updating TeXLive filename database...
- (4/6) Updating TeXLive format files...
- (5/6) Updating TeXLive font maps...
- (6/6) Updating fontconfig cache...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
⬇ retrieved conf-python-3.9.0.0 (https://opam.ocaml.org/cache)
∗ installed conf-jq.1
∗ installed conf-texlive.2
⊘ removed caisar.5.0
∗ installed conf-python-3.9.0.0
[ERROR] The compilation of caisar.5.0 failed at "dune build -p caisar -j 255 --promote-install-files=false @install @runtest".
#=== ERROR while compiling caisar.5.0 =========================================#
# context 2.5.0 | linux/x86_64 | ocaml-base-compiler.5.4.0 | pinned(https://git.frama-c.com/api/v4/projects/1082/packages/generic/caisar/5.0/caisar-5.0.tbz)
# path ~/.opam/5.4/.opam-switch/build/caisar.5.0
# command ~/.opam/opam-init/hooks/sandbox.sh build dune build -p caisar -j 255 --promote-install-files=false @install @runtest
# exit-code 1
# env-file ~/.opam/log/caisar-7-cb5846.env
# output-file ~/.opam/log/caisar-7-cb5846.out
### output ###
# File "tests/config-json.t", line 1, characters 0-0:
# /usr/sbin/git --no-pager diff --no-index --color=always -u _build/default/tests/config-json.t _build/default/tests/config-json.t.corrected
# diff --git a/_build/default/tests/config-json.t b/_build/default/tests/config-json.t.corrected
# index 62394a4..9f49d8a 100644
# --- a/_build/default/tests/config-json.t
# +++ b/_build/default/tests/config-json.t.corrected
# @@ -49,14 +49,6 @@ Test config-json
# "paltern": "",
# "pconf": "'$TESTCASE_ROOT/bin/z3' %f"
# },
# - {
# - "prover": [
# - "SAVer"
# - ],
# - "pversion": "v1.0",
# - "paltern": "",
# - "pconf": "'$TESTCASE_ROOT/bin/saver' %{svm} %{dataset} %{abstraction} %{perturbation} %{perturbation_param}"
# - },
# {
# "prover": [
# "PyRAT"
# File "tests/autodetect.t", line 1, characters 0-0:
# /usr/sbin/git --no-pager diff --no-index --color=always -u _build/default/tests/autodetect.t _build/default/tests/autodetect.t.corrected
# diff --git a/_build/default/tests/autodetect.t b/_build/default/tests/autodetect.t.corrected
# index 7930c27..8520973 100644
# --- a/_build/default/tests/autodetect.t
# +++ b/_build/default/tests/autodetect.t.corrected
# @@ -43,7 +43,6 @@ Test autodetect
# PyRAT 1.1 (VNNLIB)
# PyRAT 1.1 (arithmetic)
# PyRAT 1.1 (confidence)
# - SAVer v1.0
# Z3 4.8.12
# alpha-beta-CROWN dummy-version
# alpha-beta-CROWN dummy-version (ACAS)
# File "tests/interpretation_fail.t", line 1, characters 0-0:
# /usr/sbin/git --no-pager diff --no-index --color=always -u _build/default/tests/interpretation_fail.t _build/default/tests/interpretation_fail.t.corrected
# diff --git a/_build/default/tests/interpretation_fail.t b/_build/default/tests/interpretation_fail.t.corrected
# index c50ab1e..755d4de 100644
# --- a/_build/default/tests/interpretation_fail.t
# +++ b/_build/default/tests/interpretation_fail.t.corrected
# @@ -159,5 +159,4 @@ which expects input vectors of length 3
# > EOF
#
# $ caisar verify --ltag InterpretGoal --prover SAVer file.mlw
# - [ERROR] File "file.mlw", line 7, characters 14-24:
# - unbound function or predicate symbol 'read_model'
# + [ERROR] No prover corresponds to SAVer
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
┌─ The following actions failed
│ λ build caisar 5.0
└─
┌─ The following changes have been performed
│ ⊘ remove caisar 5.0
│ ∗ install conf-jq 1
│ ∗ install conf-python-3 9.0.0
│ ∗ install conf-texlive 2
└─
# To update the current shell environment, run: eval $(opam env)
The former state can be restored with:
/usr/bin/opam switch import "/home/opam/.opam/5.4/.opam-switch/backup/state-20260123152348.export"
Or you can retry to install your package selection with:
/usr/bin/opam install --restore
2026-01-23 15:24.07 ---> saved as "7307790ed25ec4700cad8151db6ffec9dcef4097c72ad38109f664d12eed0b32"
/home/opam: (run (shell "opam reinstall --with-test --verbose caisar.5.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 \"\\\"archlinux\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'caisar.5.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
caisar.5.0 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 1 package
∗ caisar 5.0 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 2/3: [caisar: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "caisar" "-j" "255" "--promote-install-files=false" "@install" "@runtest" (CWD=/home/opam/.opam/5.4/.opam-switch/build/caisar.5.0)
- File "tests/config-json.t", line 1, characters 0-0:
- /usr/sbin/git --no-pager diff --no-index --color=always -u _build/default/tests/config-json.t _build/default/tests/config-json.t.corrected
- diff --git a/_build/default/tests/config-json.t b/_build/default/tests/config-json.t.corrected
- index 62394a4..9f49d8a 100644
- --- a/_build/default/tests/config-json.t
- +++ b/_build/default/tests/config-json.t.corrected
- @@ -49,14 +49,6 @@ Test config-json
- "paltern": "",
- "pconf": "'$TESTCASE_ROOT/bin/z3' %f"
- },
- - {
- - "prover": [
- - "SAVer"
- - ],
- - "pversion": "v1.0",
- - "paltern": "",
- - "pconf": "'$TESTCASE_ROOT/bin/saver' %{svm} %{dataset} %{abstraction} %{perturbation} %{perturbation_param}"
- - },
- {
- "prover": [
- "PyRAT"
- File "tests/autodetect.t", line 1, characters 0-0:
- /usr/sbin/git --no-pager diff --no-index --color=always -u _build/default/tests/autodetect.t _build/default/tests/autodetect.t.corrected
- diff --git a/_build/default/tests/autodetect.t b/_build/default/tests/autodetect.t.corrected
- index 7930c27..8520973 100644
- --- a/_build/default/tests/autodetect.t
- +++ b/_build/default/tests/autodetect.t.corrected
- @@ -43,7 +43,6 @@ Test autodetect
- PyRAT 1.1 (VNNLIB)
- PyRAT 1.1 (arithmetic)
- PyRAT 1.1 (confidence)
- - SAVer v1.0
- Z3 4.8.12
- alpha-beta-CROWN dummy-version
- alpha-beta-CROWN dummy-version (ACAS)
- File "tests/interpretation_fail.t", line 1, characters 0-0:
- /usr/sbin/git --no-pager diff --no-index --color=always -u _build/default/tests/interpretation_fail.t _build/default/tests/interpretation_fail.t.corrected
- diff --git a/_build/default/tests/interpretation_fail.t b/_build/default/tests/interpretation_fail.t.corrected
- index c50ab1e..755d4de 100644
- --- a/_build/default/tests/interpretation_fail.t
- +++ b/_build/default/tests/interpretation_fail.t.corrected
- @@ -159,5 +159,4 @@ which expects input vectors of length 3
- > EOF
-
- $ caisar verify --ltag InterpretGoal --prover SAVer file.mlw
- - [ERROR] File "file.mlw", line 7, characters 14-24:
- - unbound function or predicate symbol 'read_model'
- + [ERROR] No prover corresponds to SAVer
[ERROR] The compilation of caisar.5.0 failed at "dune build -p caisar -j 255 --promote-install-files=false @install @runtest".
#=== ERROR while compiling caisar.5.0 =========================================#
# context 2.5.0 | linux/x86_64 | ocaml-base-compiler.5.4.0 | pinned(https://git.frama-c.com/api/v4/projects/1082/packages/generic/caisar/5.0/caisar-5.0.tbz)
# path ~/.opam/5.4/.opam-switch/build/caisar.5.0
# command ~/.opam/opam-init/hooks/sandbox.sh build dune build -p caisar -j 255 --promote-install-files=false @install @runtest
# exit-code 1
# env-file ~/.opam/log/caisar-8-230de0.env
# output-file ~/.opam/log/caisar-8-230de0.out
### output ###
# File "tests/config-json.t", line 1, characters 0-0:
# /usr/sbin/git --no-pager diff --no-index --color=always -u _build/default/tests/config-json.t _build/default/tests/config-json.t.corrected
# diff --git a/_build/default/tests/config-json.t b/_build/default/tests/config-json.t.corrected
# index 62394a4..9f49d8a 100644
# --- a/_build/default/tests/config-json.t
# +++ b/_build/default/tests/config-json.t.corrected
# @@ -49,14 +49,6 @@ Test config-json
# "paltern": "",
# "pconf": "'$TESTCASE_ROOT/bin/z3' %f"
# },
# - {
# - "prover": [
# - "SAVer"
# - ],
# - "pversion": "v1.0",
# - "paltern": "",
# - "pconf": "'$TESTCASE_ROOT/bin/saver' %{svm} %{dataset} %{abstraction} %{perturbation} %{perturbation_param}"
# - },
# {
# "prover": [
# "PyRAT"
# File "tests/autodetect.t", line 1, characters 0-0:
# /usr/sbin/git --no-pager diff --no-index --color=always -u _build/default/tests/autodetect.t _build/default/tests/autodetect.t.corrected
# diff --git a/_build/default/tests/autodetect.t b/_build/default/tests/autodetect.t.corrected
# index 7930c27..8520973 100644
# --- a/_build/default/tests/autodetect.t
# +++ b/_build/default/tests/autodetect.t.corrected
# @@ -43,7 +43,6 @@ Test autodetect
# PyRAT 1.1 (VNNLIB)
# PyRAT 1.1 (arithmetic)
# PyRAT 1.1 (confidence)
# - SAVer v1.0
# Z3 4.8.12
# alpha-beta-CROWN dummy-version
# alpha-beta-CROWN dummy-version (ACAS)
# File "tests/interpretation_fail.t", line 1, characters 0-0:
# /usr/sbin/git --no-pager diff --no-index --color=always -u _build/default/tests/interpretation_fail.t _build/default/tests/interpretation_fail.t.corrected
# diff --git a/_build/default/tests/interpretation_fail.t b/_build/default/tests/interpretation_fail.t.corrected
# index c50ab1e..755d4de 100644
# --- a/_build/default/tests/interpretation_fail.t
# +++ b/_build/default/tests/interpretation_fail.t.corrected
# @@ -159,5 +159,4 @@ which expects input vectors of length 3
# > EOF
#
# $ caisar verify --ltag InterpretGoal --prover SAVer file.mlw
# - [ERROR] File "file.mlw", line 7, characters 14-24:
# - unbound function or predicate symbol 'read_model'
# + [ERROR] No prover corresponds to SAVer
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
┌─ The following actions failed
│ λ build caisar 5.0
└─
╶─ No changes have been performed
# To update the current shell environment, run: eval $(opam env)
'opam reinstall --with-test --verbose caisar.5.0' failed.
[WARNING] OPAMCONFIRMLEVEL was ignored because CLI 2.0 was requested and it was introduced in 2.1.
[WARNING] OPAMCONFIRMLEVEL was ignored because CLI 2.0 was requested and it was introduced in 2.1.
"/usr/bin/env" "bash" "-c" "opam reinstall --with-test --verbose caisar.5.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 "\"archlinux\""; then
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.";
fi;
test "$pkg" != 'caisar.5.0' && partial_fails="$partial_fails $pkg";
done;
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}";
exit 1" failed with exit status 1
2026-01-23 15:24.22: Job failed: Failed: Build failed
2026-01-23 15:24.22: Log analysis:
2026-01-23 15:24.22: >>>
[ERROR] The compilation of caisar.5.0 failed at "dune build -p caisar -j 255 --promote-install-files=false @install @runtest".
(score = 20)
2026-01-23 15:24.22: >>>
[ERROR] The compilation of caisar.5.0 failed at "dune build -p caisar -j 255 --promote-install-files=false @install @runtest".
(score = 20)
2026-01-23 15:24.22: The compilation of caisar.5.0 failed at "dune build -p caisar -j 255 --promote-install-files=false @install @runtest".