2025-10-18 16:35.18: New job: test ocaml-gospel/why3gospel https://github.com/ocaml-gospel/why3gospel.git#refs/heads/main (aa4513e8a5c8a1ec8d2ecd747dcfa1517dac3bf4) (linux-riscv64:debian-13-5.4_riscv64_opam-2.4) Base: ocaml/opam:debian-13-ocaml-5.4@sha256:888c774d4d58e7f324b6278c087e64732081a76af78f2e7652efdf68a8b25288 Opam project build To reproduce locally: git clone --recursive "https://github.com/ocaml-gospel/why3gospel.git" -b "main" && cd "why3gospel" && git reset --hard aa4513e8 cat > Dockerfile <<'END-OF-DOCKERFILE' FROM ocaml/opam:debian-13-ocaml-5.4@sha256:888c774d4d58e7f324b6278c087e64732081a76af78f2e7652efdf68a8b25288 # debian-13-5.4_riscv64_opam-2.4 USER 1000:1000 ENV CLICOLOR_FORCE="1" ENV OPAMCOLOR="always" WORKDIR /src RUN sudo ln -f /usr/bin/opam-2.4 /usr/bin/opam RUN opam init --reinit -ni RUN uname -rs && opam exec -- ocaml -version && opam --version WORKDIR /src RUN sudo chown opam /src RUN cd ~/opam-repository && (git cat-file -e deb3de7fc5bdf4eb6ebbacd9c3207c8d6820bc64 || git fetch origin master) && git reset -q --hard deb3de7fc5bdf4eb6ebbacd9c3207c8d6820bc64 && git log --no-decorate -n1 --oneline && opam update -u COPY --chown=1000:1000 why3gospel.opam ./ RUN opam pin add -yn why3gospel.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 cmdliner.2.0.0 conf-gmp.5 conf-pkg-config.4 dune.3.20.2 fmt.0.11.0 gospel.dev menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 ocaml.5.4.0 ocaml-base-compiler.5.4.0 ocaml-compiler.5.4.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 ppx_derivers.1.2.1 ppxlib.0.37.0 sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.1.0 why3.1.8.2 zarith.1.14" ENV CI="true" ENV OCAMLCI="true" RUN opam update --depexts && opam install --cli=2.4 --depext-only -y why3gospel.dev $DEPS RUN opam install $DEPS COPY --chown=1000:1000 . /src RUN opam exec -- dune build @install @check @runtest && rm -rf _build END-OF-DOCKERFILE docker build . END-REPRO-BLOCK 2025-10-18 16:35.18: Using cache hint "ocaml-gospel/why3gospel-ocaml/opam:debian-13-ocaml-5.4@sha256:888c774d4d58e7f324b6278c087e64732081a76af78f2e7652efdf68a8b25288-debian-13-5.4_riscv64_opam-2.4-39a1a30aff05723ce12f550a76d28232" 2025-10-18 16:35.18: 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 deb3de7fc5bdf4eb6ebbacd9c3207c8d6820bc64 || git fetch origin master) && git reset -q --hard deb3de7fc5bdf4eb6ebbacd9c3207c8d6820bc64 && git log --no-decorate -n1 --oneline && opam update -u")) (copy (src why3gospel.opam) (dst ./)) (run (network host) (shell "opam pin add -yn why3gospel.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 cmdliner.2.0.0 conf-gmp.5 conf-pkg-config.4 dune.3.20.2 fmt.0.11.0 gospel.dev menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 ocaml.5.4.0 ocaml-base-compiler.5.4.0 ocaml-compiler.5.4.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 ppx_derivers.1.2.1 ppxlib.0.37.0 sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.1.0 why3.1.8.2 zarith.1.14") (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 why3gospel.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:35.18: Waiting for resource in pool OCluster 2025-10-18 22:25.08: Waiting for worker… 2025-10-19 09:15.48: Got resource from pool OCluster Building on riscv-bm-03.sw.ci.dev All commits already cached HEAD is now at aa4513e update to current gospel (locations in patterns) (from ocaml/opam:debian-13-ocaml-5.4@sha256:888c774d4d58e7f324b6278c087e64732081a76af78f2e7652efdf68a8b25288) Unable to find image 'ocaml/opam:debian-13-ocaml-5.4@sha256:888c774d4d58e7f324b6278c087e64732081a76af78f2e7652efdf68a8b25288' locally docker.io/ocaml/opam@sha256:888c774d4d58e7f324b6278c087e64732081a76af78f2e7652efdf68a8b25288: Pulling from ocaml/opam 913254a25f5e: Pulling fs layer d4181e0c64b1: Pulling fs layer 60067d417858: Pulling fs layer 85acc1d96727: Pulling fs layer 3ed6ed890bcc: Pulling fs layer 2dbf4e493c82: Pulling fs layer 2392a1c0faf2: Pulling fs layer a887790579d0: Pulling fs layer 6bf6091e80a7: Pulling fs layer 8335ff7d796a: Pulling fs layer a5cf80048a8d: Pulling fs layer 11557f96dff6: Pulling fs layer 85acc1d96727: Waiting 5ffa47544a64: Pulling fs layer 2dbf4e493c82: Waiting b92bc0bdd77f: Pulling fs layer 2392a1c0faf2: Waiting 11bee46e736c: Pulling fs layer a887790579d0: Waiting 6cdee63da433: Pulling fs layer bd6b847c6301: Pulling fs layer ef94452a17d0: Pulling fs layer bd4498e2bf68: Pulling fs layer 3ed6ed890bcc: Waiting 6bf6091e80a7: Waiting 8335ff7d796a: Waiting a5cf80048a8d: Waiting 11557f96dff6: Waiting 5ffa47544a64: Waiting b92bc0bdd77f: Waiting 11bee46e736c: Waiting 6cdee63da433: Waiting bd6b847c6301: Waiting ef94452a17d0: Waiting cae9012f5512: Pulling fs layer bd4498e2bf68: Waiting 97e1a82ddbc1: Pulling fs layer 4f4fb700ef54: Pulling fs layer a36b4f4c3856: Pulling fs layer cae9012f5512: Waiting 97e1a82ddbc1: Waiting 4f4fb700ef54: Waiting ba5c5eee93b2: Pulling fs layer a36b4f4c3856: Waiting ccef58c1ec23: Pulling fs layer f58caa225e78: Pulling fs layer e5b816875ec7: Pulling fs layer 637cd996e729: Pulling fs layer 4798bd4315ce: Pulling fs layer 1a9d0398727f: Pulling fs layer 87a13479d21f: Pulling fs layer 826d12795d2a: Pulling fs layer ec3c50c293a6: Pulling fs layer 75873b00ea39: Pulling fs layer ba5c5eee93b2: Waiting 2dc1ede51ef9: Pulling fs layer ccef58c1ec23: Waiting e521104f43f2: Pulling fs layer e5b816875ec7: Waiting 637cd996e729: Waiting 5adb34782261: Pulling fs layer f58caa225e78: Waiting 4798bd4315ce: Waiting 1a9d0398727f: Waiting 3902e7196407: Pulling fs layer 87a13479d21f: Waiting 2dc1ede51ef9: Waiting 826d12795d2a: Waiting ec3c50c293a6: Waiting 75873b00ea39: Waiting e521104f43f2: Waiting 5adb34782261: Waiting 58655837ed1a: Pulling fs layer 48f0059e882a: Pulling fs layer ae593e70caf6: Pulling fs layer c31229a73423: Pulling fs layer c1449e0dd683: Pulling fs layer 3902e7196407: Waiting caf6ad521897: Pulling fs layer 58655837ed1a: Waiting 329dc00a05ae: Pulling fs layer 48f0059e882a: Waiting a47284690750: Pulling fs layer ae593e70caf6: Waiting c31229a73423: Waiting e9c6ab46017e: Pulling fs layer caf6ad521897: Waiting 329dc00a05ae: Waiting a47284690750: Waiting e9c6ab46017e: Waiting c1449e0dd683: Waiting 60067d417858: Verifying Checksum 60067d417858: Download complete d4181e0c64b1: Verifying Checksum d4181e0c64b1: Download complete 85acc1d96727: Verifying Checksum 85acc1d96727: Download complete 3ed6ed890bcc: Verifying Checksum 3ed6ed890bcc: Download complete 913254a25f5e: Verifying Checksum 913254a25f5e: Download complete a887790579d0: Verifying Checksum a887790579d0: Download complete 2392a1c0faf2: Verifying Checksum 2392a1c0faf2: Download complete 6bf6091e80a7: Verifying Checksum 6bf6091e80a7: Download complete 8335ff7d796a: Verifying Checksum a5cf80048a8d: Verifying Checksum a5cf80048a8d: Download complete 5ffa47544a64: Verifying Checksum 5ffa47544a64: Download complete 11557f96dff6: Verifying Checksum 11557f96dff6: Download complete b92bc0bdd77f: Verifying Checksum b92bc0bdd77f: Download complete 11bee46e736c: Verifying Checksum 11bee46e736c: Download complete 6cdee63da433: Verifying Checksum 6cdee63da433: Download complete bd6b847c6301: Verifying Checksum bd6b847c6301: Download complete ef94452a17d0: Download complete bd4498e2bf68: Download complete cae9012f5512: Verifying Checksum cae9012f5512: Download complete 97e1a82ddbc1: Verifying Checksum 97e1a82ddbc1: Download complete 4f4fb700ef54: Verifying Checksum 4f4fb700ef54: Download complete a36b4f4c3856: Verifying Checksum a36b4f4c3856: Download complete ba5c5eee93b2: Download complete ccef58c1ec23: Download complete f58caa225e78: Verifying Checksum f58caa225e78: Download complete 637cd996e729: Verifying Checksum 637cd996e729: Download complete 4798bd4315ce: Verifying Checksum 4798bd4315ce: Download complete e5b816875ec7: Verifying Checksum e5b816875ec7: Download complete 1a9d0398727f: Download complete 87a13479d21f: Download complete 826d12795d2a: Verifying Checksum 826d12795d2a: Download complete ec3c50c293a6: Verifying Checksum ec3c50c293a6: Download complete 913254a25f5e: Pull complete d4181e0c64b1: Pull complete 60067d417858: Pull complete 75873b00ea39: Download complete e521104f43f2: Verifying Checksum e521104f43f2: Download complete 85acc1d96727: Pull complete 3ed6ed890bcc: Pull complete 2dbf4e493c82: Verifying Checksum 2dbf4e493c82: Download complete 3902e7196407: Verifying Checksum 3902e7196407: Download complete 58655837ed1a: Verifying Checksum 58655837ed1a: Download complete 48f0059e882a: Verifying Checksum 48f0059e882a: Download complete ae593e70caf6: Download complete c31229a73423: Verifying Checksum c31229a73423: Download complete c1449e0dd683: Verifying Checksum c1449e0dd683: Download complete 2dc1ede51ef9: Download complete 329dc00a05ae: Verifying Checksum 329dc00a05ae: Download complete 5adb34782261: Verifying Checksum 5adb34782261: Download complete a47284690750: Verifying Checksum a47284690750: Download complete e9c6ab46017e: Verifying Checksum e9c6ab46017e: Download complete caf6ad521897: Verifying Checksum caf6ad521897: Download complete 2dbf4e493c82: Pull complete 2392a1c0faf2: Pull complete a887790579d0: Pull complete 6bf6091e80a7: Pull complete 8335ff7d796a: Pull complete a5cf80048a8d: Pull complete 11557f96dff6: Pull complete 5ffa47544a64: Pull complete b92bc0bdd77f: Pull complete 11bee46e736c: Pull complete 6cdee63da433: Pull complete bd6b847c6301: Pull complete ef94452a17d0: Pull complete bd4498e2bf68: Pull complete cae9012f5512: Pull complete 97e1a82ddbc1: Pull complete 4f4fb700ef54: Pull complete a36b4f4c3856: Pull complete ba5c5eee93b2: Pull complete ccef58c1ec23: Pull complete f58caa225e78: Pull complete e5b816875ec7: Pull complete 637cd996e729: Pull complete 4798bd4315ce: Pull complete 1a9d0398727f: Pull complete 87a13479d21f: Pull complete 826d12795d2a: Pull complete ec3c50c293a6: Pull complete 75873b00ea39: Pull complete 2dc1ede51ef9: Pull complete e521104f43f2: Pull complete 5adb34782261: Pull complete 3902e7196407: Pull complete 58655837ed1a: Pull complete 48f0059e882a: Pull complete ae593e70caf6: Pull complete c31229a73423: Pull complete c1449e0dd683: Pull complete caf6ad521897: Pull complete 329dc00a05ae: Pull complete a47284690750: Pull complete e9c6ab46017e: Pull complete Digest: sha256:888c774d4d58e7f324b6278c087e64732081a76af78f2e7652efdf68a8b25288 Status: Downloaded newer image for ocaml/opam@sha256:888c774d4d58e7f324b6278c087e64732081a76af78f2e7652efdf68a8b25288 2025-10-19 09:15.48 ---> 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 09:15.48 ---> 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] y Format upgrade done. <><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><> [default] Initialised 2025-10-19 09:15.48 ---> using "ef3971c1a78d0fadecd4a56e92a3279693226b19b1d03251b9953afe2a9d9d48" from cache /src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version")) Linux 5.10.113-scw1 The OCaml toplevel, version 5.4.0 2.4.1 2025-10-19 09:15.48 ---> using "99827ec3f74219203532dd967ad83b982b5f930c87faab8530ffa6a021da7b6c" from cache /src: (workdir /src) /src: (run (shell "sudo chown opam /src")) 2025-10-19 09:15.48 ---> 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 deb3de7fc5bdf4eb6ebbacd9c3207c8d6820bc64 || git fetch origin master) && git reset -q --hard deb3de7fc5bdf4eb6ebbacd9c3207c8d6820bc64 && git log --no-decorate -n1 --oneline && opam update -u")) From https://github.com/ocaml/opam-repository * branch master -> FETCH_HEAD 1abfcdbf14..5bf570252b master -> origin/master deb3de7fc5 Merge pull request #28686 from NathanReb/release-ppxlib-0.37.0 <><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><> [default] synchronised from git+file:///home/opam/opam-repository Already up-to-date. Nothing to do. # To update the current shell environment, run: eval $(opam env) 2025-10-19 09:15.48 ---> using "df243cdc7f5d0c2827da3694a7917d6d53528fe8af6e97630e58f506fdf35b7c" from cache /src: (copy (src why3gospel.opam) (dst ./)) 2025-10-19 09:15.49 ---> saved as "ce67fa111d03cfd07139b573ee6609d691ba241dbbcecce4bf5c5f8cd568a5ac" /src: (run (network host) (shell "opam pin add -yn why3gospel.dev './'")) [NOTE] Package why3gospel does not exist in opam repositories registered in the current switch. [why3gospel.dev] synchronised (file:///src) The following additional pinnings are required by why3gospel.dev: - gospel.dev at git+https://github.com/ocaml-gospel/gospel#65587404d2167840bd5f09bbb9da29c49ee3fb83 Pin and install them? [Y/n] y [gospel.dev] synchronised (no changes) gospel is now pinned to git+https://github.com/ocaml-gospel/gospel#65587404d2167840bd5f09bbb9da29c49ee3fb83 (version dev) why3gospel is now pinned to file:///src (version dev) 2025-10-19 09:16.02 ---> saved as "0270792d848670b4b8022f069f30a94d58feb365c7505dbab577add48be44379" /src: (run (network host) (shell "echo '(lang dune 3.0)' > './dune-project'")) 2025-10-19 09:16.02 ---> saved as "24dd6286f38a2154fb623d47b1b6d9aa07cc232c64687ce48782c02b54f217de" /src: (env DEPS "base-bigarray.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base cmdliner.2.0.0 conf-gmp.5 conf-pkg-config.4 dune.3.20.2 fmt.0.11.0 gospel.dev menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 ocaml.5.4.0 ocaml-base-compiler.5.4.0 ocaml-compiler.5.4.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 ppx_derivers.1.2.1 ppxlib.0.37.0 sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.1.0 why3.1.8.2 zarith.1.14") /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 why3gospel.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 (323 kB/s) - Reading package lists... - <><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> [why3gospel.dev] synchronised (file:///src) [gospel.dev] synchronised (no changes) [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: libgmp-dev pkg-config <><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><> + /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev" "pkg-config" - Selecting previously unselected package libgmpxx4ldbl:riscv64. - (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 .../0-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_riscv64.deb ... - Unpacking libgmpxx4ldbl:riscv64 (2:6.3.0+dfsg-3) ... - Selecting previously unselected package libgmp-dev:riscv64. - Preparing to unpack .../1-libgmp-dev_2%3a6.3.0+dfsg-3_riscv64.deb ... - Unpacking libgmp-dev:riscv64 (2:6.3.0+dfsg-3) ... - Selecting previously unselected package libpkgconf3:riscv64. - Preparing to unpack .../2-libpkgconf3_1.8.1-4_riscv64.deb ... - Unpacking libpkgconf3:riscv64 (1.8.1-4) ... - Selecting previously unselected package pkgconf-bin. - Preparing to unpack .../3-pkgconf-bin_1.8.1-4_riscv64.deb ... - Unpacking pkgconf-bin (1.8.1-4) ... - Selecting previously unselected package pkgconf:riscv64. - Preparing to unpack .../4-pkgconf_1.8.1-4_riscv64.deb ... - Unpacking pkgconf:riscv64 (1.8.1-4) ... - Selecting previously unselected package pkg-config:riscv64. - Preparing to unpack .../5-pkg-config_1.8.1-4_riscv64.deb ... - Unpacking pkg-config:riscv64 (1.8.1-4) ... - Setting up libpkgconf3:riscv64 (1.8.1-4) ... - Setting up libgmpxx4ldbl:riscv64 (2:6.3.0+dfsg-3) ... - Setting up pkgconf-bin (1.8.1-4) ... - Setting up libgmp-dev:riscv64 (2:6.3.0+dfsg-3) ... - Setting up pkgconf:riscv64 (1.8.1-4) ... - Setting up pkg-config:riscv64 (1.8.1-4) ... - Processing triggers for libc-bin (2.41-12) ... 2025-10-19 09:17.04 ---> saved as "991e453e737ad1c310a189e3b9fbcd40617e37591b94b5fd422ba7a5dd4e5843" /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam install $DEPS")) <><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> [gospel.dev] synchronised (no changes) [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 20 packages - install cmdliner 2.0.0 - install conf-gmp 5 - install conf-pkg-config 4 - install dune 3.20.2 - install fmt 0.11.0 - install gospel dev (pinned) - install menhir 20250912 - install menhirCST 20250912 - install menhirLib 20250912 - install menhirSdk 20250912 - install ocaml-compiler-libs v0.17.0 - install ocamlbuild 0.16.1 - install ocamlfind 1.9.8 - install ppx_derivers 1.2.1 - install ppxlib 0.37.0 - install sexplib0 v0.17.0 - install stdlib-shims 0.3.0 - install topkg 1.1.0 - install why3 1.8.2 - install zarith 1.14 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved conf-gmp.5 (cached) -> retrieved cmdliner.2.0.0 (cached) -> retrieved fmt.0.11.0 (cached) -> installed conf-gmp.5 -> installed conf-pkg-config.4 -> retrieved menhir.20250912, menhirCST.20250912, menhirLib.20250912, menhirSdk.20250912 (cached) -> retrieved dune.3.20.2 (cached) -> retrieved ocaml-compiler-libs.v0.17.0 (cached) -> retrieved ocamlbuild.0.16.1 (cached) -> retrieved ocamlfind.1.9.8 (cached) -> retrieved ppx_derivers.1.2.1 (cached) -> retrieved gospel.dev (no changes) -> retrieved stdlib-shims.0.3.0 (cached) -> retrieved sexplib0.v0.17.0 (cached) -> retrieved topkg.1.1.0 (cached) -> retrieved ppxlib.0.37.0 (cached) -> retrieved zarith.1.14 (cached) -> retrieved why3.1.8.2 (cached) -> installed cmdliner.2.0.0 -> installed ocamlfind.1.9.8 -> installed ocamlbuild.0.16.1 -> installed zarith.1.14 -> installed topkg.1.1.0 -> installed fmt.0.11.0 -> installed dune.3.20.2 -> installed menhirCST.20250912 -> installed menhirSdk.20250912 -> installed ppx_derivers.1.2.1 -> installed menhirLib.20250912 -> installed stdlib-shims.0.3.0 -> installed sexplib0.v0.17.0 -> installed ocaml-compiler-libs.v0.17.0 -> installed menhir.20250912 -> installed ppxlib.0.37.0 [ERROR] The compilation of gospel.dev failed at "dune build -p gospel -j 3". -> installed why3.1.8.2 #=== ERROR while compiling gospel.dev =========================================# # context 2.4.1 | linux/riscv64 | ocaml-base-compiler.5.4.0 | pinned(git+https://github.com/ocaml-gospel/gospel#65587404d2167840bd5f09bbb9da29c49ee3fb83#65587404d2167840bd5f09bbb9da29c49ee3fb83) # path ~/.opam/5.4/.opam-switch/build/gospel.dev # command ~/.opam/5.4/bin/dune build -p gospel -j 3 # exit-code 1 # env-file ~/.opam/log/gospel-1-55a045.env # output-file ~/.opam/log/gospel-1-55a045.out ### output ### # (cd _build/default && /home/opam/.opam/5.4/bin/ocamlc.opt -w -40 -open Ocaml_shadow -w -9 -g -bin-annot -bin-annot-occurrences -I src/.gospel.objs/byte -I /home/opam/.opam/5.4/lib/fmt -I /home/opam/.opam/5.4/lib/ocaml-compiler-libs/common -I /home/opam/.opam/5.4/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/5.4/lib/ocaml/compiler-libs -I /home/opam/.opam/5.4/lib/ppx_derivers -I /home/opam/.opam/5.4/lib/ppxlib -I /home/opam/.opam/5.4/lib/ppxlib/ast -I /home/opam/.opam/5.4/lib/ppxlib/astlib -I /home/opam/.opam/5.4/lib/ppxlib/print_diff -I /home/opam/.opam/5.4/lib/ppxlib/stdppx -I /home/opam/.opam/5.4/lib/ppxlib/traverse_builtins -I /home/opam/.opam/5.4/lib/sexplib0 -I /home/opam/.opam/5.4/lib/stdlib-shims -no-alias-deps -open Gospel -o src/.gospel.objs/byte/gospel__Opprintast.cmo -c -impl src/Opprintast.ml) # File "src/Opprintast.ml", line 304, characters 60-61: # 304 | pp f "@[<2>%a@;as@;%a@]" (core_type1 ctxt) ct tyvar s # ^ # Error: The value s has type # string Ppxlib_ast__Versions.OCaml_502.Ast.Asttypes.loc = # string Location.loc # but an expression was expected of type string # (cd _build/default && /home/opam/.opam/5.4/bin/ocamlc.opt -w -40 -open Ocaml_shadow -w -9 -g -bin-annot -bin-annot-occurrences -I src/.gospel.objs/byte -I /home/opam/.opam/5.4/lib/fmt -I /home/opam/.opam/5.4/lib/ocaml-compiler-libs/common -I /home/opam/.opam/5.4/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/5.4/lib/ocaml/compiler-libs -I /home/opam/.opam/5.4/lib/ppx_derivers -I /home/opam/.opam/5.4/lib/ppxlib -I /home/opam/.opam/5.4/lib/ppxlib/ast -I /home/opam/.opam/5.4/lib/ppxlib/astlib -I /home/opam/.opam/5.4/lib/ppxlib/print_diff -I /home/opam/.opam/5.4/lib/ppxlib/stdppx -I /home/opam/.opam/5.4/lib/ppxlib/traverse_builtins -I /home/opam/.opam/5.4/lib/sexplib0 -I /home/opam/.opam/5.4/lib/stdlib-shims -cmi-file src/.gospel.objs/byte/gospel__Uattr2spec.cmi -no-alias-deps -open Gospel -o src/.gospel.objs/byte/gospel__Uattr2spec.cmo -c -impl src/uattr2spec.ml) # File "src/uattr2spec.ml", lines 170-174, characters 2-49: # 170 | ..match c with # 171 | | Pwith_type (l, t) -> Wtype (l, no_spec_type_decl t) # 172 | | Pwith_module (l1, l2) -> Wmodule (l1, l2) # 173 | | Pwith_typesubst (l, t) -> Wtypesubst (l, no_spec_type_decl t) # 174 | | Pwith_modsubst (l1, l2) -> Wmodsubst (l1, l2) # Warning 8 [partial-match]: this pattern-matching is not exhaustive. # Here is an example of a case that is not matched: # (Pwith_modtype (_, _)|Pwith_modtypesubst (_, _)) # # File "src/uattr2spec.ml", lines 176-192, characters 40-54: # 176 | ........................................function # 177 | | Psig_value v -> Sig_val (val_description ~filename v) # 178 | | Psig_type (r, tl) -> Sig_type (r, List.map (type_declaration ~filename) tl) # 179 | | Psig_attribute a -> # 180 | if not (is_spec a) then Sig_attribute a else floating_spec ~filename a # ... # 189 | | Psig_class c -> Sig_class c # 190 | | Psig_class_type c -> Sig_class_type c # 191 | | Psig_extension (e, a) -> Sig_extension (e, a) # 192 | | Psig_typesubst _ | Psig_modsubst _ -> assert false # Warning 8 [partial-match]: this pattern-matching is not exhaustive. # Here is an example of a case that is not matched: Psig_modtypesubst _ # (cd _build/default && /home/opam/.opam/5.4/bin/ocamlopt.opt -w -40 -open Ocaml_shadow -w -9 -g -I src/.gospel.objs/byte -I src/.gospel.objs/native -I /home/opam/.opam/5.4/lib/fmt -I /home/opam/.opam/5.4/lib/ocaml-compiler-libs/common -I /home/opam/.opam/5.4/lib/ocaml-compiler-libs/shadow -I /home/opam/.opam/5.4/lib/ocaml/compiler-libs -I /home/opam/.opam/5.4/lib/ppx_derivers -I /home/opam/.opam/5.4/lib/ppxlib -I /home/opam/.opam/5.4/lib/ppxlib/ast -I /home/opam/.opam/5.4/lib/ppxlib/astlib -I /home/opam/.opam/5.4/lib/ppxlib/print_diff -I /home/opam/.opam/5.4/lib/ppxlib/stdppx -I /home/opam/.opam/5.4/lib/ppxlib/traverse_builtins -I /home/opam/.opam/5.4/lib/sexplib0 -I /home/opam/.opam/5.4/lib/stdlib-shims -cmi-file src/.gospel.objs/byte/gospel__Uattr2spec.cmi -no-alias-deps -open Gospel -o src/.gospel.objs/native/gospel__Uattr2spec.cmx -c -impl src/uattr2spec.ml) # File "src/uattr2spec.ml", lines 170-174, characters 2-49: # 170 | ..match c with # 171 | | Pwith_type (l, t) -> Wtype (l, no_spec_type_decl t) # 172 | | Pwith_module (l1, l2) -> Wmodule (l1, l2) # 173 | | Pwith_typesubst (l, t) -> Wtypesubst (l, no_spec_type_decl t) # 174 | | Pwith_modsubst (l1, l2) -> Wmodsubst (l1, l2) # Warning 8 [partial-match]: this pattern-matching is not exhaustive. # Here is an example of a case that is not matched: # (Pwith_modtype (_, _)|Pwith_modtypesubst (_, _)) # # File "src/uattr2spec.ml", lines 176-192, characters 40-54: # 176 | ........................................function # 177 | | Psig_value v -> Sig_val (val_description ~filename v) # 178 | | Psig_type (r, tl) -> Sig_type (r, List.map (type_declaration ~filename) tl) # 179 | | Psig_attribute a -> # 180 | if not (is_spec a) then Sig_attribute a else floating_spec ~filename a # ... # 189 | | Psig_class c -> Sig_class c # 190 | | Psig_class_type c -> Sig_class_type c # 191 | | Psig_extension (e, a) -> Sig_extension (e, a) # 192 | | Psig_typesubst _ | Psig_modsubst _ -> assert false # Warning 8 [partial-match]: this pattern-matching is not exhaustive. # Here is an example of a case that is not matched: Psig_modtypesubst _ <><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><> +- The following actions failed | - build gospel dev +- +- The following changes have been performed | - install cmdliner 2.0.0 | - install conf-gmp 5 | - install conf-pkg-config 4 | - install dune 3.20.2 | - install fmt 0.11.0 | - install menhir 20250912 | - install menhirCST 20250912 | - install menhirLib 20250912 | - install menhirSdk 20250912 | - install ocaml-compiler-libs v0.17.0 | - install ocamlbuild 0.16.1 | - install ocamlfind 1.9.8 | - install ppx_derivers 1.2.1 | - install ppxlib 0.37.0 | - install sexplib0 v0.17.0 | - install stdlib-shims 0.3.0 | - install topkg 1.1.0 | - install why3 1.8.2 | - install zarith 1.14 +- # To update the current shell environment, run: eval $(opam env) The former state can be restored with: /usr/bin/opam switch import "/home/opam/.opam/5.4/.opam-switch/backup/state-20251019091706.export" "/usr/bin/env" "bash" "-c" "opam install $DEPS" failed with exit status 31 2025-10-19 09:36.32: Job failed: Failed: Build failed