(for PR #30017)

2026-06-12 09:33.44: New job: build ortools.9.15.0-2, using opam dev
                              from https://github.com/ocaml/opam-repository.git#refs/pull/30017/head (c8524da0ee5deff62ee4b638a375f6b7aaefd792)
                              on debian-13-ocaml-5.4-no-flat-float-array/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/30017/head" && git reset --hard c8524da0
git fetch origin master
git merge --no-edit e7a828d76e67579331dd6d3290eff39f8aba2ec0
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-5.4-no-flat-float-array@sha256:e96010174c98855f2bc134bed214be65dcf8b2d20500b875b4cc6f1cc19f73b4
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 ortools.9.15.0-2 9.15.0-2
RUN opam reinstall ortools.9.15.0-2; \
    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" != 'ortools.9.15.0-2' && 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-06-12 09:33.44: Using cache hint "ocaml/opam:debian-13-ocaml-5.4-no-flat-float-array@sha256:e96010174c98855f2bc134bed214be65dcf8b2d20500b875b4cc6f1cc19f73b4-ortools.9.15.0-2-c8524da0ee5deff62ee4b638a375f6b7aaefd792"
2026-06-12 09:33.44: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-5.4-no-flat-float-array@sha256:e96010174c98855f2bc134bed214be65dcf8b2d20500b875b4cc6f1cc19f73b4)
 (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 ortools.9.15.0-2 9.15.0-2"))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
      (network host)
      (shell  "opam reinstall ortools.9.15.0-2;\
             \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\" != 'ortools.9.15.0-2' && partial_fails=\"$partial_fails $pkg\";\
             \n        done;\
             \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
             \n        exit 1"))
)

2026-06-12 09:33.44: Waiting for resource in pool OCluster
2026-06-12 09:33.45: Waiting for worker…
2026-06-12 09:33.52: Got resource from pool OCluster
Building on eumache.caelum.ci.dev
All commits already cached
HEAD is now at e7a828d76e Merge pull request #30016 from Frama-C/frama-c.32.1
Merge made by the 'ort' strategy.
 packages/ortools/ortools.9.15.0-2/opam             | 54 +++++++++++++
 .../ortools_solvers/ortools_solvers.9.15.0-2/opam  | 93 ++++++++++++++++++++++
 2 files changed, 147 insertions(+)
 create mode 100644 packages/ortools/ortools.9.15.0-2/opam
 create mode 100644 packages/ortools_solvers/ortools_solvers.9.15.0-2/opam

(from ocaml/opam:debian-13-ocaml-5.4-no-flat-float-array@sha256:e96010174c98855f2bc134bed214be65dcf8b2d20500b875b4cc6f1cc19f73b4)
Unable to find image 'ocaml/opam:debian-13-ocaml-5.4-no-flat-float-array@sha256:e96010174c98855f2bc134bed214be65dcf8b2d20500b875b4cc6f1cc19f73b4' locally
docker.io/ocaml/opam@sha256:e96010174c98855f2bc134bed214be65dcf8b2d20500b875b4cc6f1cc19f73b4: Pulling from ocaml/opam
307f8152a55e: Pulling fs layer
53d481666795: Pulling fs layer
4ee22a5df705: Pulling fs layer
ae88ba2e7c99: Pulling fs layer
53d481666795: Waiting
466fcae906a3: Pulling fs layer
307f8152a55e: Waiting
4ee22a5df705: Waiting
024abae8c1ed: Pulling fs layer
466fcae906a3: Waiting
d582ebdec32b: Pulling fs layer
ae88ba2e7c99: Waiting
d582ebdec32b: Waiting
aa12715098f1: Pulling fs layer
62299cb9f759: Pulling fs layer
a25072680c61: Pulling fs layer
43b56dd9ccf7: Pulling fs layer
244d3fc9f983: Pulling fs layer
c4fb47424a8f: Pulling fs layer
aa12715098f1: Waiting
cf6798d648a4: Pulling fs layer
a25072680c61: Waiting
62299cb9f759: Waiting
279a991ac05e: Pulling fs layer
43b56dd9ccf7: Waiting
cf66fc12d100: Pulling fs layer
244d3fc9f983: Waiting
cf6798d648a4: Waiting
d39d0e8ae83c: Pulling fs layer
279a991ac05e: Waiting
cf66fc12d100: Waiting
d39d0e8ae83c: Waiting
4b54e9cd8568: Pulling fs layer
f65d25bce8ea: Pulling fs layer
7d77baca5957: Pulling fs layer
4f4fb700ef54: Pulling fs layer
a99a940ecfac: Pulling fs layer
f5264679c08b: Pulling fs layer
4b54e9cd8568: Waiting
f2b70106109c: Pulling fs layer
a99a940ecfac: Waiting
f65d25bce8ea: Waiting
4f4fb700ef54: Waiting
f5264679c08b: Waiting
b37088730bad: Pulling fs layer
7d77baca5957: Waiting
f2b70106109c: Waiting
cbd33ffade5f: Pulling fs layer
b37088730bad: Waiting
f1cf9ab18ca0: Pulling fs layer
87f3d72372a4: Pulling fs layer
25d15f09ece2: Pulling fs layer
cbd33ffade5f: Waiting
87f3d72372a4: Waiting
6304df60357e: Pulling fs layer
25d15f09ece2: Waiting
34a8ea3e9b48: Pulling fs layer
a0636f21098e: Pulling fs layer
9511add15c87: Pulling fs layer
963ec00065e9: Pulling fs layer
6304df60357e: Waiting
34a8ea3e9b48: Waiting
3a098b8178a5: Pulling fs layer
9511add15c87: Waiting
963ec00065e9: Waiting
a0636f21098e: Waiting
ca1c1d43252a: Pulling fs layer
ca50eb78767c: Pulling fs layer
85fc1e77225e: Pulling fs layer
ca1c1d43252a: Waiting
088f7de253ad: Pulling fs layer
ca50eb78767c: Waiting
d9c289e51d4f: Pulling fs layer
85fc1e77225e: Waiting
3ccdd7552ca7: Pulling fs layer
088f7de253ad: Waiting
d9c289e51d4f: Waiting
0e205c36f881: Pulling fs layer
71a74f2c3ec5: Pulling fs layer
3ccdd7552ca7: Waiting
0e205c36f881: Waiting
c8efe158d00a: Pulling fs layer
71a74f2c3ec5: Waiting
9c03e176268f: Pulling fs layer
a72bd516f2b0: Pulling fs layer
c8efe158d00a: Waiting
a72bd516f2b0: Waiting
53d481666795: Verifying Checksum
53d481666795: Download complete
4ee22a5df705: Download complete
307f8152a55e: Verifying Checksum
307f8152a55e: Download complete
466fcae906a3: Verifying Checksum
466fcae906a3: Download complete
ae88ba2e7c99: Verifying Checksum
ae88ba2e7c99: Download complete
d582ebdec32b: Verifying Checksum
d582ebdec32b: Download complete
aa12715098f1: Verifying Checksum
aa12715098f1: Download complete
307f8152a55e: Pull complete
53d481666795: Pull complete
4ee22a5df705: Pull complete
ae88ba2e7c99: Pull complete
466fcae906a3: Pull complete
024abae8c1ed: Verifying Checksum
024abae8c1ed: Download complete
a25072680c61: Verifying Checksum
a25072680c61: Download complete
62299cb9f759: Verifying Checksum
62299cb9f759: Download complete
43b56dd9ccf7: Verifying Checksum
43b56dd9ccf7: Download complete
244d3fc9f983: Verifying Checksum
244d3fc9f983: Download complete
c4fb47424a8f: Verifying Checksum
c4fb47424a8f: Download complete
279a991ac05e: Download complete
cf6798d648a4: Verifying Checksum
cf6798d648a4: Download complete
cf66fc12d100: Verifying Checksum
cf66fc12d100: Download complete
4b54e9cd8568: Verifying Checksum
4b54e9cd8568: Download complete
d39d0e8ae83c: Download complete
4f4fb700ef54: Verifying Checksum
4f4fb700ef54: Download complete
f65d25bce8ea: Verifying Checksum
f65d25bce8ea: Download complete
7d77baca5957: Verifying Checksum
7d77baca5957: Download complete
a99a940ecfac: Verifying Checksum
a99a940ecfac: Download complete
f5264679c08b: Verifying Checksum
f5264679c08b: Download complete
b37088730bad: Verifying Checksum
b37088730bad: Download complete
f2b70106109c: Verifying Checksum
f2b70106109c: Download complete
cbd33ffade5f: Download complete
87f3d72372a4: Verifying Checksum
87f3d72372a4: Download complete
f1cf9ab18ca0: Verifying Checksum
f1cf9ab18ca0: Download complete
25d15f09ece2: Download complete
6304df60357e: Verifying Checksum
6304df60357e: Download complete
a0636f21098e: Download complete
34a8ea3e9b48: Verifying Checksum
34a8ea3e9b48: Download complete
9511add15c87: Verifying Checksum
9511add15c87: Download complete
3a098b8178a5: Verifying Checksum
3a098b8178a5: Download complete
ca50eb78767c: Verifying Checksum
ca50eb78767c: Download complete
85fc1e77225e: Verifying Checksum
85fc1e77225e: Download complete
088f7de253ad: Verifying Checksum
088f7de253ad: Download complete
d9c289e51d4f: Verifying Checksum
d9c289e51d4f: Download complete
963ec00065e9: Verifying Checksum
963ec00065e9: Download complete
3ccdd7552ca7: Verifying Checksum
3ccdd7552ca7: Download complete
0e205c36f881: Verifying Checksum
0e205c36f881: Download complete
024abae8c1ed: Pull complete
d582ebdec32b: Pull complete
c8efe158d00a: Verifying Checksum
c8efe158d00a: Download complete
aa12715098f1: Pull complete
62299cb9f759: Pull complete
ca1c1d43252a: Verifying Checksum
ca1c1d43252a: Download complete
a25072680c61: Pull complete
a72bd516f2b0: Verifying Checksum
a72bd516f2b0: Download complete
43b56dd9ccf7: Pull complete
9c03e176268f: Verifying Checksum
9c03e176268f: Download complete
244d3fc9f983: Pull complete
c4fb47424a8f: Pull complete
cf6798d648a4: Pull complete
279a991ac05e: Pull complete
cf66fc12d100: Pull complete
d39d0e8ae83c: Pull complete
4b54e9cd8568: Pull complete
f65d25bce8ea: Pull complete
7d77baca5957: Pull complete
4f4fb700ef54: Pull complete
a99a940ecfac: Pull complete
f5264679c08b: Pull complete
f2b70106109c: Pull complete
b37088730bad: Pull complete
cbd33ffade5f: Pull complete
f1cf9ab18ca0: Pull complete
87f3d72372a4: Pull complete
25d15f09ece2: Pull complete
6304df60357e: Pull complete
34a8ea3e9b48: Pull complete
a0636f21098e: Pull complete
9511add15c87: Pull complete
71a74f2c3ec5: Verifying Checksum
71a74f2c3ec5: Download complete
963ec00065e9: Pull complete
3a098b8178a5: Pull complete
ca1c1d43252a: Pull complete
ca50eb78767c: Pull complete
85fc1e77225e: Pull complete
088f7de253ad: Pull complete
d9c289e51d4f: Pull complete
3ccdd7552ca7: Pull complete
0e205c36f881: Pull complete
71a74f2c3ec5: Pull complete
c8efe158d00a: Pull complete
9c03e176268f: Pull complete
a72bd516f2b0: Pull complete
Digest: sha256:e96010174c98855f2bc134bed214be65dcf8b2d20500b875b4cc6f1cc19f73b4
Status: Downloaded newer image for ocaml/opam@sha256:e96010174c98855f2bc134bed214be65dcf8b2d20500b875b4cc6f1cc19f73b4
2026-06-12 09:36.43 ---> saved as "bd27699ed4bdef9cf65a86d28c45a68d36d289d5305f8152a59f8c5b446c4228"

/: (user (uid 1000) (gid 1000))

/: (workdir /home/opam)

/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2026-06-12 09:36.43 ---> saved as "21ecc761a8f01369da893830f4228c97d8fb6f2f1c767de72cff3b1efcb6507b"

/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.1 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 1 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=1 --global
Format upgrade done.

<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] no changes from git+file:///home/opam/opam-repository
2026-06-12 09:36.55 ---> saved as "d6d050b422c2b4287905ce5bd3eca07a684f25c6090f66c9f026429929b3934c"

/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.1
# 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                 71
# repositories         1 (version-controlled)
# pinned               1 (version)
# current-switch       5.4
# invariant            [
  "ocaml-variants" {= "5.4.1+options"}
  "ocaml-options-only-no-flat-float-array"
]
# compiler-packages    ocaml-compiler.5.4.1, ocaml-option-no-flat-float-array.1, ocaml-options-only-no-flat-float-array.1, ocaml-variants.5.4.1+options
# 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.1+options+no-flat-float-array
2026-06-12 09:36.55 ---> saved as "8ec965c36a0c4e42607de29cf7045dc304b301c94a1bd4978f5f88e95e0bcd9a"

/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-06-12 09:37.03 ---> saved as "eb0b41498dbed806b1bf4ce2a4d742e2c762b8eae066481e02f15465699af854"

/home/opam: (copy (src .) (dst opam-repository/))
2026-06-12 09:37.09 ---> saved as "4eba11bd2980d17a41cb79dd3c8be67e53a263b235c091e9ed3f11c2c87c2cb9"

/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-06-12 09:37.20 ---> saved as "de5a85c66b937a110751b143e1bc9571cd4db735dd69ba5a798dfa9ed2a201be"

/home/opam: (run (network host)
                 (shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian trixie InRelease [140 kB]
- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
- Get:4 http://deb.debian.org/debian trixie/main amd64 Packages [9671 kB]
- Get:5 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [215 kB]
- Fetched 10.1 MB in 1s (6894 kB/s)
- Reading package lists...
- 
2026-06-12 09:37.23 ---> saved as "59ea9ce7f30c42cdc173adf6a75b81cd5ee1d99091f45acefe84b19488e7f700"

/home/opam: (run (shell "opam pin add -k version -yn ortools.9.15.0-2 9.15.0-2"))
ortools is now pinned to version 9.15.0-2
2026-06-12 09:37.24 ---> saved as "779732b6b1f03bbef779f134e94ccb6323eab99b701167f83833bb542a7b0c1b"

/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
                 (network host)
                 (shell  "opam reinstall ortools.9.15.0-2;\
                        \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\" != 'ortools.9.15.0-2' && partial_fails=\"$partial_fails $pkg\";\
                        \n        done;\
                        \n        test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
                        \n        exit 1"))
ortools.9.15.0-2 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 4 packages
  - install dune         3.23.1            [required by ortools]
  - install ortools      9.15.0-2 (pinned)
  - install pbrt         4.1               [required by ortools]
  - install stdlib-shims 0.3.0             [required by pbrt]

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved dune.3.23.1  (cached)
-> retrieved ortools.9.15.0-2  (cached)
-> retrieved pbrt.4.1  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> installed dune.3.23.1
-> installed stdlib-shims.0.3.0
-> installed pbrt.4.1
-> installed ortools.9.15.0-2
Done.
# To update the current shell environment, run: eval $(opam env)
2026-06-12 09:38.05 ---> saved as "b3d8d59d4bccdd305367ec98fc0bac1225b1080c26d104bd359116a50c17906a"
Job succeeded
2026-06-12 09:38.14: Job succeeded