- github
- ocaml
- opam-repository
- 73b2f0
- distributions,centos-9-ocaml-4.14,bitwuzla-cxx.0.2.0
(not at the head of any monitored branch or PR)
2026-01-07 18:57.49: New job: build bitwuzla-cxx.0.2.0, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29196/head (73b2f0da1939c4b0c87bfac1421800561d35c434)
on centos-9-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/29196/head" && git reset --hard 73b2f0da
git fetch origin master
git merge --no-edit 2dee2fe30df966714e056f8af164fe0ed7648a63
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:centos-9-ocaml-4.14@sha256:1c29115484c63797becc57d3330033bc202b087c71434b5bcdf56818ff896aab
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 bitwuzla-cxx.0.2.0 0.2.0
RUN opam reinstall bitwuzla-cxx.0.2.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 "\"centos-9\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'bitwuzla-cxx.0.2.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-07 18:57.49: Using cache hint "ocaml/opam:centos-9-ocaml-4.14@sha256:1c29115484c63797becc57d3330033bc202b087c71434b5bcdf56818ff896aab-bitwuzla-cxx.0.2.0-73b2f0da1939c4b0c87bfac1421800561d35c434"
2026-01-07 18:57.49: Using OBuilder spec:
((from ocaml/opam:centos-9-ocaml-4.14@sha256:1c29115484c63797becc57d3330033bc202b087c71434b5bcdf56818ff896aab)
(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 bitwuzla-cxx.0.2.0 0.2.0"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall bitwuzla-cxx.0.2.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 \"\\\"centos-9\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'bitwuzla-cxx.0.2.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-07 18:57.49: Connecting to build cluster…
2026-01-07 18:57.49: Waiting for resource in pool OCluster
2026-01-07 18:57.49: Waiting for worker…
2026-01-07 19:00.04: Got resource from pool OCluster
Building on clete
All commits already cached
Updating files: 59% (11429/19147)
Updating files: 60% (11489/19147)
Updating files: 61% (11680/19147)
Updating files: 62% (11872/19147)
Updating files: 63% (12063/19147)
Updating files: 64% (12255/19147)
Updating files: 65% (12446/19147)
Updating files: 66% (12638/19147)
Updating files: 67% (12829/19147)
Updating files: 68% (13020/19147)
Updating files: 69% (13212/19147)
Updating files: 70% (13403/19147)
Updating files: 71% (13595/19147)
Updating files: 72% (13786/19147)
Updating files: 73% (13978/19147)
Updating files: 74% (14169/19147)
Updating files: 75% (14361/19147)
Updating files: 76% (14552/19147)
Updating files: 77% (14744/19147)
Updating files: 78% (14935/19147)
Updating files: 79% (15127/19147)
Updating files: 80% (15318/19147)
Updating files: 81% (15510/19147)
Updating files: 82% (15701/19147)
Updating files: 83% (15893/19147)
Updating files: 84% (16084/19147)
Updating files: 85% (16275/19147)
Updating files: 86% (16467/19147)
Updating files: 87% (16658/19147)
Updating files: 88% (16850/19147)
Updating files: 89% (17041/19147)
Updating files: 90% (17233/19147)
Updating files: 91% (17424/19147)
Updating files: 92% (17616/19147)
Updating files: 93% (17807/19147)
Updating files: 94% (17999/19147)
Updating files: 95% (18190/19147)
Updating files: 96% (18382/19147)
Updating files: 97% (18573/19147)
Updating files: 98% (18765/19147)
Updating files: 99% (18956/19147)
Updating files: 100% (19147/19147)
Updating files: 100% (19147/19147), done.
HEAD is now at 2dee2fe30d Merge pull request #29195 from raphael-proust/lwt-fix-ocamlfind-dep-constraint
Updating 2dee2fe30d..73b2f0da19
Fast-forward
packages/bitwuzla-cxx/bitwuzla-cxx.0.2.0/opam | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
(from ocaml/opam:centos-9-ocaml-4.14@sha256:1c29115484c63797becc57d3330033bc202b087c71434b5bcdf56818ff896aab)
Unable to find image 'ocaml/opam:centos-9-ocaml-4.14@sha256:1c29115484c63797becc57d3330033bc202b087c71434b5bcdf56818ff896aab' locally
docker.io/ocaml/opam@sha256:1c29115484c63797becc57d3330033bc202b087c71434b5bcdf56818ff896aab: Pulling from ocaml/opam
f8cd8c42bb80: Already exists
4406ad3e4671: Already exists
de1b2eca53d9: Already exists
3019970c9e35: Already exists
0585246d0208: Already exists
776871c156fb: Already exists
c491c33ebdd7: Already exists
9f1d91217d89: Already exists
c68daeb37b4f: Already exists
73e73c4646bb: Already exists
7d0921d94760: Already exists
3b673256a3bd: Already exists
1d4c36386ab8: Already exists
61522f6f129c: Already exists
dff08515948a: Already exists
d7a30fc6be5d: Already exists
a4a589ab8d8e: Already exists
54bf0f79422a: Already exists
54bf0f79422a: Already exists
97ef2d643bc0: Already exists
832b06498321: Already exists
e06707d4d433: Already exists
0569f0ac09a2: Already exists
4f4fb700ef54: Already exists
48c24de060c2: Already exists
4ae1f3f7e882: Already exists
8894e19a6c94: Already exists
1c2af5b20f17: Already exists
83c714fc3235: Already exists
cf35b0790705: Already exists
b1d366db5ba1: Already exists
ca31f6fbefb1: Already exists
13f593c36710: Already exists
98fdce8f1e41: Already exists
90d275a8dc4c: Already exists
0210dcb28eef: Already exists
20b7a369976a: Already exists
0d95704625bb: Already exists
f046a89b3b53: Already exists
ef9d59f5fac9: Already exists
c7a1f6dc9537: Already exists
4f296360fbe3: Already exists
04b50da93176: Already exists
5e89d23b4c2e: Already exists
40ecb6aabc3b: Already exists
43d729f12b1a: Already exists
Digest: sha256:1c29115484c63797becc57d3330033bc202b087c71434b5bcdf56818ff896aab
Status: Downloaded newer image for ocaml/opam@sha256:1c29115484c63797becc57d3330033bc202b087c71434b5bcdf56818ff896aab
2026-01-07 19:00.50 ---> saved as "9135191a8edea0c848bb933dd271b5b63d4a8cb4f168c601d8e6e4e8279b7db6"
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2026-01-07 19:00.50 ---> saved as "67e0e30ace211eda5b8800007fd46b7480670e463db5d4bfe8f6537858c5ad28"
/home/opam: (run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
This version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.
Continue? [Y/n] y
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2026-01-07 19:01.25 ---> saved as "18e9518a142f145e2eab0f800040af8af887328291eb7a7ff8dbbfa77e56dcc6"
/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=centos os-version=9
# solver builtin-0install
# install-criteria -changed,-count[avoid-version,solution]
# upgrade-criteria -count[avoid-version,solution]
# jobs 71
# 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-01-07 19:01.28 ---> saved as "01b15b474e582004253d04597363a6c97c05500a45e2b030f3f47452a320ff32"
/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-07 19:01.44 ---> saved as "8973d49035857c69a84e545f529c61f8977e0c687bedac4e9709588a0cf96d7b"
/home/opam: (copy (src .) (dst opam-repository/))
2026-01-07 19:02.08 ---> saved as "d46dee055f69a8553f874e7dcb028d434a016e5474cd9bfd9f67473c321f185c"
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-01-07 19:02.38 ---> saved as "995cf33e71ddaedfea00c2ff929582cc8e4d7b856d8e7c231961541ef78215c7"
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "yum" "makecache"
- CentOS Stream 9 - BaseOS 54 kB/s | 14 kB 00:00
- CentOS Stream 9 - BaseOS 9.7 MB/s | 8.8 MB 00:00
- CentOS Stream 9 - AppStream 91 kB/s | 15 kB 00:00
- CentOS Stream 9 - AppStream 10 MB/s | 26 MB 00:02
- CentOS Stream 9 - CRB 93 kB/s | 14 kB 00:00
- CentOS Stream 9 - CRB 8.6 MB/s | 7.4 MB 00:00
- CentOS Stream 9 - Extras packages 113 kB/s | 17 kB 00:00
- Metadata cache created.
2026-01-07 19:03.08 ---> saved as "121762963297366c00cb66ba60b5dd993dfe9f620c2da922698645f193369133"
/home/opam: (run (shell "opam pin add -k version -yn bitwuzla-cxx.0.2.0 0.2.0"))
bitwuzla-cxx is now pinned to version 0.2.0
2026-01-07 19:03.09 ---> saved as "c2d3f1b46225df7f7d1152c7cf9ba798394167fc89aae36b1cdff1170ecafca7"
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall bitwuzla-cxx.0.2.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 \"\\\"centos-9\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'bitwuzla-cxx.0.2.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
bitwuzla-cxx.0.2.0 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 9 packages
- install bitwuzla-cxx 0.2.0 (pinned)
- install conf-g++ 1.0 [required by bitwuzla-cxx]
- install conf-gcc 1.0 [required by bitwuzla-cxx]
- install conf-git 1.1 [required by bitwuzla-cxx]
- install conf-gmp 5 [required by zarith]
- install conf-pkg-config 4 [required by zarith]
- install dune 3.20.2 [required by bitwuzla-cxx]
- install ocamlfind 1.9.8 [required by zarith]
- install zarith 1.14 [required by bitwuzla-cxx]
The following system packages will first need to be installed:
gmp-devel
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
opam believes some required external dependencies are missing. opam can:
> 1. Run yum to install them (may need root/sudo access)
2. Display the recommended yum 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 "yum" "install" "-y" "gmp-devel"
- Last metadata expiration check: 0:00:08 ago on Wed Jan 7 19:03:06 2026.
- Dependencies resolved.
- ================================================================================
- Package Architecture Version Repository Size
- ================================================================================
- Installing:
- gmp-devel x86_64 1:6.2.0-13.el9 appstream 174 k
- Installing dependencies:
- gmp-c++ x86_64 1:6.2.0-13.el9 appstream 19 k
-
- Transaction Summary
- ================================================================================
- Install 2 Packages
-
- Total download size: 193 k
- Installed size: 382 k
- Downloading Packages:
- (1/2): gmp-c++-6.2.0-13.el9.x86_64.rpm 188 kB/s | 19 kB 00:00
- (2/2): gmp-devel-6.2.0-13.el9.x86_64.rpm 1.5 MB/s | 174 kB 00:00
- --------------------------------------------------------------------------------
- Total 703 kB/s | 193 kB 00:00
- Running transaction check
- Transaction check succeeded.
- Running transaction test
- Transaction test succeeded.
- Running transaction
- Preparing : 1/1
- Installing : gmp-c++-1:6.2.0-13.el9.x86_64 1/2
- Installing : gmp-devel-1:6.2.0-13.el9.x86_64 2/2
-
- Running scriptlet: gmp-devel-1:6.2.0-13.el9.x86_64 2/2
- Verifying : gmp-c++-1:6.2.0-13.el9.x86_64 1/2
- Verifying : gmp-devel-1:6.2.0-13.el9.x86_64 2/2
-
- Installed:
- gmp-c++-1:6.2.0-13.el9.x86_64 gmp-devel-1:6.2.0-13.el9.x86_64
-
- Complete!
+ /usr/bin/rpm "-q" "--whatprovides" "gmp-devel"
- gmp-devel-6.2.0-13.el9.x86_64
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved bitwuzla-cxx.0.2.0 (cached)
-> retrieved conf-gmp.5 (cached)
-> installed conf-g++.1.0
-> installed conf-gcc.1.0
-> installed conf-git.1.1
-> installed conf-gmp.5
-> installed conf-pkg-config.4
-> retrieved dune.3.20.2 (cached)
-> retrieved ocamlfind.1.9.8 (cached)
-> retrieved zarith.1.14 (cached)
-> installed ocamlfind.1.9.8
-> installed zarith.1.14
-> installed dune.3.20.2
-> installed bitwuzla-cxx.0.2.0
Done.
# To update the current shell environment, run: eval $(opam env)
2026-01-07 19:04.41 ---> saved as "ce3a88defe05b1a815410ab437718ab211c471924ceef32ce72519b219474b26"
Job succeeded
2026-01-07 19:04.54: Job succeeded