2025-09-16 10:11.37: New job: test mirage/Zarith https://github.com/mirage/Zarith.git#refs/heads/zarith-1.13 (9de5ec36fc0851f19985b235aa07d56661688155) (linux-x86_64:debian-13-4.14_opam-2.4)Base: ocaml/opam:debian-13-ocaml-4.14@sha256:ce7583a4463e517dda39f02d53e6fd4065fe70d94a26e5f51dcceb761272b5dcOpam project buildTo reproduce locally:git clone --recursive "https://github.com/mirage/Zarith.git" -b "zarith-1.13" && cd "Zarith" && git reset --hard 9de5ec36cat > Dockerfile <<'END-OF-DOCKERFILE'FROM ocaml/opam:debian-13-ocaml-4.14@sha256:ce7583a4463e517dda39f02d53e6fd4065fe70d94a26e5f51dcceb761272b5dc# debian-13-4.14_opam-2.4USER 1000:1000ENV CLICOLOR_FORCE="1"ENV OPAMCOLOR="always"WORKDIR /srcRUN sudo ln -f /usr/bin/opam-2.4 /usr/bin/opamRUN opam init --reinit -niRUN uname -rs && opam exec -- ocaml -version && opam --versionWORKDIR /srcRUN sudo chown opam /srcRUN cd ~/opam-repository && (git cat-file -e 6ef6813522b6ea29933f6451236a1639bdbaec61 || git fetch origin master) && git reset -q --hard 6ef6813522b6ea29933f6451236a1639bdbaec61 && git log --no-decorate -n1 --oneline && opam update -uCOPY --chown=1000:1000 zarith.opam ./RUN opam pin add -yn zarith.dev './'RUN echo '(lang dune 3.0)' > './dune-project'ENV DEPS="base-bigarray.base base-threads.base base-unix.base conf-m4.1 dune.3.20.2 gmp.6.3.0 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-config.2 ocaml-options-vanilla.1"ENV CI="true"ENV OCAMLCI="true"RUN opam update --depexts && opam install --cli=2.4 --depext-only -y zarith.dev $DEPSRUN opam install $DEPSCOPY --chown=1000:1000 . /srcRUN opam exec -- dune build @install @check @runtest && rm -rf _buildEND-OF-DOCKERFILEdocker build .END-REPRO-BLOCK2025-09-16 10:11.37: Using cache hint "mirage/Zarith-ocaml/opam:debian-13-ocaml-4.14@sha256:ce7583a4463e517dda39f02d53e6fd4065fe70d94a26e5f51dcceb761272b5dc-debian-13-4.14_opam-2.4-7cdd644a1983e0d7b921e8bf67fd2ecb"2025-09-16 10:11.37: Using OBuilder spec:((from ocaml/opam:debian-13-ocaml-4.14@sha256:ce7583a4463e517dda39f02d53e6fd4065fe70d94a26e5f51dcceb761272b5dc)(comment debian-13-4.14_opam-2.4)(user (uid 1000) (gid 1000))(env CLICOLOR_FORCE 1)(env OPAMCOLOR always)(workdir /src)(run (shell "sudo ln -f /usr/bin/opam-2.4 /usr/bin/opam"))(run (shell "opam init --reinit -ni"))(run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))(workdir /src)(run (shell "sudo chown opam /src"))(run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "cd ~/opam-repository && (git cat-file -e 6ef6813522b6ea29933f6451236a1639bdbaec61 || git fetch origin master) && git reset -q --hard 6ef6813522b6ea29933f6451236a1639bdbaec61 && git log --no-decorate -n1 --oneline && opam update -u"))(copy (src zarith.opam) (dst ./))(run (network host)(shell "opam pin add -yn zarith.dev './'"))(run (network host)(shell "echo '(lang dune 3.0)' > './dune-project'"))(env DEPS "base-bigarray.base base-threads.base base-unix.base conf-m4.1 dune.3.20.2 gmp.6.3.0 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-config.2 ocaml-options-vanilla.1")(env CI true)(env OCAMLCI true)(run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "opam update --depexts && opam install --cli=2.4 --depext-only -y zarith.dev $DEPS"))(run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "opam install $DEPS"))(copy (src .) (dst /src))(run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build")))2025-09-16 10:11.37: Waiting for resource in pool OCluster2025-09-16 11:03.26: Waiting for worker…2025-09-16 11:05.48: Got resource from pool OClusterBuilding on doris.caelum.ci.devAll commits already cachedHEAD is now at 9de5ec3 revert a6ad837b (use ocamlc to test C compiler in configure)(from ocaml/opam:debian-13-ocaml-4.14@sha256:ce7583a4463e517dda39f02d53e6fd4065fe70d94a26e5f51dcceb761272b5dc)Unable to find image 'ocaml/opam:debian-13-ocaml-4.14@sha256:ce7583a4463e517dda39f02d53e6fd4065fe70d94a26e5f51dcceb761272b5dc' locallydocker.io/ocaml/opam@sha256:ce7583a4463e517dda39f02d53e6fd4065fe70d94a26e5f51dcceb761272b5dc: Pulling from ocaml/opam15b1d8a5ff03: Already exists4d5eb3ed0208: Already existsb44e00377829: Already exists93018e586176: Already exists587e432a29e2: Already existscdf304204754: Already existsa444cfe202e3: Already exists964991c828c0: Already existsa94458d90f79: Already existse972c69afbc9: Already exists3997d62e9de2: Already existsd78ea61f72f9: Already existsc68a1176424c: Already exists63495b383f1a: Already existsaa1a6204320d: Already exists187b2023e0b3: Already exists4787e66ddf43: Already exists973a552bac2d: Already exists8ad831d15267: Already existsa8377bc33a29: Already exists84a002321686: Already exists4f4fb700ef54: Already exists5d52c4f201d6: Already exists68ef19bc296a: Already exists1cda2aa0af1b: Already exists769f31bcfe07: Already existsb1d715eb0b34: Already exists6b92d559de80: Already exists1552f16d9075: Already exists7a69328970da: Already existse66b1fc86e6f: Already existsb14737f10b30: Already exists4b7cf33f8dea: Already exists0499d18bfcaa: Already existsfb0e4a52e51b: Already existsaf1ea896d29c: Already existscff41317f198: Already existsfbb90a49a8ca: Already exists2f7f155032eb: Already exists02f68e1ce660: Already existsecccefc40725: Pulling fs layerb3c55c49d7c7: Pulling fs layer086c23210c52: Pulling fs layerbe64ebf82eb2: Pulling fs layerb3c55c49d7c7: Waiting086c23210c52: Waitingbe64ebf82eb2: Waitingecccefc40725: Waitingecccefc40725: Verifying Checksumecccefc40725: Download completeb3c55c49d7c7: Download complete086c23210c52: Verifying Checksum086c23210c52: Download completebe64ebf82eb2: Verifying Checksumbe64ebf82eb2: Download completeecccefc40725: Pull completeb3c55c49d7c7: Pull complete086c23210c52: Pull completebe64ebf82eb2: Pull completeDigest: sha256:ce7583a4463e517dda39f02d53e6fd4065fe70d94a26e5f51dcceb761272b5dcStatus: Downloaded newer image for ocaml/opam@sha256:ce7583a4463e517dda39f02d53e6fd4065fe70d94a26e5f51dcceb761272b5dc2025-09-16 11:05.48 ---> using "f2c15438f4e8107ac42e1adfbd29c5c483ff0e5aaf05ff1291b0b30470c339be" from cache/: (comment debian-13-4.14_opam-2.4)/: (user (uid 1000) (gid 1000))/: (env CLICOLOR_FORCE 1)/: (env OPAMCOLOR always)/: (workdir /src)/src: (run (shell "sudo ln -f /usr/bin/opam-2.4 /usr/bin/opam"))2025-09-16 11:05.48 ---> using "26ab65df60191c64e560c28233f493c202a4bbd9bc7407470045de6309f3dbc7" from cache/src: (run (shell "opam init --reinit -ni"))Configuring from /home/opam/.opamrc and then 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 --globalFormat upgrade done.<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>[default] Initialised2025-09-16 11:05.48 ---> using "b01fa340a5410b8655d54e5c8ba6922600038d8aa3bf6fea9cde94dbae538950" from cache/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))Linux 5.15.0-142-genericThe OCaml toplevel, version 4.14.22.4.12025-09-16 11:05.48 ---> using "bcd57de4dd2d7ffb6e6f53b8fc195555675a5e0356946d206dfa1f13f1fad62e" from cache/src: (workdir /src)/src: (run (shell "sudo chown opam /src"))2025-09-16 11:05.48 ---> using "2d027b54766bada2509ab183947b4aa5380e26a0ea7dd540a7b7e4593762f848" from cache/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "cd ~/opam-repository && (git cat-file -e 6ef6813522b6ea29933f6451236a1639bdbaec61 || git fetch origin master) && git reset -q --hard 6ef6813522b6ea29933f6451236a1639bdbaec61 && git log --no-decorate -n1 --oneline && opam update -u"))From https://github.com/ocaml/opam-repository* branch master -> FETCH_HEADbcac5d1731..7949ff40d8 master -> origin/master6ef6813522 Merge pull request #28449 from dra27/ocaml-compiler-msvc<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>[default] synchronised from git+file:///home/opam/opam-repositoryEverything as up-to-date as possible (run with --verbose to show unavailable upgrades).However, you may "opam upgrade" these packages explicitly at these versions (e.g. "opam upgrade ocaml.5.3.0"), which will ask permission to downgrade or uninstall the conflicting packages.Nothing to do.# To update the current shell environment, run: eval $(opam env)2025-09-16 11:05.48 ---> using "f094558e2aeeb0c5fdc596d4f8127e59a476c59c45a099630df8c1ba954311dd" from cache/src: (copy (src zarith.opam) (dst ./))2025-09-16 11:05.49 ---> saved as "3c62977abb499321b3bb2c1b45b13898873ce0db3e827dbfc060848605fc0e76"/src: (run (network host)(shell "opam pin add -yn zarith.dev './'"))[zarith.dev] synchronised (file:///src)zarith is now pinned to file:///src (version dev)2025-09-16 11:05.50 ---> saved as "e80d50c2aed91d5257507c0eacd0fbe1b60d602365526efcee766d2f3557e669"/src: (run (network host)(shell "echo '(lang dune 3.0)' > './dune-project'"))2025-09-16 11:05.50 ---> saved as "4d8778ca3f02fe31c2380aba6e9d17f0fedcb311be83f872c0d4b50bf3bcb9c4"/src: (env DEPS "base-bigarray.base base-threads.base base-unix.base conf-m4.1 dune.3.20.2 gmp.6.3.0 ocaml.4.14.2 ocaml-base-compiler.4.14.2 ocaml-config.2 ocaml-options-vanilla.1")/src: (env CI true)/src: (env OCAMLCI true)/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "opam update --depexts && opam install --cli=2.4 --depext-only -y zarith.dev $DEPS"))+ /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 amd64 Packages [40.2 kB]- Fetched 131 kB in 0s (1494 kB/s)- Reading package lists...<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>[zarith.dev] synchronised (file:///src)[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).[NOTE] Package ocaml-config is already installed (current version is 2).[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).[NOTE] Package ocaml is already installed (current version is 4.14.2).[NOTE] Package base-unix is already installed (current version is base).[NOTE] Package base-threads is already installed (current version is base).[NOTE] Package base-bigarray is already installed (current version is base).The following system packages will first need to be installed:m4<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "m4"- Selecting previously unselected package m4.- (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 .../archives/m4_1.4.19-8_amd64.deb ...- Unpacking m4 (1.4.19-8) ...- Setting up m4 (1.4.19-8) ...2025-09-16 11:06.00 ---> saved as "c93b5d48284f11dab28d950a9ea1c76b95bba1551f5195f079fd51232b9c8473"/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "opam install $DEPS"))[NOTE] Package ocaml-options-vanilla is already installed (current version is 1).[NOTE] Package ocaml-config is already installed (current version is 2).[NOTE] Package ocaml-base-compiler is already installed (current version is 4.14.2).[NOTE] Package ocaml is already installed (current version is 4.14.2).[NOTE] Package base-unix is already installed (current version is base).[NOTE] Package base-threads is already installed (current version is base).[NOTE] Package base-bigarray is already installed (current version is base).The following actions will be performed:=== install 3 packages- install conf-m4 1- install dune 3.20.2- install gmp 6.3.0<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>-> retrieved gmp.6.3.0 (cached)-> installed conf-m4.1-> retrieved dune.3.20.2 (cached)-> installed dune.3.20.2-> installed gmp.6.3.0Done.# To update the current shell environment, run: eval $(opam env)2025-09-16 11:06.49 ---> saved as "0c56c6c7e1d420285e736fa99ea231e3afc11b80b30b6264f240515e37481ef3"/src: (copy (src .) (dst /src))2025-09-16 11:06.49 ---> saved as "344a6111a68b1dab8824a6ca53d36781e9c7e83ee88a5c507933f7edcea76869"/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))(cd _build/default && /usr/bin/bash -e -u -o pipefail -c 'env CC="gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC" LDFLAGS="-L/home/opam/.opam/4.14/lib/gmp/" CFLAGS="-I/home/opam/.opam/4.14/lib/gmp/" CPPFLAGS="-I/home/opam/.opam/4.14/lib/gmp/" ./configure --ocamllibdir /home/opam/.opam/4.14/lib/ocaml')binary ocaml: found in /home/opam/.opam/4.14/binbinary ocamlc: found in /home/opam/.opam/4.14/binbinary ocamldep: found in /home/opam/.opam/4.14/binbinary ocamlmklib: found in /home/opam/.opam/4.14/binbinary ocamldoc: found in /home/opam/.opam/4.14/binbinary gcc: found in /usr/binbinary ocamlopt: found in /home/opam/.opam/4.14/binchecking compilation with -I/home/opam/.opam/4.14/lib/gmp/: workinginclude caml/mlvalues.h: foundlibrary dynlink.cmxa: foundbinary ocamlfind: not foundbinary install: found in /usr/binOCaml's word size is 64include gmp.h: foundlibrary gmp: foundOCaml supports -bin-annot to produce documentationdetected configuration:native-code: yesdynamic linking: yesdefines: -DHAS_GMPincludes: -I/home/opam/.opam/4.14/lib/ocaml -I/home/opam/.opam/4.14/lib/gmp/libraries: -lgmplinker options: -L/home/opam/.opam/4.14/lib/gmp/C options: -I/home/opam/.opam/4.14/lib/gmp/installation path: /home/opam/.opam/4.14/lib/ocamlinstallation method installconfiguration successful!now type "make" to buildthen type "make install" or "sudo make install" to install2025-09-16 11:06.52 ---> saved as "95b8e240093ba2c1209e0532da07d01af7fce984399da4a795c1fb74c11d47ca"Job succeeded2025-09-16 11:06.52: Job succeeded