(for PR #29110)
2026-01-31 15:31.28: New job: build conf-llvm-shared.20, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29110/head (e3b282a9c0eb1ef824245e3ffb935dc8fcc9b1ea)
on debian-13-ocaml-4.14/arm32v7
To reproduce locally:
cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/29110/head" && git reset --hard e3b282a9
git fetch origin master
git merge --no-edit 277244107784e7f5e6b57eaae2e769caae2a4906
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.14@sha256:4972d16f75b218fb6c0dccce1fb983ec268c331e1f8d076c972572a6df8f04ef
SHELL [ "/usr/bin/linux32", "/bin/sh", "-c" ]
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 conf-llvm-shared.20 20
RUN opam reinstall conf-llvm-shared.20; \
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" != 'conf-llvm-shared.20' && 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-31 15:31.28: Using cache hint "ocaml/opam:debian-13-ocaml-4.14@sha256:4972d16f75b218fb6c0dccce1fb983ec268c331e1f8d076c972572a6df8f04ef-conf-llvm-shared.20-e3b282a9c0eb1ef824245e3ffb935dc8fcc9b1ea"
2026-01-31 15:31.28: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:4972d16f75b218fb6c0dccce1fb983ec268c331e1f8d076c972572a6df8f04ef)
(shell /usr/bin/linux32 /bin/sh -c)
(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 conf-llvm-shared.20 20"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall conf-llvm-shared.20;\
\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\" != 'conf-llvm-shared.20' && 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-31 15:31.28: Waiting for resource in pool OCluster
2026-01-31 15:31.29: Waiting for worker…
2026-01-31 15:33.19: Got resource from pool OCluster
Building on kydoime.caelum.ci.dev
All commits already cached
HEAD is now at 2772441077 Merge pull request #29314 from jmid/more-fstar-ocaml-upper-bounds
Merge made by the 'ort' strategy.
packages/conf-llvm-shared/conf-llvm-shared.20/opam | 38 +++++++++++
packages/conf-llvm-shared/conf-llvm-shared.21/opam | 38 +++++++++++
packages/conf-llvm-static/conf-llvm-static.20/opam | 38 +++++++++++
packages/conf-llvm-static/conf-llvm-static.21/opam | 38 +++++++++++
packages/llvm/llvm.20-shared/opam | 77 ++++++++++++++++++++++
packages/llvm/llvm.20-static/opam | 76 +++++++++++++++++++++
packages/llvm/llvm.21-shared/opam | 77 ++++++++++++++++++++++
packages/llvm/llvm.21-static/opam | 76 +++++++++++++++++++++
8 files changed, 458 insertions(+)
create mode 100644 packages/conf-llvm-shared/conf-llvm-shared.20/opam
create mode 100644 packages/conf-llvm-shared/conf-llvm-shared.21/opam
create mode 100644 packages/conf-llvm-static/conf-llvm-static.20/opam
create mode 100644 packages/conf-llvm-static/conf-llvm-static.21/opam
create mode 100644 packages/llvm/llvm.20-shared/opam
create mode 100644 packages/llvm/llvm.20-static/opam
create mode 100644 packages/llvm/llvm.21-shared/opam
create mode 100644 packages/llvm/llvm.21-static/opam
(from ocaml/opam:debian-13-ocaml-4.14@sha256:4972d16f75b218fb6c0dccce1fb983ec268c331e1f8d076c972572a6df8f04ef)
Unable to find image 'ocaml/opam:debian-13-ocaml-4.14@sha256:4972d16f75b218fb6c0dccce1fb983ec268c331e1f8d076c972572a6df8f04ef' locally
docker.io/ocaml/opam@sha256:4972d16f75b218fb6c0dccce1fb983ec268c331e1f8d076c972572a6df8f04ef: Pulling from ocaml/opam
0f4296a8ece8: Already exists
b015b0cc771b: Pulling fs layer
807412616e37: Pulling fs layer
42a98dfd6221: Pulling fs layer
faf91bd49473: Pulling fs layer
9268cfabcb53: Pulling fs layer
36b5b9e4eb45: Pulling fs layer
05978666cb02: Pulling fs layer
d2e7964c2a01: Pulling fs layer
8f70ed01d200: Pulling fs layer
872fabb8321e: Pulling fs layer
ea449f7fe2b0: Pulling fs layer
8f8cf3d3f537: Pulling fs layer
faf91bd49473: Waiting
d652988a7d6e: Pulling fs layer
9268cfabcb53: Waiting
3deb1bf6c1f2: Pulling fs layer
36b5b9e4eb45: Waiting
3fb92224715e: Pulling fs layer
45b39b14cbf3: Pulling fs layer
ea449f7fe2b0: Waiting
a02c853d7123: Pulling fs layer
05978666cb02: Waiting
24bac032b752: Pulling fs layer
8f8cf3d3f537: Waiting
b4037a654ca3: Pulling fs layer
d652988a7d6e: Waiting
d2e7964c2a01: Waiting
992e33be561a: Pulling fs layer
8f70ed01d200: Waiting
872fabb8321e: Waiting
4f4fb700ef54: Pulling fs layer
9efac29be13c: Pulling fs layer
3deb1bf6c1f2: Waiting
3a096e895a72: Pulling fs layer
a02c853d7123: Waiting
3fb92224715e: Waiting
bc656251f660: Pulling fs layer
24bac032b752: Waiting
45b39b14cbf3: Waiting
aab204975658: Pulling fs layer
de8d7e98e54d: Pulling fs layer
b4037a654ca3: Waiting
23f49a36c855: Pulling fs layer
4f4fb700ef54: Waiting
9efac29be13c: Waiting
91871d1de254: Pulling fs layer
992e33be561a: Waiting
bc656251f660: Waiting
3a096e895a72: Waiting
e4d302f76eba: Pulling fs layer
33f176a2be4e: Pulling fs layer
aab204975658: Waiting
6144bc37bf4e: Pulling fs layer
1f91279836ca: Pulling fs layer
e4d302f76eba: Waiting
de8d7e98e54d: Waiting
91871d1de254: Waiting
2af2e12e4c07: Pulling fs layer
606c4b65ceb1: Pulling fs layer
6144bc37bf4e: Waiting
33f176a2be4e: Waiting
3f79c9b57614: Pulling fs layer
23f49a36c855: Waiting
1f91279836ca: Waiting
2af2e12e4c07: Waiting
606c4b65ceb1: Waiting
8c8b1d572776: Pulling fs layer
3f79c9b57614: Waiting
762aa80865dc: Pulling fs layer
df6b6dba4650: Pulling fs layer
8c8b1d572776: Waiting
e6c62080d9c4: Pulling fs layer
762aa80865dc: Waiting
466643f92db1: Pulling fs layer
df6b6dba4650: Waiting
a65b96711ed6: Pulling fs layer
e6c62080d9c4: Waiting
4daaa8185d4c: Pulling fs layer
466643f92db1: Waiting
a65b96711ed6: Waiting
03c2d1579993: Pulling fs layer
4daaa8185d4c: Waiting
03c2d1579993: Waiting
807412616e37: Verifying Checksum
807412616e37: Download complete
b015b0cc771b: Verifying Checksum
b015b0cc771b: Pull complete
807412616e37: Pull complete
42a98dfd6221: Verifying Checksum
42a98dfd6221: Download complete
faf91bd49473: Verifying Checksum
faf91bd49473: Download complete
42a98dfd6221: Pull complete
faf91bd49473: Pull complete
05978666cb02: Download complete
36b5b9e4eb45: Verifying Checksum
36b5b9e4eb45: Download complete
d2e7964c2a01: Verifying Checksum
d2e7964c2a01: Download complete
8f70ed01d200: Verifying Checksum
8f70ed01d200: Download complete
9268cfabcb53: Verifying Checksum
9268cfabcb53: Download complete
872fabb8321e: Verifying Checksum
872fabb8321e: Download complete
ea449f7fe2b0: Verifying Checksum
ea449f7fe2b0: Download complete
8f8cf3d3f537: Verifying Checksum
8f8cf3d3f537: Download complete
d652988a7d6e: Verifying Checksum
d652988a7d6e: Download complete
3deb1bf6c1f2: Verifying Checksum
3deb1bf6c1f2: Download complete
3fb92224715e: Verifying Checksum
3fb92224715e: Download complete
45b39b14cbf3: Download complete
a02c853d7123: Verifying Checksum
a02c853d7123: Download complete
b4037a654ca3: Verifying Checksum
b4037a654ca3: Download complete
992e33be561a: Verifying Checksum
992e33be561a: Download complete
24bac032b752: Verifying Checksum
24bac032b752: Download complete
4f4fb700ef54: Verifying Checksum
4f4fb700ef54: Download complete
3a096e895a72: Verifying Checksum
3a096e895a72: Download complete
9efac29be13c: Verifying Checksum
9efac29be13c: Download complete
bc656251f660: Verifying Checksum
bc656251f660: Download complete
de8d7e98e54d: Download complete
aab204975658: Verifying Checksum
aab204975658: Download complete
23f49a36c855: Download complete
91871d1de254: Verifying Checksum
91871d1de254: Download complete
e4d302f76eba: Download complete
6144bc37bf4e: Verifying Checksum
6144bc37bf4e: Download complete
33f176a2be4e: Verifying Checksum
33f176a2be4e: Download complete
1f91279836ca: Download complete
2af2e12e4c07: Verifying Checksum
2af2e12e4c07: Download complete
3f79c9b57614: Verifying Checksum
3f79c9b57614: Download complete
762aa80865dc: Download complete
df6b6dba4650: Download complete
e6c62080d9c4: Download complete
9268cfabcb53: Pull complete
36b5b9e4eb45: Pull complete
05978666cb02: Pull complete
d2e7964c2a01: Pull complete
8f70ed01d200: Pull complete
872fabb8321e: Pull complete
ea449f7fe2b0: Pull complete
8f8cf3d3f537: Pull complete
d652988a7d6e: Pull complete
3deb1bf6c1f2: Pull complete
3fb92224715e: Pull complete
45b39b14cbf3: Pull complete
a02c853d7123: Pull complete
24bac032b752: Pull complete
b4037a654ca3: Pull complete
992e33be561a: Pull complete
4f4fb700ef54: Pull complete
9efac29be13c: Pull complete
3a096e895a72: Pull complete
bc656251f660: Pull complete
aab204975658: Pull complete
de8d7e98e54d: Pull complete
23f49a36c855: Pull complete
91871d1de254: Pull complete
e4d302f76eba: Pull complete
33f176a2be4e: Pull complete
6144bc37bf4e: Pull complete
1f91279836ca: Pull complete
2af2e12e4c07: Pull complete
606c4b65ceb1: Verifying Checksum
606c4b65ceb1: Download complete
a65b96711ed6: Download complete
4daaa8185d4c: Download complete
03c2d1579993: Download complete
8c8b1d572776: Verifying Checksum
8c8b1d572776: Download complete
466643f92db1: Verifying Checksum
466643f92db1: Download complete
606c4b65ceb1: Pull complete
3f79c9b57614: Pull complete
8c8b1d572776: Pull complete
762aa80865dc: Pull complete
df6b6dba4650: Pull complete
e6c62080d9c4: Pull complete
466643f92db1: Pull complete
a65b96711ed6: Pull complete
4daaa8185d4c: Pull complete
03c2d1579993: Pull complete
Digest: sha256:4972d16f75b218fb6c0dccce1fb983ec268c331e1f8d076c972572a6df8f04ef
Status: Downloaded newer image for ocaml/opam@sha256:4972d16f75b218fb6c0dccce1fb983ec268c331e1f8d076c972572a6df8f04ef
2026-01-31 15:33.32 ---> using "dc3b47c5cc19c58d2151202ddf2ceff29f8257b9000090ac93e058e98b65fc3d" from cache
/: (shell /usr/bin/linux32 /bin/sh -c)
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2026-01-31 15:33.32 ---> using "441a743d220569f08b5269af8eab0a34cee64ff993f2bd6ed7c8a2068a4d88b1" 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
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2026-01-31 15:33.32 ---> using "7e59a23593d84615ad41b14fe2cafd91c0daf1a198c563a6a82355b4a6c39f84" 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=arm32 os=linux os-distribution=debian os-version=13
# solver builtin-0install
# install-criteria -changed,-count[avoid-version,solution]
# upgrade-criteria -count[avoid-version,solution]
# jobs 79
# repositories 1 (version-controlled)
# pinned 1 (version)
# current-switch 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-31 15:33.32 ---> using "e751bd17f6813509ed46be2985f9c656dc6848b365b1c476c494a640eb8ab7fa" 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-31 15:33.32 ---> using "f027a9ca9fc4c95d9f565c3d9b031a1a5bb527a0e4ba45d73c59bc91621966d0" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2026-01-31 15:33.33 ---> using "4291ed84a85ef857c8c7579c647ef6c572f2e6fa3896c92c9363b934a65a0617" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-01-31 15:33.59 ---> saved as "f72d144bd9d281d1a1fce70f5384d16c32033b57854a9f1f577b578df0ec73f5"
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian trixie InRelease
- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
- Get:4 http://deb.debian.org/debian-security trixie-security/main armhf Packages [92.8 kB]
- Fetched 184 kB in 0s (1278 kB/s)
- Reading package lists...
2026-01-31 15:34.00 ---> saved as "7a73b5e4eac5e5242716f13bafcbec463706eb5b5b2e6ec4c9201d5568c44045"
/home/opam: (run (shell "opam pin add -k version -yn conf-llvm-shared.20 20"))
conf-llvm-shared is now pinned to version 20
2026-01-31 15:34.00 ---> saved as "049d09deb46ead825310b1c3cd661150fb72e07aad99567d64765c8ed123cd07"
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall conf-llvm-shared.20;\
\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\" != 'conf-llvm-shared.20' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
[ERROR] Package conf-llvm-shared.20 depends on the unavailable system package 'llvm-20-dev'. You can use `--no-depexts' to attempt installation anyway.
"/usr/bin/linux32" "/bin/sh" "-c" "opam reinstall conf-llvm-shared.20;
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" != 'conf-llvm-shared.20' && partial_fails="$partial_fails $pkg";
done;
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}";
exit 1" failed with exit status 5
2026-01-31 15:34.07: Job failed: Failed: Build failed
2026-01-31 15:34.07: Log analysis:
2026-01-31 15:34.07: >>>
[ERROR] Package conf-llvm-shared.20 depends on the unavailable system package 'llvm-20-dev'. You can use `--no-depexts' to attempt installation anyway.
(score = 100)
2026-01-31 15:34.07: [SKIP] Package not available