2025-10-06 10:19.58: New job: test ocaml-gospel/ortac https://github.com/ocaml-gospel/ortac.git#refs/pull/360/head (979d9170e2ca61c6cf8f228bc23fe4ea1f219df7) (linux-x86_64:debian-11-5.3_opam-2.4) Base: ocaml/opam:debian-11-ocaml-5.3@sha256:2c3cc5332e0b6ff6d22748d5edb1ed50642e2a9afd3a22a3645bfb6420dcfc59 Opam project build To reproduce locally: git clone --recursive "https://github.com/ocaml-gospel/ortac.git" && cd "ortac" && git fetch origin "refs/pull/360/head" && git reset --hard 979d9170 cat > Dockerfile <<'END-OF-DOCKERFILE' FROM ocaml/opam:debian-11-ocaml-5.3@sha256:2c3cc5332e0b6ff6d22748d5edb1ed50642e2a9afd3a22a3645bfb6420dcfc59 # debian-11-5.3_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 241aae26db44294142794da0ce695e8beac418df || git fetch origin master) && git reset -q --hard 241aae26db44294142794da0ce695e8beac418df && git log --no-decorate -n1 --oneline && opam update -u COPY --chown=1000:1000 ortac-wrapper.opam ortac-runtime.opam ortac-runtime-qcheck-stm.opam ortac-runtime-monolith.opam ortac-qcheck-stm.opam ortac-monolith.opam ortac-examples.opam ortac-dune.opam ortac-core.opam ./ RUN opam pin add -yn ortac-wrapper.dev './' && \ opam pin add -yn ortac-runtime.dev './' && \ opam pin add -yn ortac-runtime-qcheck-stm.dev './' && \ opam pin add -yn ortac-runtime-monolith.dev './' && \ opam pin add -yn ortac-qcheck-stm.dev './' && \ opam pin add -yn ortac-monolith.dev './' && \ opam pin add -yn ortac-examples.dev './' && \ opam pin add -yn ortac-dune.dev './' && \ opam pin add -yn ortac-core.dev './' RUN echo '(lang dune 3.0)' > './dune-project' ENV DEPS="afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2 dune.3.20.2 dune-build-info.3.20.2 dune-private-libs.3.20.2 dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0 gospel.0.3.0 logs.0.9.0 lwt-dllist.1.1.0 mdx.2.5.0 menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 monolith.20250922 multicore-magic.2.3.1 ocaml.5.3.0 ocaml-base-compiler.5.3.0 ocaml-compiler.5.3.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 ordering.3.20.2 pp.2.0.0 pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.0.3 ppxlib.0.35.0 qcheck-core.0.26 qcheck-multicoretests-util.0.9 qcheck-stm.0.9 re.1.14.0 result.1.5 saturn.1.0.0 sexplib0.v0.17.0 stdlib-shims.0.3.0 stdune.3.20.2 topkg.1.1.0 uutf.1.0.4 varray.0.2 zarith.1.14" ENV CI="true" ENV OCAMLCI="true" RUN opam update --depexts && opam install --cli=2.4 --depext-only -y ortac-wrapper.dev ortac-runtime.dev ortac-runtime-qcheck-stm.dev ortac-runtime-monolith.dev ortac-qcheck-stm.dev ortac-monolith.dev ortac-examples.dev ortac-dune.dev ortac-core.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-06 10:19.58: Using cache hint "ocaml-gospel/ortac-ocaml/opam:debian-11-ocaml-5.3@sha256:2c3cc5332e0b6ff6d22748d5edb1ed50642e2a9afd3a22a3645bfb6420dcfc59-debian-11-5.3_opam-2.4-b28f5aaa9101262b389b5c5387cd320b" 2025-10-06 10:19.58: Using OBuilder spec: ((from ocaml/opam:debian-11-ocaml-5.3@sha256:2c3cc5332e0b6ff6d22748d5edb1ed50642e2a9afd3a22a3645bfb6420dcfc59) (comment debian-11-5.3_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 241aae26db44294142794da0ce695e8beac418df || git fetch origin master) && git reset -q --hard 241aae26db44294142794da0ce695e8beac418df && git log --no-decorate -n1 --oneline && opam update -u")) (copy (src ortac-wrapper.opam ortac-runtime.opam ortac-runtime-qcheck-stm.opam ortac-runtime-monolith.opam ortac-qcheck-stm.opam ortac-monolith.opam ortac-examples.opam ortac-dune.opam ortac-core.opam) (dst ./)) (run (network host) (shell "opam pin add -yn ortac-wrapper.dev './' && \ \nopam pin add -yn ortac-runtime.dev './' && \ \nopam pin add -yn ortac-runtime-qcheck-stm.dev './' && \ \nopam pin add -yn ortac-runtime-monolith.dev './' && \ \nopam pin add -yn ortac-qcheck-stm.dev './' && \ \nopam pin add -yn ortac-monolith.dev './' && \ \nopam pin add -yn ortac-examples.dev './' && \ \nopam pin add -yn ortac-dune.dev './' && \ \nopam pin add -yn ortac-core.dev './'")) (run (network host) (shell "echo '(lang dune 3.0)' > './dune-project'")) (env DEPS "afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2 dune.3.20.2 dune-build-info.3.20.2 dune-private-libs.3.20.2 dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0 gospel.0.3.0 logs.0.9.0 lwt-dllist.1.1.0 mdx.2.5.0 menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 monolith.20250922 multicore-magic.2.3.1 ocaml.5.3.0 ocaml-base-compiler.5.3.0 ocaml-compiler.5.3.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 ordering.3.20.2 pp.2.0.0 pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.0.3 ppxlib.0.35.0 qcheck-core.0.26 qcheck-multicoretests-util.0.9 qcheck-stm.0.9 re.1.14.0 result.1.5 saturn.1.0.0 sexplib0.v0.17.0 stdlib-shims.0.3.0 stdune.3.20.2 topkg.1.1.0 uutf.1.0.4 varray.0.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 ortac-wrapper.dev ortac-runtime.dev ortac-runtime-qcheck-stm.dev ortac-runtime-monolith.dev ortac-qcheck-stm.dev ortac-monolith.dev ortac-examples.dev ortac-dune.dev ortac-core.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-06 10:19.58: Waiting for resource in pool OCluster 2025-10-06 10:19.58: Waiting for worker… 2025-10-06 10:21.00: Got resource from pool OCluster Building on phoebe All commits already cached HEAD is now at 979d917 Update Changelog (from ocaml/opam:debian-11-ocaml-5.3@sha256:2c3cc5332e0b6ff6d22748d5edb1ed50642e2a9afd3a22a3645bfb6420dcfc59) 2025-10-06 10:21.35 ---> saved as "95fd9c8d298b084446e7fa98aad24b0467f972d0d7fc1b344d90cf07cc9b1dd5" /: (comment debian-11-5.3_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-06 10:21.36 ---> saved as "f4b7ff632ef3e2f17b84c2f94c38b9732a45953ef3bf93fb0f456912a2bdbf2d" /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 255 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=255 --global Format upgrade done. <><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><> [default] Initialised 2025-10-06 10:22.21 ---> saved as "2085d12349566e802e7a9a256146242a2f2bda7d25ca6a814cbd17dd2c8eac07" /src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version")) Linux 6.8.0-84-generic The OCaml toplevel, version 5.3.0 2.4.1 2025-10-06 10:22.21 ---> saved as "ace289977fe450b6b78891a22eaf60d9752c756860d979a1eacdacf8e4d19089" /src: (workdir /src) /src: (run (shell "sudo chown opam /src")) 2025-10-06 10:22.22 ---> saved as "9b45b352fe1101087da571b67c1540c0885cade37240dfe5ebf71d6ad1fbd93a" /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "cd ~/opam-repository && (git cat-file -e 241aae26db44294142794da0ce695e8beac418df || git fetch origin master) && git reset -q --hard 241aae26db44294142794da0ce695e8beac418df && git log --no-decorate -n1 --oneline && opam update -u")) From https://github.com/ocaml/opam-repository * branch master -> FETCH_HEAD bcac5d1731..f3270ccd6e master -> origin/master 241aae26db Merge pull request #28629 from dinosaure/release-alcotest-1.9.1 <><> 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-06 10:23.05 ---> saved as "c137da28bcbc344e7fb48db10419cf4eb771c9be5f83ed8fcb89b11ee32d830b" /src: (copy (src ortac-wrapper.opam ortac-runtime.opam ortac-runtime-qcheck-stm.opam ortac-runtime-monolith.opam ortac-qcheck-stm.opam ortac-monolith.opam ortac-examples.opam ortac-dune.opam ortac-core.opam) (dst ./)) 2025-10-06 10:23.06 ---> saved as "b4efaa6c5271f209a715859e8712a436844fd6010e974d4f3be7322a70bf597b" /src: (run (network host) (shell "opam pin add -yn ortac-wrapper.dev './' && \ \nopam pin add -yn ortac-runtime.dev './' && \ \nopam pin add -yn ortac-runtime-qcheck-stm.dev './' && \ \nopam pin add -yn ortac-runtime-monolith.dev './' && \ \nopam pin add -yn ortac-qcheck-stm.dev './' && \ \nopam pin add -yn ortac-monolith.dev './' && \ \nopam pin add -yn ortac-examples.dev './' && \ \nopam pin add -yn ortac-dune.dev './' && \ \nopam pin add -yn ortac-core.dev './'")) [ortac-wrapper.dev] synchronised (file:///src) ortac-wrapper is now pinned to file:///src (version dev) [ortac-runtime.dev] synchronised (file:///src) ortac-runtime is now pinned to file:///src (version dev) [ortac-runtime-qcheck-stm.dev] synchronised (file:///src) ortac-runtime-qcheck-stm is now pinned to file:///src (version dev) [NOTE] Package ortac-runtime-monolith does not exist in opam repositories registered in the current switch. [ortac-runtime-monolith.dev] synchronised (file:///src) ortac-runtime-monolith is now pinned to file:///src (version dev) [ortac-qcheck-stm.dev] synchronised (file:///src) ortac-qcheck-stm is now pinned to file:///src (version dev) [NOTE] Package ortac-monolith does not exist in opam repositories registered in the current switch. [ortac-monolith.dev] synchronised (file:///src) ortac-monolith is now pinned to file:///src (version dev) [NOTE] Package ortac-examples does not exist in opam repositories registered in the current switch. [ortac-examples.dev] synchronised (file:///src) ortac-examples is now pinned to file:///src (version dev) [ortac-dune.dev] synchronised (file:///src) ortac-dune is now pinned to file:///src (version dev) [ortac-core.dev] synchronised (file:///src) ortac-core is now pinned to file:///src (version dev) 2025-10-06 10:23.27 ---> saved as "ac6809eff622d7455100af9aed1e84732ebbe0c7453a04e0cbb20bc2bbadca78" /src: (run (network host) (shell "echo '(lang dune 3.0)' > './dune-project'")) 2025-10-06 10:23.28 ---> saved as "ae3587f2a68dc4ed654bd84092bdf0e428d2bd64d9f4ff5824e21c98c341cafd" /src: (env DEPS "afl-persistent.1.4 alcotest.1.9.1 astring.0.8.5 backoff.0.1.1 base-bigarray.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base camlp-streams.5.0.1 cmdliner.1.3.0 conf-gmp.5 conf-pkg-config.4 cppo.1.8.0 csexp.1.5.2 dune.3.20.2 dune-build-info.3.20.2 dune-private-libs.3.20.2 dune-site.3.20.2 dyn.3.20.2 fmt.0.11.0 gospel.0.3.0 logs.0.9.0 lwt-dllist.1.1.0 mdx.2.5.0 menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 monolith.20250922 multicore-magic.2.3.1 ocaml.5.3.0 ocaml-base-compiler.5.3.0 ocaml-compiler.5.3.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.1 ocamlbuild.0.16.1 ocamlfind.1.9.8 ordering.3.20.2 pp.2.0.0 pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.0.3 ppxlib.0.35.0 qcheck-core.0.26 qcheck-multicoretests-util.0.9 qcheck-stm.0.9 re.1.14.0 result.1.5 saturn.1.0.0 sexplib0.v0.17.0 stdlib-shims.0.3.0 stdune.3.20.2 topkg.1.1.0 uutf.1.0.4 varray.0.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 ortac-wrapper.dev ortac-runtime.dev ortac-runtime-qcheck-stm.dev ortac-runtime-monolith.dev ortac-qcheck-stm.dev ortac-monolith.dev ortac-examples.dev ortac-dune.dev ortac-core.dev $DEPS")) + /usr/bin/sudo "apt-get" "update" - Hit:1 http://deb.debian.org/debian bullseye InRelease - Get:2 http://deb.debian.org/debian-security bullseye-security InRelease [27.2 kB] - Hit:3 http://deb.debian.org/debian bullseye-updates InRelease - Get:4 http://deb.debian.org/debian-security bullseye-security/main amd64 Packages [411 kB] - Fetched 438 kB in 1s (433 kB/s) - Reading package lists... - <><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><> [ortac-core.dev] synchronised (file:///src) [ortac-dune.dev] synchronised (file:///src) [ortac-examples.dev] synchronised (file:///src) [ortac-monolith.dev] synchronised (file:///src) [ortac-qcheck-stm.dev] synchronised (file:///src) [ortac-runtime.dev] synchronised (file:///src) [ortac-runtime-monolith.dev] synchronised (file:///src) [ortac-runtime-qcheck-stm.dev] synchronised (file:///src) [ortac-wrapper.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.3.0). [NOTE] Package ocaml-base-compiler is already installed (current version is 5.3.0). [NOTE] Package ocaml is already installed (current version is 5.3.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" - debconf: delaying package configuration, since apt-utils is not installed - Selecting previously unselected package libglib2.0-0:amd64. - (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 ... 18367 files and directories currently installed.) - Preparing to unpack .../0-libglib2.0-0_2.66.8-1+deb11u6_amd64.deb ... - Unpacking libglib2.0-0:amd64 (2.66.8-1+deb11u6) ... - Selecting previously unselected package libglib2.0-data. - Preparing to unpack .../1-libglib2.0-data_2.66.8-1+deb11u6_all.deb ... - Unpacking libglib2.0-data (2.66.8-1+deb11u6) ... - Selecting previously unselected package libgmpxx4ldbl:amd64. - Preparing to unpack .../2-libgmpxx4ldbl_2%3a6.2.1+dfsg-1+deb11u1_amd64.deb ... - Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-1+deb11u1) ... - Selecting previously unselected package libgmp-dev:amd64. - Preparing to unpack .../3-libgmp-dev_2%3a6.2.1+dfsg-1+deb11u1_amd64.deb ... - Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg-1+deb11u1) ... - Selecting previously unselected package libicu67:amd64. - Preparing to unpack .../4-libicu67_67.1-7+deb11u1_amd64.deb ... - Unpacking libicu67:amd64 (67.1-7+deb11u1) ... - Selecting previously unselected package libxml2:amd64. - Preparing to unpack .../5-libxml2_2.9.10+dfsg-6.7+deb11u9_amd64.deb ... - Unpacking libxml2:amd64 (2.9.10+dfsg-6.7+deb11u9) ... - Selecting previously unselected package pkg-config. - Preparing to unpack .../6-pkg-config_0.29.2-1_amd64.deb ... - Unpacking pkg-config (0.29.2-1) ... - Selecting previously unselected package shared-mime-info. - Preparing to unpack .../7-shared-mime-info_2.0-1_amd64.deb ... - Unpacking shared-mime-info (2.0-1) ... - Selecting previously unselected package xdg-user-dirs. - Preparing to unpack .../8-xdg-user-dirs_0.17-2_amd64.deb ... - Unpacking xdg-user-dirs (0.17-2) ... - Setting up libicu67:amd64 (67.1-7+deb11u1) ... - Setting up xdg-user-dirs (0.17-2) ... - Setting up libglib2.0-0:amd64 (2.66.8-1+deb11u6) ... - No schema files found: doing nothing. - Setting up libglib2.0-data (2.66.8-1+deb11u6) ... - Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-1+deb11u1) ... - Setting up pkg-config (0.29.2-1) ... - Setting up libxml2:amd64 (2.9.10+dfsg-6.7+deb11u9) ... - Setting up libgmp-dev:amd64 (2:6.2.1+dfsg-1+deb11u1) ... - Setting up shared-mime-info (2.0-1) ... - Processing triggers for libc-bin (2.31-13+deb11u13) ... 2025-10-06 10:23.58 ---> saved as "118431c80fa8fc1f9be5f168c41da63c580b7a2aa7076295a3b06fbc83fe019e" /src: (run (cache (opam-archives (target /home/opam/.opam/download-cache))) (network host) (shell "opam install $DEPS")) 2025-10-06 10:24.01: Cancelling: Auto-cancelling job because it is no longer needed Job cancelled