2025-10-18 16:35.15: New job: test ocaml-gospel/gospel https://github.com/ocaml-gospel/gospel.git#refs/heads/implementations_gospel (c20125aeb2154b3853e0e5411c4548f568541096) (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/gospel.git" -b "implementations_gospel" && cd "gospel" && git reset --hard c20125ae 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 gospel.opam ./ RUN opam pin add -yn gospel.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 cppo.1.8.0 dune.3.20.2 fmt.0.11.0 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 ppx_deriving.6.1.1 ppxlib.0.37.0 sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.1.0" ENV CI="true" ENV OCAMLCI="true" RUN opam update --depexts && opam install --cli=2.4 --depext-only -y gospel.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.15: Using cache hint "ocaml-gospel/gospel-ocaml/opam:debian-13-ocaml-5.4@sha256:888c774d4d58e7f324b6278c087e64732081a76af78f2e7652efdf68a8b25288-debian-13-5.4_riscv64_opam-2.4-626bd2da877cda25177e817e9bc2e06f" 2025-10-18 16:35.15: 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 gospel.opam) (dst ./)) (run (network host) (shell "opam pin add -yn gospel.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 cppo.1.8.0 dune.3.20.2 fmt.0.11.0 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 ppx_deriving.6.1.1 ppxlib.0.37.0 sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.1.0") (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 gospel.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.15: Waiting for resource in pool OCluster 2025-10-18 22:17.16: Waiting for worker… 2025-10-19 09:09.24: Got resource from pool OCluster Building on riscv-bm-01.sw.ci.dev All commits already cached HEAD is now at c20125a Experimenting with dinamically verified invariants (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 5ffa47544a64: Pulling fs layer b92bc0bdd77f: Pulling fs layer 11bee46e736c: Pulling fs layer 6cdee63da433: Pulling fs layer bd6b847c6301: Pulling fs layer ef94452a17d0: Pulling fs layer bd4498e2bf68: Pulling fs layer cae9012f5512: Pulling fs layer 97e1a82ddbc1: Pulling fs layer 4f4fb700ef54: Pulling fs layer a36b4f4c3856: Pulling fs layer ba5c5eee93b2: Pulling fs layer 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 2dc1ede51ef9: Pulling fs layer e521104f43f2: Pulling fs layer 5adb34782261: Pulling fs layer 3902e7196407: Pulling fs layer 58655837ed1a: Pulling fs layer 48f0059e882a: Pulling fs layer ae593e70caf6: Pulling fs layer c31229a73423: Pulling fs layer c1449e0dd683: Pulling fs layer caf6ad521897: Pulling fs layer 329dc00a05ae: Pulling fs layer a47284690750: Pulling fs layer e9c6ab46017e: Pulling fs layer ba5c5eee93b2: Waiting ccef58c1ec23: Waiting f58caa225e78: Waiting e5b816875ec7: Waiting 637cd996e729: Waiting 4798bd4315ce: Waiting 1a9d0398727f: Waiting 87a13479d21f: Waiting 826d12795d2a: Waiting ec3c50c293a6: Waiting 75873b00ea39: Waiting 2dc1ede51ef9: Waiting e521104f43f2: Waiting 5adb34782261: Waiting 3902e7196407: Waiting 58655837ed1a: Waiting 48f0059e882a: Waiting ae593e70caf6: Waiting c31229a73423: Waiting c1449e0dd683: Waiting caf6ad521897: Waiting 329dc00a05ae: Waiting a47284690750: Waiting e9c6ab46017e: Waiting 85acc1d96727: Waiting 3ed6ed890bcc: Waiting 11bee46e736c: Waiting 2dbf4e493c82: Waiting 6cdee63da433: Waiting 2392a1c0faf2: Waiting bd6b847c6301: Waiting a887790579d0: Waiting ef94452a17d0: Waiting 6bf6091e80a7: Waiting bd4498e2bf68: Waiting 8335ff7d796a: Waiting a5cf80048a8d: Waiting cae9012f5512: Waiting 11557f96dff6: Waiting 97e1a82ddbc1: Waiting 4f4fb700ef54: Waiting 5ffa47544a64: Waiting b92bc0bdd77f: Waiting a36b4f4c3856: Waiting 60067d417858: Download complete d4181e0c64b1: Verifying Checksum d4181e0c64b1: Download complete 3ed6ed890bcc: Verifying Checksum 3ed6ed890bcc: Download complete 85acc1d96727: Verifying Checksum 85acc1d96727: Download complete 913254a25f5e: Verifying Checksum 913254a25f5e: Download complete 2392a1c0faf2: Verifying Checksum 2392a1c0faf2: Download complete a887790579d0: Verifying Checksum a887790579d0: Download complete 6bf6091e80a7: Verifying Checksum 6bf6091e80a7: Download complete 8335ff7d796a: Verifying Checksum 8335ff7d796a: Download complete 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: Download complete 913254a25f5e: Pull complete d4181e0c64b1: Pull complete 60067d417858: Pull complete bd6b847c6301: Verifying Checksum bd6b847c6301: Download complete 6cdee63da433: Verifying Checksum 6cdee63da433: Download complete bd4498e2bf68: Verifying Checksum bd4498e2bf68: Download complete ef94452a17d0: Verifying Checksum ef94452a17d0: Download complete 85acc1d96727: Pull complete 3ed6ed890bcc: Pull complete 2dbf4e493c82: Verifying Checksum 2dbf4e493c82: Download complete 4f4fb700ef54: Verifying Checksum 4f4fb700ef54: Download complete cae9012f5512: Verifying Checksum cae9012f5512: Download complete 97e1a82ddbc1: Download complete a36b4f4c3856: Verifying Checksum a36b4f4c3856: Download complete ba5c5eee93b2: Verifying Checksum ba5c5eee93b2: Download complete ccef58c1ec23: Verifying Checksum ccef58c1ec23: Download complete e5b816875ec7: Verifying Checksum e5b816875ec7: Download complete f58caa225e78: Verifying Checksum f58caa225e78: Download complete 637cd996e729: Verifying Checksum 637cd996e729: Download complete 1a9d0398727f: Verifying Checksum 1a9d0398727f: Download complete 4798bd4315ce: Verifying Checksum 4798bd4315ce: Download complete 87a13479d21f: Verifying Checksum 87a13479d21f: Download complete 826d12795d2a: Verifying Checksum 826d12795d2a: Download complete 75873b00ea39: Verifying Checksum 75873b00ea39: Download complete ec3c50c293a6: Verifying Checksum ec3c50c293a6: Download complete e521104f43f2: Download complete 3902e7196407: Download complete 58655837ed1a: Verifying Checksum 58655837ed1a: Download complete 48f0059e882a: Verifying Checksum 48f0059e882a: Download complete ae593e70caf6: Verifying Checksum ae593e70caf6: Download complete c31229a73423: Verifying Checksum c31229a73423: Download complete c1449e0dd683: Verifying Checksum c1449e0dd683: Download complete caf6ad521897: Verifying Checksum caf6ad521897: Download complete 329dc00a05ae: Download complete a47284690750: Verifying Checksum a47284690750: Download complete 2dc1ede51ef9: Verifying Checksum 2dc1ede51ef9: Download complete e9c6ab46017e: Download complete 5adb34782261: Verifying Checksum 5adb34782261: 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:09.25 ---> 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:09.25 ---> 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:09.25 ---> 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:09.25 ---> using "99827ec3f74219203532dd967ad83b982b5f930c87faab8530ffa6a021da7b6c" from cache /src: (workdir /src) /src: (run (shell "sudo chown opam /src")) 2025-10-19 09:09.25 ---> 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:09.25 ---> using "df243cdc7f5d0c2827da3694a7917d6d53528fe8af6e97630e58f506fdf35b7c" from cache /src: (copy (src gospel.opam) (dst ./)) 2025-10-19 09:09.26 ---> saved as "bf788dcb041ad945979a26c74c67cb72039e01d937531ca42d3ddf589a181428" /src: (run (network host) (shell "opam pin add -yn gospel.dev './'")) [gospel.dev] synchronised (file:///src) gospel is now pinned to file:///src (version dev) 2025-10-19 09:09.34 ---> saved as "a193cf37ea62dd3e88286442933e4aa4e0e226d1450722ca5993b1e8191cc739" /src: (run (network host) (shell "echo '(lang dune 3.0)' > './dune-project'")) 2025-10-19 09:09.34 ---> saved as "fd10c79a7c283ff7ee296d70285807b7bc8770a4dccc4095baf5cc0f88e48c2c" /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 cppo.1.8.0 dune.3.20.2 fmt.0.11.0 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 ppx_deriving.6.1.1 ppxlib.0.37.0 sexplib0.v0.17.0 stdlib-shims.0.3.0 topkg.1.1.0") /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 gospel.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 (311 kB/s) - Reading package lists... - <><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> [gospel.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). 2025-10-19 09:10.19 ---> saved as "126e7a125574943838f4cb0a09b4188a3efd05a9d7effdc97f381e65ca0be908" /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 17 packages - install cmdliner 2.0.0 - install cppo 1.8.0 - 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 ppx_deriving 6.1.1 - install ppxlib 0.37.0 - install sexplib0 v0.17.0 - install stdlib-shims 0.3.0 - install topkg 1.1.0 <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> -> retrieved cmdliner.2.0.0 (cached) -> retrieved cppo.1.8.0 (cached) -> retrieved fmt.0.11.0 (cached) -> retrieved ocaml-compiler-libs.v0.17.0 (cached) -> retrieved menhir.20250912, menhirCST.20250912, menhirLib.20250912, menhirSdk.20250912 (cached) -> retrieved dune.3.20.2 (cached) -> retrieved ocamlbuild.0.16.1 (cached) -> retrieved ocamlfind.1.9.8 (cached) -> retrieved ppx_derivers.1.2.1 (cached) -> retrieved ppx_deriving.6.1.1 (cached) -> retrieved sexplib0.v0.17.0 (cached) -> retrieved stdlib-shims.0.3.0 (cached) -> retrieved topkg.1.1.0 (cached) -> retrieved ppxlib.0.37.0 (cached) -> installed cmdliner.2.0.0 -> installed ocamlfind.1.9.8 -> installed ocamlbuild.0.16.1 -> installed topkg.1.1.0 -> installed fmt.0.11.0 -> installed dune.3.20.2 -> installed menhirCST.20250912 -> installed menhirLib.20250912 -> installed menhirSdk.20250912 -> installed ppx_derivers.1.2.1 -> installed cppo.1.8.0 -> installed sexplib0.v0.17.0 -> installed stdlib-shims.0.3.0 -> installed ocaml-compiler-libs.v0.17.0 -> installed menhir.20250912 -> installed ppxlib.0.37.0 -> installed ppx_deriving.6.1.1 Done. # To update the current shell environment, run: eval $(opam env) 2025-10-19 09:19.30 ---> saved as "749b9a95b9ce9fe7481fd5da84e80acf05fc70afdc2385cfe74187403835229c" /src: (copy (src .) (dst /src)) 2025-10-19 09:19.31 ---> saved as "f6ea91cbe6affdb81908fb57d08d943f3606cf60d0105de0c79e9704ed56f38b" /src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build")) (cd _build/default && /home/opam/.opam/5.4/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -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/ppx_deriving/runtime -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 -opaque -open Gospel -o src/.gospel.objs/byte/gospel__Opprintast.cmo -c -impl src/Opprintast.pp.ml) File "src/Opprintast.ml", line 59, characters 46-52: 59 | check_variable var_names t.ptyp_loc string; ^^^^^^ Error: The value string has type string loc but an expression was expected of type string (cd _build/default && /home/opam/.opam/5.4/bin/ocamlc.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -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/ppx_deriving/runtime -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 -opaque -open Gospel -o src/.gospel.objs/byte/gospel__Uattr2spec.cmo -c -impl src/uattr2spec.pp.ml) File "src/uattr2spec.ml", line 339, characters 6-29: 339 | | Pexp_function case_list -> Sexp_function (List.map case case_list) ^^^^^^^^^^^^^^^^^^^^^^^ Error: The constructor Pexp_function expects 3 argument(s), but is applied here to 1 argument(s) (cd _build/default && /home/opam/.opam/5.4/bin/ocamlopt.opt -w @1..3@5..28@30..39@43@46..47@49..57@61..62-40 -strict-sequence -strict-formats -short-paths -keep-locs -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/ppx_deriving/runtime -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 -opaque -open Gospel -o src/.gospel.objs/native/gospel__Uattr2spec.cmx -c -impl src/uattr2spec.pp.ml) File "src/uattr2spec.ml", line 339, characters 6-29: 339 | | Pexp_function case_list -> Sexp_function (List.map case case_list) ^^^^^^^^^^^^^^^^^^^^^^^ Error: The constructor Pexp_function expects 3 argument(s), but is applied here to 1 argument(s) "/usr/bin/env" "bash" "-c" "opam exec -- dune build @install @check @runtest && rm -rf _build" failed with exit status 1 2025-10-19 09:20.17: Job failed: Failed: Build failed