(for PR #28931)
2025-11-23 10:30.18: New job: build lmdb.1.0, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/28931/head (8f00c13a54683097cc781d46df0c18b7f635d303)
on debian-13-ocaml-4.10/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/28931/head" && git reset --hard 8f00c13a
git fetch origin master
git merge --no-edit 90ae18973efb465b99913d4664b7d87c21628a19
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.10@sha256:84bfdf8b22cc19259179f831fab442c1caad77b79aab503d5997e97e4c23c97c
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 lmdb.1.0 1.0
RUN opam reinstall lmdb.1.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" != 'lmdb.1.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 .
2025-11-23 10:30.18: Using cache hint "ocaml/opam:debian-13-ocaml-4.10@sha256:84bfdf8b22cc19259179f831fab442c1caad77b79aab503d5997e97e4c23c97c-lmdb.1.0-8f00c13a54683097cc781d46df0c18b7f635d303"
2025-11-23 10:30.18: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.10@sha256:84bfdf8b22cc19259179f831fab442c1caad77b79aab503d5997e97e4c23c97c)
(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 lmdb.1.0 1.0"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall lmdb.1.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\" != 'lmdb.1.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2025-11-23 10:30.18: Waiting for resource in pool OCluster
2025-11-23 10:30.18: Waiting for worker…
2025-11-23 10:30.18: Got resource from pool OCluster
Building on asteria.caelum.ci.dev
HEAD is now at 84aedff411 Merge commit '0622fc3ae48ec72ff24c95ac5dacc16cf90987ef'
HEAD is now at 90ae18973e Merge pull request #28929 from sim642/release-goblint-cil-2.0.9
Merge made by the 'ort' strategy.
packages/lmdb/lmdb.1.0/opam | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
(from ocaml/opam:debian-13-ocaml-4.10@sha256:84bfdf8b22cc19259179f831fab442c1caad77b79aab503d5997e97e4c23c97c)
Unable to find image 'ocaml/opam:debian-13-ocaml-4.10@sha256:84bfdf8b22cc19259179f831fab442c1caad77b79aab503d5997e97e4c23c97c' locally
docker.io/ocaml/opam@sha256:84bfdf8b22cc19259179f831fab442c1caad77b79aab503d5997e97e4c23c97c: Pulling from ocaml/opam
13cc39f8244a: Pulling fs layer
9d7c1cac6af4: Pulling fs layer
979e6521bf84: Pulling fs layer
b129e961d700: Pulling fs layer
9288fc69cd29: Pulling fs layer
b232c90b1855: Pulling fs layer
658a78f60f44: Pulling fs layer
b3e6010fbc4c: Pulling fs layer
e75ac7b73fdb: Pulling fs layer
f1dbfc01d8b6: Pulling fs layer
42e8958c94a5: Pulling fs layer
1c77fd15fa4b: Pulling fs layer
f8ae0ec2765e: Pulling fs layer
87b5808a8709: Pulling fs layer
6551add7b2f4: Pulling fs layer
a050a941214a: Pulling fs layer
da6cadefa7ea: Pulling fs layer
0a3e89137cf8: Pulling fs layer
cc34154fc322: Pulling fs layer
eb7661180f3a: Pulling fs layer
faad806bf7c5: Pulling fs layer
4f4fb700ef54: Pulling fs layer
fe5692607199: Pulling fs layer
87b5808a8709: Waiting
1c77fd15fa4b: Waiting
caa548e7f855: Pulling fs layer
6551add7b2f4: Waiting
e75ac7b73fdb: Waiting
f8ae0ec2765e: Waiting
8ad66e641b14: Pulling fs layer
b9d5d27dc0b6: Pulling fs layer
f1dbfc01d8b6: Waiting
da6cadefa7ea: Waiting
42e8958c94a5: Waiting
788961b65661: Pulling fs layer
9ed95272e11f: Pulling fs layer
b232c90b1855: Waiting
82c1497059a3: Pulling fs layer
8abbeded2fb9: Pulling fs layer
b129e961d700: Waiting
0a3e89137cf8: Waiting
1276181ef5dc: Pulling fs layer
9288fc69cd29: Waiting
fe5692607199: Waiting
cc34154fc322: Waiting
eb7661180f3a: Waiting
0bd63c9342a5: Pulling fs layer
8ad66e641b14: Waiting
658a78f60f44: Waiting
caa548e7f855: Waiting
0294cf425d8c: Pulling fs layer
faad806bf7c5: Waiting
b9d5d27dc0b6: Waiting
def43d8fc04c: Pulling fs layer
788961b65661: Waiting
4f4fb700ef54: Waiting
c87ed18f9ca6: Pulling fs layer
b3e6010fbc4c: Waiting
056f995b50a2: Pulling fs layer
0294cf425d8c: Waiting
82c1497059a3: Waiting
0bd63c9342a5: Waiting
9ed95272e11f: Waiting
c9f03af6c585: Pulling fs layer
8abbeded2fb9: Waiting
4e0df0b17574: Pulling fs layer
c87ed18f9ca6: Waiting
1276181ef5dc: Waiting
056f995b50a2: Waiting
1fcd55c53252: Pulling fs layer
c9f03af6c585: Waiting
9fe15f147c9c: Pulling fs layer
1fcd55c53252: Waiting
ce4e8a3f071e: Pulling fs layer
84d5af1af338: Pulling fs layer
2dc2974b766b: Pulling fs layer
6fb68b70ea5d: Pulling fs layer
9fe15f147c9c: Waiting
2dc2974b766b: Waiting
ce4e8a3f071e: Waiting
84d5af1af338: Waiting
6fb68b70ea5d: Waiting
9d7c1cac6af4: Verifying Checksum
9d7c1cac6af4: Download complete
979e6521bf84: Verifying Checksum
979e6521bf84: Download complete
13cc39f8244a: Verifying Checksum
13cc39f8244a: Download complete
9288fc69cd29: Verifying Checksum
9288fc69cd29: Download complete
658a78f60f44: Verifying Checksum
658a78f60f44: Download complete
b129e961d700: Verifying Checksum
b129e961d700: Download complete
b3e6010fbc4c: Verifying Checksum
b3e6010fbc4c: Download complete
e75ac7b73fdb: Verifying Checksum
e75ac7b73fdb: Download complete
f1dbfc01d8b6: Verifying Checksum
f1dbfc01d8b6: Download complete
42e8958c94a5: Verifying Checksum
42e8958c94a5: Download complete
f8ae0ec2765e: Verifying Checksum
f8ae0ec2765e: Download complete
1c77fd15fa4b: Verifying Checksum
1c77fd15fa4b: Download complete
87b5808a8709: Verifying Checksum
87b5808a8709: Download complete
6551add7b2f4: Verifying Checksum
6551add7b2f4: Download complete
a050a941214a: Download complete
da6cadefa7ea: Verifying Checksum
da6cadefa7ea: Download complete
13cc39f8244a: Pull complete
9d7c1cac6af4: Pull complete
979e6521bf84: Pull complete
0a3e89137cf8: Verifying Checksum
0a3e89137cf8: Download complete
cc34154fc322: Verifying Checksum
cc34154fc322: Download complete
eb7661180f3a: Download complete
b129e961d700: Pull complete
9288fc69cd29: Pull complete
faad806bf7c5: Verifying Checksum
faad806bf7c5: Download complete
4f4fb700ef54: Download complete
fe5692607199: Verifying Checksum
fe5692607199: Download complete
b232c90b1855: Verifying Checksum
b232c90b1855: Download complete
caa548e7f855: Download complete
8ad66e641b14: Download complete
b9d5d27dc0b6: Verifying Checksum
b9d5d27dc0b6: Download complete
788961b65661: Verifying Checksum
788961b65661: Download complete
9ed95272e11f: Verifying Checksum
9ed95272e11f: Download complete
82c1497059a3: Verifying Checksum
82c1497059a3: Download complete
8abbeded2fb9: Verifying Checksum
8abbeded2fb9: Download complete
0bd63c9342a5: Download complete
1276181ef5dc: Verifying Checksum
1276181ef5dc: Download complete
def43d8fc04c: Verifying Checksum
def43d8fc04c: Download complete
0294cf425d8c: Verifying Checksum
0294cf425d8c: Download complete
4e0df0b17574: Verifying Checksum
4e0df0b17574: Download complete
1fcd55c53252: Verifying Checksum
1fcd55c53252: Download complete
9fe15f147c9c: Verifying Checksum
9fe15f147c9c: Download complete
b232c90b1855: Pull complete
658a78f60f44: Pull complete
b3e6010fbc4c: Pull complete
e75ac7b73fdb: Pull complete
c87ed18f9ca6: Verifying Checksum
c87ed18f9ca6: Download complete
f1dbfc01d8b6: Pull complete
c9f03af6c585: Verifying Checksum
c9f03af6c585: Download complete
84d5af1af338: Download complete
42e8958c94a5: Pull complete
1c77fd15fa4b: Pull complete
6fb68b70ea5d: Download complete
f8ae0ec2765e: Pull complete
87b5808a8709: Pull complete
6551add7b2f4: Pull complete
a050a941214a: Pull complete
da6cadefa7ea: Pull complete
0a3e89137cf8: Pull complete
cc34154fc322: Pull complete
eb7661180f3a: Pull complete
faad806bf7c5: Pull complete
4f4fb700ef54: Pull complete
fe5692607199: Pull complete
caa548e7f855: Pull complete
8ad66e641b14: Pull complete
b9d5d27dc0b6: Pull complete
788961b65661: Pull complete
9ed95272e11f: Pull complete
82c1497059a3: Pull complete
8abbeded2fb9: Pull complete
1276181ef5dc: Pull complete
0bd63c9342a5: Pull complete
0294cf425d8c: Pull complete
def43d8fc04c: Pull complete
2dc2974b766b: Verifying Checksum
2dc2974b766b: Download complete
c87ed18f9ca6: Pull complete
056f995b50a2: Pull complete
c9f03af6c585: Pull complete
4e0df0b17574: Pull complete
1fcd55c53252: Pull complete
9fe15f147c9c: Pull complete
ce4e8a3f071e: Verifying Checksum
ce4e8a3f071e: Download complete
ce4e8a3f071e: Pull complete
84d5af1af338: Pull complete
2dc2974b766b: Pull complete
6fb68b70ea5d: Pull complete
Digest: sha256:84bfdf8b22cc19259179f831fab442c1caad77b79aab503d5997e97e4c23c97c
Status: Downloaded newer image for ocaml/opam@sha256:84bfdf8b22cc19259179f831fab442c1caad77b79aab503d5997e97e4c23c97c
2025-11-23 10:30.23 ---> using "ea82b9be4ad26426f2b848e41eda04855c1d0fe417ed768a5f0f9b95a9d49e13" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2025-11-23 10:30.23 ---> using "4c12daa29a40c23fb18e98a86d1e2ba3168c9732d8cc22e9245e975a0109f6bd" 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
2025-11-23 10:30.23 ---> using "6bd70b5ae51e8357561b33ce80a30b0a4ecd12e2d5cf535b7ae8f9f3000ea324" 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~beta1
# 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.10
# invariant ["ocaml-base-compiler" {= "4.10.2"}]
# compiler-packages ocaml-base-compiler.4.10.2
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/4.10/lib/ocaml/stublibs:/home/opam/.opam/4.10/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 4.10.2
2025-11-23 10:30.23 ---> using "8b4a54373285aa83574998b3fe58d536826bf2b2648eb9b65cf5d12c1d9e991c" 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/"))
2025-11-23 10:30.23 ---> using "247b30972b51d1389d79080a1fe06f35f30d63ed24f2ff4d3bd385923672d1b1" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2025-11-23 10:30.37 ---> saved as "736a8d6b92b5b16752b251c9a31094f68a4a83b2722cf4f8a0e3cba1ffb48b7d"
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2025-11-23 10:30.55 ---> saved as "c36201246a47d2788239765021f43213b95480bb547e0925a7e32957e2c4ebd2"
/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 [9670 kB]
- Get:5 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [71.8 kB]
- Fetched 9973 kB in 2s (4747 kB/s)
- Reading package lists...
2025-11-23 10:30.58 ---> saved as "91b48410b0fabc21a2510d155f76747d720982acd9c0f03017a3fbea2942b89b"
/home/opam: (run (shell "opam pin add -k version -yn lmdb.1.0 1.0"))
lmdb is now pinned to version 1.0
2025-11-23 10:30.59 ---> saved as "1b6d0a0b653d5b3224989b7daad1a6a54d5b06a7896df6d9ee356e8fcb8a2d48"
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall lmdb.1.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\" != 'lmdb.1.0' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
lmdb.1.0 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 6 packages
- install bigstringaf 0.10.0 [required by lmdb]
- install conf-pkg-config 4 [required by lmdb]
- install csexp 1.5.2 [required by dune-configurator]
- install dune 3.20.2 [required by lmdb]
- install dune-configurator 3.20.2 [required by lmdb]
- install lmdb 1.0 (pinned)
The following system packages will first need to be installed:
liblmdb-dev pkg-config
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
4. Abort the installation
[1/2/3/4] 1
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "liblmdb-dev" "pkg-config"
- Selecting previously unselected package liblmdb0:amd64.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20622 files and directories currently installed.)
- Preparing to unpack .../0-liblmdb0_0.9.31-1+b2_amd64.deb ...
- Unpacking liblmdb0:amd64 (0.9.31-1+b2) ...
- Selecting previously unselected package liblmdb-dev:amd64.
- Preparing to unpack .../1-liblmdb-dev_0.9.31-1+b2_amd64.deb ...
- Unpacking liblmdb-dev:amd64 (0.9.31-1+b2) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../2-libpkgconf3_1.8.1-4_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-4) ...
- Selecting previously unselected package lmdb-doc.
- Preparing to unpack .../3-lmdb-doc_0.9.31-1_all.deb ...
- Unpacking lmdb-doc (0.9.31-1) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../4-pkgconf-bin_1.8.1-4_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../5-pkgconf_1.8.1-4_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../6-pkg-config_1.8.1-4_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-4) ...
- Setting up liblmdb0:amd64 (0.9.31-1+b2) ...
- Setting up lmdb-doc (0.9.31-1) ...
- Setting up libpkgconf3:amd64 (1.8.1-4) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up liblmdb-dev:amd64 (0.9.31-1+b2) ...
- Setting up pkgconf:amd64 (1.8.1-4) ...
- Setting up pkg-config:amd64 (1.8.1-4) ...
- Processing triggers for libc-bin (2.41-12) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved bigstringaf.0.10.0 (cached)
-> retrieved csexp.1.5.2 (cached)
-> installed conf-pkg-config.4
-> retrieved dune.3.20.2, dune-configurator.3.20.2 (cached)
-> retrieved lmdb.1.0 (cached)
-> installed dune.3.20.2
-> installed csexp.1.5.2
-> installed dune-configurator.3.20.2
-> installed bigstringaf.0.10.0
-> installed lmdb.1.0
Done.
# To update the current shell environment, run: eval $(opam env)
2025-11-23 10:31.31 ---> saved as "b4c5eb9d5f10006e7cafcd6f55423e55b4ba704724b8d8fc383124731525437b"
Job succeeded
2025-11-23 10:31.38: Job succeeded