(for PR #28419)
2025-09-17 10:22.30: New job: build cvc5.1.3.0-1, using opam 2.0 from https://github.com/ocaml/opam-repository.git#refs/pull/28419/head (473c4e5e91f30596dff4115afc922c6579592316) on debian-13-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/28419/head" && git reset --hard 473c4e5e git fetch origin master git merge --no-edit 7949ff40d8af6dff67bf2361db44574e21c6d076 cat > ../Dockerfile <<'END-OF-DOCKERFILE' FROM ocaml/opam:debian-13-ocaml-4.14@sha256:ce7583a4463e517dda39f02d53e6fd4065fe70d94a26e5f51dcceb761272b5dc USER 1000:1000 WORKDIR /home/opam RUN sudo ln -f /usr/bin/opam-2.0 /usr/bin/opam RUN opam init --reinit -ni RUN 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 depext -u || true RUN opam pin add -k version -yn cvc5.1.3.0-1 1.3.0-1 RUN opam depext cvc5.1.3.0-1 && opam reinstall cvc5.1.3.0-1; \ 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" != 'cvc5.1.3.0-1' && 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-09-17 10:22.30: Using cache hint "ocaml/opam:debian-13-ocaml-4.14@sha256:ce7583a4463e517dda39f02d53e6fd4065fe70d94a26e5f51dcceb761272b5dc-cvc5.1.3.0-1-473c4e5e91f30596dff4115afc922c6579592316" 2025-09-17 10:22.30: Using OBuilder spec: ((from ocaml/opam:debian-13-ocaml-4.14@sha256:ce7583a4463e517dda39f02d53e6fd4065fe70d94a26e5f51dcceb761272b5dc) (user (uid 1000) (gid 1000)) (workdir /home/opam) (run (shell "sudo ln -f /usr/bin/opam-2.0 /usr/bin/opam")) (run (network host) (shell "opam init --reinit --config .opamrc-sandbox -ni")) (run (shell "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 depext -u || true")) (run (shell "opam pin add -k version -yn cvc5.1.3.0-1 1.3.0-1")) (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam depext cvc5.1.3.0-1 && opam reinstall cvc5.1.3.0-1;\ \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\" != 'cvc5.1.3.0-1' && partial_fails=\"$partial_fails $pkg\";\ \n done;\ \n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\ \n exit 1")) ) 2025-09-17 10:22.30: Connecting to build cluster… 2025-09-17 10:22.30: Waiting for resource in pool OCluster 2025-09-17 10:23.22: Waiting for worker… 2025-09-17 10:23.33: Got resource from pool OCluster Building on doris.caelum.ci.dev All commits already cached HEAD is now at 7949ff40d8 Merge pull request #28501 from vscoqbot/opam-publish-vsrocq-language-server.2.3.0 Merge made by the 'ort' strategy. packages/cvc5/cvc5.1.3.0-1/opam | 47 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 47 insertions(+) create mode 100644 packages/cvc5/cvc5.1.3.0-1/opam (from ocaml/opam:debian-13-ocaml-4.14@sha256:ce7583a4463e517dda39f02d53e6fd4065fe70d94a26e5f51dcceb761272b5dc) Unable to find image 'ocaml/opam:debian-13-ocaml-4.14@sha256:ce7583a4463e517dda39f02d53e6fd4065fe70d94a26e5f51dcceb761272b5dc' locally docker.io/ocaml/opam@sha256:ce7583a4463e517dda39f02d53e6fd4065fe70d94a26e5f51dcceb761272b5dc: Pulling from ocaml/opam 15b1d8a5ff03: Already exists 4d5eb3ed0208: Already exists b44e00377829: Already exists 93018e586176: Already exists 587e432a29e2: Already exists cdf304204754: Already exists a444cfe202e3: Already exists 964991c828c0: Already exists a94458d90f79: Already exists e972c69afbc9: Already exists 3997d62e9de2: Already exists d78ea61f72f9: Already exists c68a1176424c: Already exists 63495b383f1a: Already exists aa1a6204320d: Already exists 187b2023e0b3: Already exists 4787e66ddf43: Already exists 973a552bac2d: Already exists 8ad831d15267: Already exists a8377bc33a29: Already exists 84a002321686: Already exists 4f4fb700ef54: Already exists 5d52c4f201d6: Already exists 68ef19bc296a: Already exists 1cda2aa0af1b: Already exists 769f31bcfe07: Already exists b1d715eb0b34: Already exists 6b92d559de80: Already exists 1552f16d9075: Already exists 7a69328970da: Already exists e66b1fc86e6f: Already exists b14737f10b30: Already exists 4b7cf33f8dea: Already exists 0499d18bfcaa: Already exists fb0e4a52e51b: Already exists af1ea896d29c: Already exists cff41317f198: Already exists fbb90a49a8ca: Already exists 2f7f155032eb: Already exists 02f68e1ce660: Already exists ecccefc40725: Pulling fs layer b3c55c49d7c7: Pulling fs layer 086c23210c52: Pulling fs layer be64ebf82eb2: Pulling fs layer b3c55c49d7c7: Waiting 086c23210c52: Waiting be64ebf82eb2: Waiting ecccefc40725: Waiting ecccefc40725: Verifying Checksum ecccefc40725: Download complete b3c55c49d7c7: Download complete 086c23210c52: Verifying Checksum 086c23210c52: Download complete be64ebf82eb2: Verifying Checksum be64ebf82eb2: Download complete ecccefc40725: Pull complete b3c55c49d7c7: Pull complete 086c23210c52: Pull complete be64ebf82eb2: Pull complete Digest: sha256:ce7583a4463e517dda39f02d53e6fd4065fe70d94a26e5f51dcceb761272b5dc Status: Downloaded newer image for ocaml/opam@sha256:ce7583a4463e517dda39f02d53e6fd4065fe70d94a26e5f51dcceb761272b5dc 2025-09-17 10:24.46 ---> using "f2c15438f4e8107ac42e1adfbd29c5c483ff0e5aaf05ff1291b0b30470c339be" from cache /: (user (uid 1000) (gid 1000)) /: (workdir /home/opam) /home/opam: (run (shell "sudo ln -f /usr/bin/opam-2.0 /usr/bin/opam")) 2025-09-17 10:24.46 ---> using "5e12e266b2d5f98951aced9d82290ee15faaafc674fa2475f4e500bfcf81ab21" from cache /home/opam: (run (network host) (shell "opam init --reinit --config .opamrc-sandbox -ni")) [NOTE] Will configure 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. [WARNING] Recommended dependencies -- most packages rely on these: - m4 <><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><> [default] Initialised default (at git+file:///home/opam/opam-repository): [INFO] opam 2.1 and 2.2 include many performance and security improvements over 2.0; please consider upgrading (https://opam.ocaml.org/doc/Install.html) 2025-09-17 10:24.46 ---> using "8503a8484eed67283644338bb79ab17074cbb4f940c22f2969943f07f416ac0d" from cache /home/opam: (run (shell "opam config report")) # opam config report # opam-version 2.0.10 (adc1e1829a2bef5b240746df80341b508290fe3b) # self-upgrade no # system arch=x86_64 os=linux os-distribution=debian os-version=13 # solver builtin-mccs+glpk # install-criteria -removed,-count[version-lag,request],-count[version-lag,changed],-changed # upgrade-criteria -removed,-count[version-lag,solution],-new # jobs 71 # repositories 1 (version-controlled) # pinned 1 (version) # current-switch 4.14 2025-09-17 10:24.46 ---> using "740e50ff6a022d54c49c503359693fce1d656759b48216006da2e5dfee30074f" 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-09-17 10:24.46 ---> using "af4aba01099ea494b6a5fe4b49b6a2b3105af2788dc9234b50c827e72386b6ea" from cache /home/opam: (copy (src .) (dst opam-repository/)) Uncaught exception: Failure("\"rm\" \"-rf\" \"/var/cache/obuilder/merged/05e4e16c660f050d1feeab0c8c223062494ef6e8e09fb1cfa3eff4b1cd9e77f2\" \"/var/cache/obuilder/work/05e4e16c660f050d1feeab0c8c223062494ef6e8e09fb1cfa3eff4b1cd9e77f2\" failed with exit status 1") 2025-09-17 10:25.03: Job failed: Failed: Internal error