2025-10-18 16:36.45: New job: test mirage/Zarith https://github.com/mirage/Zarith.git#refs/heads/zarith-1.14 (df8969d9bb95cffca13e31a615189ab27ada0684) (linux-riscv64:debian-13-5.4_riscv64_opam-2.4)Base: ocaml/opam:debian-13-ocaml-5.4@sha256:888c774d4d58e7f324b6278c087e64732081a76af78f2e7652efdf68a8b25288Opam project buildTo reproduce locally:git clone --recursive "https://github.com/mirage/Zarith.git" -b "zarith-1.14" && cd "Zarith" && git reset --hard df8969d9cat > Dockerfile <<'END-OF-DOCKERFILE'FROM ocaml/opam:debian-13-ocaml-5.4@sha256:888c774d4d58e7f324b6278c087e64732081a76af78f2e7652efdf68a8b25288# debian-13-5.4_riscv64_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 c603e596bfaf195a5c1a3baf992b11c1de5ad35b || git fetch origin master) && git reset -q --hard c603e596bfaf195a5c1a3baf992b11c1de5ad35b && 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-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base conf-m4.1 dune.3.20.2 gmp.6.2.1-5 ocaml.5.4.0 ocaml-base-compiler.5.4.0 ocaml-compiler.5.4.0 ocaml-config.3 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-10-18 16:36.45: Using cache hint "mirage/Zarith-ocaml/opam:debian-13-ocaml-5.4@sha256:888c774d4d58e7f324b6278c087e64732081a76af78f2e7652efdf68a8b25288-debian-13-5.4_riscv64_opam-2.4-3ee5dec8e6a7f9e24744e5999b633c87"2025-10-18 16:36.45: Using OBuilder spec:((from ocaml/opam:debian-13-ocaml-5.4@sha256:888c774d4d58e7f324b6278c087e64732081a76af78f2e7652efdf68a8b25288)(comment debian-13-5.4_riscv64_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 c603e596bfaf195a5c1a3baf992b11c1de5ad35b || git fetch origin master) && git reset -q --hard c603e596bfaf195a5c1a3baf992b11c1de5ad35b && 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-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base conf-m4.1 dune.3.20.2 gmp.6.2.1-5 ocaml.5.4.0 ocaml-base-compiler.5.4.0 ocaml-compiler.5.4.0 ocaml-config.3 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-10-18 16:36.45: Waiting for resource in pool OCluster2025-10-19 09:59.40: Waiting for worker…2025-10-19 19:15.34: Got resource from pool OClusterBuilding on riscv-bm-02.sw.ci.devAll commits already cachedHEAD is now at df8969d Dunify and be compatible with MirageOS 4 (for 1.14)(from ocaml/opam:debian-13-ocaml-5.4@sha256:888c774d4d58e7f324b6278c087e64732081a76af78f2e7652efdf68a8b25288)Unable to find image 'ocaml/opam:debian-13-ocaml-5.4@sha256:888c774d4d58e7f324b6278c087e64732081a76af78f2e7652efdf68a8b25288' locallydocker.io/ocaml/opam@sha256:888c774d4d58e7f324b6278c087e64732081a76af78f2e7652efdf68a8b25288: Pulling from ocaml/opam913254a25f5e: Pulling fs layerd4181e0c64b1: Pulling fs layer60067d417858: Pulling fs layer85acc1d96727: Pulling fs layer3ed6ed890bcc: Pulling fs layer2dbf4e493c82: Pulling fs layer2392a1c0faf2: Pulling fs layera887790579d0: Pulling fs layer6bf6091e80a7: Pulling fs layer8335ff7d796a: Pulling fs layera5cf80048a8d: Pulling fs layer11557f96dff6: Pulling fs layer5ffa47544a64: Pulling fs layerb92bc0bdd77f: Pulling fs layer11bee46e736c: Pulling fs layer6cdee63da433: Pulling fs layerbd6b847c6301: Pulling fs layeref94452a17d0: Pulling fs layerbd4498e2bf68: Pulling fs layercae9012f5512: Pulling fs layer97e1a82ddbc1: Pulling fs layer4f4fb700ef54: Pulling fs layera36b4f4c3856: Pulling fs layerba5c5eee93b2: Pulling fs layerccef58c1ec23: Pulling fs layerf58caa225e78: Pulling fs layere5b816875ec7: Pulling fs layer637cd996e729: Pulling fs layer4798bd4315ce: Pulling fs layer1a9d0398727f: Pulling fs layer87a13479d21f: Pulling fs layer826d12795d2a: Pulling fs layerec3c50c293a6: Pulling fs layer75873b00ea39: Pulling fs layer2dc1ede51ef9: Pulling fs layere521104f43f2: Pulling fs layer5adb34782261: Pulling fs layer3902e7196407: Pulling fs layer58655837ed1a: Pulling fs layer48f0059e882a: Pulling fs layerae593e70caf6: Pulling fs layerc31229a73423: Pulling fs layerc1449e0dd683: Pulling fs layercaf6ad521897: Pulling fs layer329dc00a05ae: Pulling fs layera47284690750: Pulling fs layere9c6ab46017e: Pulling fs layer2392a1c0faf2: Waitinga887790579d0: Waiting6bf6091e80a7: Waiting8335ff7d796a: Waitinga5cf80048a8d: Waiting11557f96dff6: Waiting5ffa47544a64: Waitingb92bc0bdd77f: Waiting11bee46e736c: Waiting6cdee63da433: Waitingbd6b847c6301: Waitingef94452a17d0: Waitingbd4498e2bf68: Waitingcae9012f5512: Waiting97e1a82ddbc1: Waiting4f4fb700ef54: Waitinga36b4f4c3856: Waitingba5c5eee93b2: Waitingccef58c1ec23: Waitingf58caa225e78: Waitinge5b816875ec7: Waiting637cd996e729: Waiting4798bd4315ce: Waiting1a9d0398727f: Waiting87a13479d21f: Waiting826d12795d2a: Waitingec3c50c293a6: Waiting75873b00ea39: Waiting2dc1ede51ef9: Waitinge521104f43f2: Waiting5adb34782261: Waiting3902e7196407: Waiting58655837ed1a: Waiting48f0059e882a: Waitingae593e70caf6: Waitingc31229a73423: Waitingc1449e0dd683: Waitingcaf6ad521897: Waiting329dc00a05ae: Waitinga47284690750: Waiting85acc1d96727: Waitinge9c6ab46017e: Waiting3ed6ed890bcc: Waiting2dbf4e493c82: Waiting60067d417858: Verifying Checksumd4181e0c64b1: Download complete60067d417858: Download complete3ed6ed890bcc: Verifying Checksum3ed6ed890bcc: Download complete85acc1d96727: Verifying Checksum85acc1d96727: Download complete2392a1c0faf2: Verifying Checksum913254a25f5e: Verifying Checksum913254a25f5e: Download completea887790579d0: Verifying Checksuma887790579d0: Download complete8335ff7d796a: Verifying Checksum8335ff7d796a: Download complete6bf6091e80a7: Verifying Checksum6bf6091e80a7: Download completea5cf80048a8d: Verifying Checksuma5cf80048a8d: Download complete11557f96dff6: Download completeb92bc0bdd77f: Verifying Checksumb92bc0bdd77f: Download complete11bee46e736c: Verifying Checksum11bee46e736c: Download complete5ffa47544a64: Verifying Checksum5ffa47544a64: Download complete6cdee63da433: Verifying Checksum6cdee63da433: Download completebd6b847c6301: Verifying Checksumbd6b847c6301: Download completeef94452a17d0: Verifying Checksumef94452a17d0: Download completebd4498e2bf68: Verifying Checksumbd4498e2bf68: Download complete97e1a82ddbc1: Verifying Checksum97e1a82ddbc1: Download completecae9012f5512: Verifying Checksumcae9012f5512: Download complete4f4fb700ef54: Download completea36b4f4c3856: Verifying Checksuma36b4f4c3856: Download completeba5c5eee93b2: Download completeccef58c1ec23: Verifying Checksumccef58c1ec23: Download complete913254a25f5e: Pull completed4181e0c64b1: Pull complete60067d417858: Pull completef58caa225e78: Verifying Checksumf58caa225e78: Download completee5b816875ec7: Verifying Checksume5b816875ec7: Download complete637cd996e729: Verifying Checksum637cd996e729: Download complete4798bd4315ce: Verifying Checksum4798bd4315ce: Download complete1a9d0398727f: Verifying Checksum1a9d0398727f: Download complete87a13479d21f: Verifying Checksum87a13479d21f: Download complete826d12795d2a: Verifying Checksum826d12795d2a: Download completeec3c50c293a6: Verifying Checksumec3c50c293a6: Download complete75873b00ea39: Verifying Checksum75873b00ea39: Download completee521104f43f2: Verifying Checksume521104f43f2: Download complete2dbf4e493c82: Verifying Checksum2dbf4e493c82: Download complete3902e7196407: Verifying Checksum3902e7196407: Download complete85acc1d96727: Pull complete58655837ed1a: Verifying Checksum58655837ed1a: Download complete48f0059e882a: Verifying Checksum48f0059e882a: Download complete3ed6ed890bcc: Pull completeae593e70caf6: Verifying Checksumae593e70caf6: Download completec31229a73423: Verifying Checksumc31229a73423: Download completec1449e0dd683: Verifying Checksumc1449e0dd683: Download complete5adb34782261: Verifying Checksum5adb34782261: Download complete329dc00a05ae: Verifying Checksum329dc00a05ae: Download completea47284690750: Verifying Checksuma47284690750: Download completee9c6ab46017e: Verifying Checksume9c6ab46017e: Download completecaf6ad521897: Verifying Checksumcaf6ad521897: Download complete2dc1ede51ef9: Verifying Checksum2dc1ede51ef9: Download complete2dbf4e493c82: Pull complete2392a1c0faf2: Pull completea887790579d0: Pull complete6bf6091e80a7: Pull complete8335ff7d796a: Pull completea5cf80048a8d: Pull complete11557f96dff6: Pull complete5ffa47544a64: Pull completeb92bc0bdd77f: Pull complete11bee46e736c: Pull complete6cdee63da433: Pull completebd6b847c6301: Pull completeef94452a17d0: Pull completebd4498e2bf68: Pull completecae9012f5512: Pull complete97e1a82ddbc1: Pull complete4f4fb700ef54: Pull completea36b4f4c3856: Pull completeba5c5eee93b2: Pull completeccef58c1ec23: Pull completef58caa225e78: Pull completee5b816875ec7: Pull complete637cd996e729: Pull complete4798bd4315ce: Pull complete1a9d0398727f: Pull complete87a13479d21f: Pull complete826d12795d2a: Pull completeec3c50c293a6: Pull complete75873b00ea39: Pull complete2dc1ede51ef9: Pull completee521104f43f2: Pull complete5adb34782261: Pull complete3902e7196407: Pull complete58655837ed1a: Pull complete48f0059e882a: Pull completeae593e70caf6: Pull completec31229a73423: Pull completec1449e0dd683: Pull completecaf6ad521897: Pull complete329dc00a05ae: Pull completea47284690750: Pull completee9c6ab46017e: Pull completeDigest: sha256:888c774d4d58e7f324b6278c087e64732081a76af78f2e7652efdf68a8b25288Status: Downloaded newer image for ocaml/opam@sha256:888c774d4d58e7f324b6278c087e64732081a76af78f2e7652efdf68a8b252882025-10-19 19:15.35 ---> using "4fbebff2fe9ef1495e2d214609b2035574aee42978f29274f9ade35b3a9e6719" from cache/: (comment debian-13-5.4_riscv64_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-10-19 19:15.35 ---> using "527ab505f1d7efafc8447b9ab5b51e78bded47dc20193bfc1e609a4f5a8660cd" 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] yFormat upgrade done.<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>[default] Initialised2025-10-19 19:15.35 ---> using "ef3971c1a78d0fadecd4a56e92a3279693226b19b1d03251b9953afe2a9d9d48" from cache/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))Linux 5.10.113-scw1The OCaml toplevel, version 5.4.02.4.12025-10-19 19:15.35 ---> using "99827ec3f74219203532dd967ad83b982b5f930c87faab8530ffa6a021da7b6c" from cache/src: (workdir /src)/src: (run (shell "sudo chown opam /src"))2025-10-19 19:15.35 ---> using "1e8f4a2b1bf1e3fc977029161890dd1e7a3c35e6f17fcd0be8e8891052cfde27" from cache/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))(network host)(shell "cd ~/opam-repository && (git cat-file -e c603e596bfaf195a5c1a3baf992b11c1de5ad35b || git fetch origin master) && git reset -q --hard c603e596bfaf195a5c1a3baf992b11c1de5ad35b && git log --no-decorate -n1 --oneline && opam update -u"))c603e596bf Merge pull request #28683 from Octachron/OCaml_5.4.0_release<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>[default] synchronised from git+file:///home/opam/opam-repositoryAlready up-to-date.Nothing to do.# To update the current shell environment, run: eval $(opam env)2025-10-19 19:15.35 ---> using "9c2717ef9a25b68a4dd011b1b0193682a626b9b053a3848ff76b3e7f4a47ed14" from cache/src: (copy (src zarith.opam) (dst ./))2025-10-19 19:15.36 ---> saved as "21139594a986ed12fe51cd42c3e8c47c07051b617a8daf3eb28096173334768c"/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-10-19 19:15.43 ---> saved as "6ef19f7c7c39fbdead26ed43a95fa670b08cd70a210d5a5aa968501e700edd23"/src: (run (network host)(shell "echo '(lang dune 3.0)' > './dune-project'"))2025-10-19 19:15.44 ---> saved as "6379fe75e2ecaec68a1f3f69364040ed21d7c5d22d63432b937346a6675822fc"/src: (env DEPS "base-bigarray.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base conf-m4.1 dune.3.20.2 gmp.6.2.1-5 ocaml.5.4.0 ocaml-base-compiler.5.4.0 ocaml-compiler.5.4.0 ocaml-config.3 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 riscv64 Packages [53.4 kB]- Fetched 144 kB in 0s (325 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 3).[NOTE] Package ocaml-compiler is already installed (current version is 5.4.0).[NOTE] Package ocaml-base-compiler is already installed (current version is 5.4.0).[NOTE] Package ocaml is already installed (current version is 5.4.0).[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-nnp is already installed (current version is base).[NOTE] Package base-effects is already installed (current version is base).[NOTE] Package base-domains 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 ... 20731 files and directories currently installed.)- Preparing to unpack .../m4_1.4.19-8_riscv64.deb ...- Unpacking m4 (1.4.19-8) ...- Setting up m4 (1.4.19-8) ...2025-10-19 19:16.40 ---> saved as "9c3c0cf550cb9edf76f696b28fb282964deef178d0d7d765d129514268bd1f43"/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 3).[NOTE] Package ocaml-compiler is already installed (current version is 5.4.0).[NOTE] Package ocaml-base-compiler is already installed (current version is 5.4.0).[NOTE] Package ocaml is already installed (current version is 5.4.0).[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-nnp is already installed (current version is base).[NOTE] Package base-effects is already installed (current version is base).[NOTE] Package base-domains 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.2.1-5<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>-> retrieved gmp.6.2.1-5 (cached)-> installed conf-m4.1-> retrieved dune.3.20.2 (cached)-> installed dune.3.20.2-> installed gmp.6.2.1-5Done.# To update the current shell environment, run: eval $(opam env)2025-10-19 19:25.40 ---> saved as "b58ae31f9508c60a2e5952d0a264fb448a23918e10f51223a105f67dec93bc58"/src: (copy (src .) (dst /src))2025-10-19 19:25.41 ---> saved as "4a0a14ce7410546519f95d796b9028c5a08da882c17b5960efced3d12a0abcff"/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 -fPIC -pthread" LDFLAGS="-L/home/opam/.opam/5.4/lib/gmp/" CFLAGS="-I/home/opam/.opam/5.4/lib/gmp/" CPPFLAGS="-I/home/opam/.opam/5.4/lib/gmp/" ./configure --ocamllibdir /home/opam/.opam/5.4/lib/ocaml')binary ocaml: found in /home/opam/.opam/5.4/binbinary ocamlc: found in /home/opam/.opam/5.4/binbinary ocamldep: found in /home/opam/.opam/5.4/binbinary ocamlmklib: found in /home/opam/.opam/5.4/binbinary ocamldoc: found in /home/opam/.opam/5.4/binbinary gcc: found in /usr/binbinary ocamlopt: found in /home/opam/.opam/5.4/binchecking compilation with -I/home/opam/.opam/5.4/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/5.4/lib/ocaml -I/home/opam/.opam/5.4/lib/gmp/libraries: -lgmplinker options: -L/home/opam/.opam/5.4/lib/gmp/C options: -I/home/opam/.opam/5.4/lib/gmp/installation path: /home/opam/.opam/5.4/lib/ocamlinstallation method installconfiguration successful!now type "make" to buildthen type "make install" or "sudo make install" to install2025-10-19 19:25.58 ---> saved as "91f9ff3244dd09422a0a79410900b61c368bbb6a32257c6234da370f162376a6"Job succeeded2025-10-19 19:25.58: Job succeeded