Organisations ocaml-gospel ortac 8ce732 ()(lint-opam)
(lint-opam)

Created at Dec 02 14:16 +00:00
1s in queue
Finished at Dec 02 14:16 +00:00
8ce732
Ran for 2s
Link Copied
Code Copied
Logs

Show raw logs
2025-12-02 14:16.31: New job: test ocaml-gospel/ortac https://github.com/ocaml-gospel/ortac.git#refs/heads/main (8ce73289fa5076c971ddcc3c9b7915187c1be57f) (linux-x86_64:(lint-opam))
Base: ocaml/opam:debian-13-ocaml-5.2@sha256:21a5dbaf0132e392da5b14997c3e0e60655b38b457e6ed7afeb672d388abbc18
Opam files lint


To reproduce locally:


git clone --recursive "https://github.com/ocaml-gospel/ortac.git" -b "main" && cd "ortac" && git reset --hard 8ce73289
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-5.2@sha256:21a5dbaf0132e392da5b14997c3e0e60655b38b457e6ed7afeb672d388abbc18
# debian-13-5.2_opam-2.4
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo ln -f /usr/bin/opam-2.2 /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 5a187d06f70bfbf45072f1e2a96e6852c7b01fc9 || git fetch origin master) && git reset -q --hard 5a187d06f70bfbf45072f1e2a96e6852c7b01fc9 && 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-nnp.base base-threads.base base-unix.base bos.0.2.1 camlp-streams.5.0.1 cmdliner.2.1.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 fpath.0.7.3 gospel.dev jsonm.1.0.2 logs.0.10.0 lwt-dllist.1.1.0 mdx.2.5.1 menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 monolith.20250922 multicore-magic.2.3.1 num.1.6 ocaml.5.2.1 ocaml-base-compiler.5.2.1 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocamlgraph.2.2.0 opam-core.2.5.0 opam-dune-lint.0.6 opam-file-format.2.2.0 opam-format.2.5.0 opam-repository.2.5.0 opam-state.2.5.0 ordering.3.20.2 parsexp.v0.17.0 patch.3.1.0 pp.2.0.0 pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.1.1 ppxlib.0.37.0 qcheck-core.0.27 qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0 result.1.5 rresult.0.7.0 saturn.1.0.0 sexplib.v0.17.0 sexplib0.v0.17.0 sha.1.15.4 spdx_licenses.1.4.0 stdlib-shims.0.3.0 stdune.3.20.2 swhid_core.0.1 topkg.1.1.1 uutf.1.0.4 varray.0.2 zarith.1.14"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.2 --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
ENV CI="true"
ENV OCAMLCI="true"
WORKDIR /src
COPY --chown=1000:1000 . /src/
RUN opam lint
RUN opam exec -- opam-dune-lint


END-OF-DOCKERFILE
docker build .
END-REPRO-BLOCK


2025-12-02 14:16.31: Using cache hint "ocaml-gospel/ortac-ocaml/opam:debian-13-ocaml-5.2@sha256:21a5dbaf0132e392da5b14997c3e0e60655b38b457e6ed7afeb672d388abbc18-debian-13-5.2_opam-2.4-63018abafc724e6e19afa0db72a6afd0"
2025-12-02 14:16.31: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-5.2@sha256:21a5dbaf0132e392da5b14997c3e0e60655b38b457e6ed7afeb672d388abbc18)
(comment debian-13-5.2_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.2 /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 5a187d06f70bfbf45072f1e2a96e6852c7b01fc9 || git fetch origin master) && git reset -q --hard 5a187d06f70bfbf45072f1e2a96e6852c7b01fc9 && 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-nnp.base base-threads.base base-unix.base bos.0.2.1 camlp-streams.5.0.1 cmdliner.2.1.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 fpath.0.7.3 gospel.dev jsonm.1.0.2 logs.0.10.0 lwt-dllist.1.1.0 mdx.2.5.1 menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 monolith.20250922 multicore-magic.2.3.1 num.1.6 ocaml.5.2.1 ocaml-base-compiler.5.2.1 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocamlgraph.2.2.0 opam-core.2.5.0 opam-dune-lint.0.6 opam-file-format.2.2.0 opam-format.2.5.0 opam-repository.2.5.0 opam-state.2.5.0 ordering.3.20.2 parsexp.v0.17.0 patch.3.1.0 pp.2.0.0 pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.1.1 ppxlib.0.37.0 qcheck-core.0.27 qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0 result.1.5 rresult.0.7.0 saturn.1.0.0 sexplib.v0.17.0 sexplib0.v0.17.0 sha.1.15.4 spdx_licenses.1.4.0 stdlib-shims.0.3.0 stdune.3.20.2 swhid_core.0.1 topkg.1.1.1 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.2 --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"))
(env CI true)
(env OCAMLCI true)
(workdir /src)
(copy (src .) (dst /src/))
(run (shell "opam lint"))
(run (shell "opam exec -- opam-dune-lint"))
)


2025-12-02 14:16.31: Waiting for resource in pool OCluster
2025-12-02 14:16.31: Waiting for worker…
2025-12-02 14:16.32: Got resource from pool OCluster
Building on odawa.caelum.ci.dev
All commits already cached
HEAD is now at 8ce7328 Merge pull request #366 from n-osborne/update-doc-workflow


(from ocaml/opam:debian-13-ocaml-5.2@sha256:21a5dbaf0132e392da5b14997c3e0e60655b38b457e6ed7afeb672d388abbc18)
2025-12-02 14:16.33 ---> using "0efe32f3080b7b674e0ace2da5efac9f766f1da12c1b2a72a5e4df386eb0ed98" from cache


/: (comment debian-13-5.2_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.2 /usr/bin/opam"))
2025-12-02 14:16.33 ---> using "8cd6224c70cfbd5adc59c3d38aa0f7f532caef37fe373087e08b9f2dddd29cb1" 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 development version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.


Continue? [y/n] y
[NOTE] The 'jobs' option was reset, its value was 71 and its new value will vary according to the current number of cores on your machine. You can restore the fixed value using:
opam option jobs=71 --global
Format upgrade done.


<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2025-12-02 14:16.33 ---> using "6a0ef2fb91fdbfddf16a08e4e3f94289c5f85efd007b430c3c064eaadd9201b3" from cache


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 6.8.0-87-generic
The OCaml toplevel, version 5.2.1
2.2.1
2025-12-02 14:16.33 ---> using "54014fe3e1dbb8b169cc7adc64c1aba34347cd265af6bcfc35ebe1a2de1d6c76" from cache


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2025-12-02 14:16.33 ---> using "27a79e0282cbd5f8ff578559f560d9cf9e20a7251a81a741bf59e0b106408020" from cache


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 5a187d06f70bfbf45072f1e2a96e6852c7b01fc9 || git fetch origin master) && git reset -q --hard 5a187d06f70bfbf45072f1e2a96e6852c7b01fc9 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch                  master     -> FETCH_HEAD
21f97b2e6d..2fd4164ca1  master     -> origin/master
5a187d06f7 Merge pull request #28978 from kit-ty-kate/opam-publish-opam-client.2.5.0


<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from git+file:///home/opam/opam-repository


Everything as up-to-date as possible (run with --verbose to show unavailable upgrades).
However, you may "opam upgrade" these packages explicitly, which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# Run eval $(opam env) to update the current shell environment
2025-12-02 14:16.33 ---> using "089671cef6db6603dfc4b13eaae170c837e42cf2180ed4af2f0f7fc536860a85" from cache


/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-12-02 14:16.33 ---> using "76cadb51c26337f1ef2cce5db897a1ff97f5c166105a06f88ad9a89448c5f617" from cache


/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)
The following additional pinnings are required by ortac-wrapper.dev:
- gospel.dev at git+https://github.com/ocaml-gospel/gospel#c17ae6b808f11192f42009e2837f9c3c9e829eb3
Pin and install them? [y/n] y
[gospel.dev] synchronised (no changes)
gospel is now pinned to git+https://github.com/ocaml-gospel/gospel#c17ae6b808f11192f42009e2837f9c3c9e829eb3 (version dev)
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)
Package ortac-runtime-monolith does not exist, create as a NEW package? [y/n] y
[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)
Package ortac-monolith does not exist, create as a NEW package? [y/n] y
[ortac-monolith.dev] synchronised (file:///src)
ortac-monolith is now pinned to file:///src (version dev)
Package ortac-examples does not exist, create as a NEW package? [y/n] y
[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-12-02 14:16.33 ---> using "51082b1f07c321083977b2825206b5cdd469039dd549723a214b40e135e6cc94" from cache


/src: (run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
2025-12-02 14:16.33 ---> using "70486b28db39156b5b001da758428d70c1ba2f041a78dd2845a9a8d140a84c03" from cache


/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-nnp.base base-threads.base base-unix.base bos.0.2.1 camlp-streams.5.0.1 cmdliner.2.1.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 fpath.0.7.3 gospel.dev jsonm.1.0.2 logs.0.10.0 lwt-dllist.1.1.0 mdx.2.5.1 menhir.20250912 menhirCST.20250912 menhirLib.20250912 menhirSdk.20250912 monolith.20250922 multicore-magic.2.3.1 num.1.6 ocaml.5.2.1 ocaml-base-compiler.5.2.1 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 ocaml-version.4.0.3 ocamlbuild.0.16.1 ocamlfind.1.9.8 ocamlgraph.2.2.0 opam-core.2.5.0 opam-dune-lint.0.6 opam-file-format.2.2.0 opam-format.2.5.0 opam-repository.2.5.0 opam-state.2.5.0 ordering.3.20.2 parsexp.v0.17.0 patch.3.1.0 pp.2.0.0 pp_loc.2.1.0 pprint.20230830 ppx_derivers.1.2.1 ppx_deriving.6.1.1 ppxlib.0.37.0 qcheck-core.0.27 qcheck-multicoretests-util.0.10 qcheck-stm.0.10 re.1.14.0 result.1.5 rresult.0.7.0 saturn.1.0.0 sexplib.v0.17.0 sexplib0.v0.17.0 sha.1.15.4 spdx_licenses.1.4.0 stdlib-shims.0.3.0 stdune.3.20.2 swhid_core.0.1 topkg.1.1.1 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.2 --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"
- Get:1 http://deb.debian.org/debian trixie InRelease [140 kB]
- 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 trixie/main amd64 Packages [9670 kB]
- Get:5 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [76.0 kB]
- Fetched 9977 kB in 1s (11.1 MB/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)
[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-base-compiler is already installed (current version is 5.2.1).
[NOTE] Package ocaml is already installed (current version is 5.2.1).
[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-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: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 ... 20653 files and directories currently installed.)
- Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../1-libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../2-libpkgconf3_1.8.1-4_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../3-pkgconf-bin_1.8.1-4_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../4-pkgconf_1.8.1-4_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../5-pkg-config_1.8.1-4_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-4) ...
- Setting up libpkgconf3:amd64 (1.8.1-4) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf:amd64 (1.8.1-4) ...
- Setting up pkg-config:amd64 (1.8.1-4) ...
- Processing triggers for libc-bin (2.41-12) ...
2025-12-02 14:16.33 ---> using "df78f3713b54f47dc9d6c3f31ab1f7ee236d28470d29e2ea742b1cb83dd7b2c6" from cache


/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-base-compiler is already installed (current version is 5.2.1).
[NOTE] Package ocaml is already installed (current version is 5.2.1).
[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-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 69 packages
- install afl-persistent             1.4
- install alcotest                   1.9.1
- install astring                    0.8.5
- install backoff                    0.1.1
- install bos                        0.2.1
- install camlp-streams              5.0.1
- install cmdliner                   2.1.0
- install conf-gmp                   5
- install conf-pkg-config            4
- install cppo                       1.8.0
- install csexp                      1.5.2
- install dune                       3.20.2
- install dune-build-info            3.20.2
- install dune-private-libs          3.20.2
- install dune-site                  3.20.2
- install dyn                        3.20.2
- install fmt                        0.11.0
- install fpath                      0.7.3
- install gospel                     dev (pinned)
- install jsonm                      1.0.2
- install logs                       0.10.0
- install lwt-dllist                 1.1.0
- install mdx                        2.5.1
- install menhir                     20250912
- install menhirCST                  20250912
- install menhirLib                  20250912
- install menhirSdk                  20250912
- install monolith                   20250922
- install multicore-magic            2.3.1
- install num                        1.6
- install ocaml-compiler-libs        v0.17.0
- install ocaml-syntax-shims         1.0.0
- install ocaml-version              4.0.3
- install ocamlbuild                 0.16.1
- install ocamlfind                  1.9.8
- install ocamlgraph                 2.2.0
- install opam-core                  2.5.0
- install opam-dune-lint             0.6
- install opam-file-format           2.2.0
- install opam-format                2.5.0
- install opam-repository            2.5.0
- install opam-state                 2.5.0
- install ordering                   3.20.2
- install parsexp                    v0.17.0
- install patch                      3.1.0
- install pp                         2.0.0
- install pp_loc                     2.1.0
- install pprint                     20230830
- install ppx_derivers               1.2.1
- install ppx_deriving               6.1.1
- install ppxlib                     0.37.0
- install qcheck-core                0.27
- install qcheck-multicoretests-util 0.10
- install qcheck-stm                 0.10
- install re                         1.14.0
- install result                     1.5
- install rresult                    0.7.0
- install saturn                     1.0.0
- install sexplib                    v0.17.0
- install sexplib0                   v0.17.0
- install sha                        1.15.4
- install spdx_licenses              1.4.0
- install stdlib-shims               0.3.0
- install stdune                     3.20.2
- install swhid_core                 0.1
- install topkg                      1.1.1
- install uutf                       1.0.4
- install varray                     0.2
- install zarith                     1.14


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved afl-persistent.1.4  (cached)
-> retrieved backoff.0.1.1  (cached)
-> retrieved astring.0.8.5  (cached)
-> retrieved alcotest.1.9.1  (cached)
-> retrieved bos.0.2.1  (cached)
-> retrieved conf-gmp.5  (cached)
-> retrieved camlp-streams.5.0.1  (cached)
-> installed conf-gmp.5
-> retrieved cppo.1.8.0  (cached)
-> retrieved cmdliner.2.1.0  (cached)
-> installed conf-pkg-config.4
-> retrieved csexp.1.5.2  (cached)
-> retrieved fmt.0.11.0  (cached)
-> retrieved fpath.0.7.3  (cached)
-> retrieved jsonm.1.0.2  (cached)
-> retrieved logs.0.10.0  (cached)
-> retrieved lwt-dllist.1.1.0  (cached)
-> retrieved mdx.2.5.1  (cached)
-> retrieved menhir.20250912, menhirCST.20250912, menhirLib.20250912, menhirSdk.20250912  (cached)
-> retrieved 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, ordering.3.20.2, stdune.3.20.2  (cached)
-> retrieved monolith.20250922  (cached)
-> retrieved multicore-magic.2.3.1  (cached)
-> retrieved num.1.6  (cached)
-> retrieved ocaml-compiler-libs.v0.17.0  (cached)
-> retrieved ocaml-syntax-shims.1.0.0  (cached)
-> retrieved gospel.dev  (no changes)
-> retrieved ocaml-version.4.0.3  (cached)
-> retrieved ocamlfind.1.9.8  (cached)
-> retrieved ocamlbuild.0.16.1  (cached)
-> retrieved ocamlgraph.2.2.0  (cached)
-> retrieved opam-core.2.5.0, opam-format.2.5.0, opam-repository.2.5.0, opam-state.2.5.0  (cached)
-> installed cmdliner.2.1.0
-> retrieved opam-dune-lint.0.6  (cached)
-> retrieved opam-file-format.2.2.0  (cached)
-> retrieved parsexp.v0.17.0  (cached)
-> retrieved patch.3.1.0  (cached)
-> retrieved pp.2.0.0  (cached)
-> retrieved pp_loc.2.1.0  (cached)
-> retrieved pprint.20230830  (cached)
-> retrieved ppx_derivers.1.2.1  (cached)
-> retrieved ppx_deriving.6.1.1  (cached)
-> retrieved qcheck-core.0.27  (cached)
-> retrieved qcheck-multicoretests-util.0.10, qcheck-stm.0.10  (cached)
-> retrieved ppxlib.0.37.0  (cached)
-> retrieved re.1.14.0  (cached)
-> retrieved result.1.5  (cached)
-> retrieved rresult.0.7.0  (cached)
-> retrieved sexplib.v0.17.0  (cached)
-> retrieved saturn.1.0.0  (cached)
-> retrieved sexplib0.v0.17.0  (cached)
-> retrieved sha.1.15.4  (cached)
-> retrieved spdx_licenses.1.4.0  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> retrieved swhid_core.0.1  (cached)
-> retrieved uutf.1.0.4  (cached)
-> retrieved varray.0.2  (cached)
-> retrieved zarith.1.14  (cached)
-> retrieved topkg.1.1.1  (cached)
-> installed num.1.6
-> installed ocamlfind.1.9.8
-> installed zarith.1.14
-> installed ocamlbuild.0.16.1
-> installed topkg.1.1.1
-> installed rresult.0.7.0
-> installed uutf.1.0.4
-> installed fmt.0.11.0
-> installed astring.0.8.5
-> installed jsonm.1.0.2
-> installed fpath.0.7.3
-> installed logs.0.10.0
-> installed dune.3.20.2
-> installed bos.0.2.1
-> installed backoff.0.1.1
-> installed camlp-streams.5.0.1
-> installed cppo.1.8.0
-> installed csexp.1.5.2
-> installed lwt-dllist.1.1.0
-> installed menhirCST.20250912
-> installed menhirLib.20250912
-> installed menhirSdk.20250912
-> installed multicore-magic.2.3.1
-> installed ocaml-compiler-libs.v0.17.0
-> installed ocaml-syntax-shims.1.0.0
-> installed ocaml-version.4.0.3
-> installed pp.2.0.0
-> installed pp_loc.2.1.0
-> installed patch.3.1.0
-> installed pprint.20230830
-> installed ppx_derivers.1.2.1
-> installed result.1.5
-> installed spdx_licenses.1.4.0
-> installed stdlib-shims.0.3.0
-> installed swhid_core.0.1
-> installed varray.0.2
-> installed afl-persistent.1.4
-> installed ocamlgraph.2.2.0
-> installed sexplib0.v0.17.0
-> installed saturn.1.0.0
-> installed re.1.14.0
-> installed dune-build-info.3.20.2
-> installed ordering.3.20.2
-> installed qcheck-core.0.27
-> installed monolith.20250922
-> installed parsexp.v0.17.0
-> installed alcotest.1.9.1
-> installed sha.1.15.4
-> installed qcheck-multicoretests-util.0.10
-> installed qcheck-stm.0.10
-> installed dyn.3.20.2
-> installed mdx.2.5.1
-> installed sexplib.v0.17.0
-> installed stdune.3.20.2
-> installed opam-core.2.5.0
-> installed dune-private-libs.3.20.2
-> installed dune-site.3.20.2
-> installed menhir.20250912
-> installed opam-file-format.2.2.0
-> installed ppxlib.0.37.0
-> installed ppx_deriving.6.1.1
-> installed opam-format.2.5.0
-> installed opam-repository.2.5.0
-> installed gospel.dev
-> installed opam-state.2.5.0
-> installed opam-dune-lint.0.6
Done.


<><> afl-persistent.1.4 installed successfully ><><><><><><><><><><><><><><><><>
=> afl-persistent is installed, but since the current OCaml compiler does
not enable AFL instrumentation by default, most packages will not be
instrumented and fuzzing with afl-fuzz may not be effective.


To globally enable AFL instrumentation, create an OCaml switch like:


opam switch create 5.2.1+afl ocaml-variants.5.2.1+options ocaml-option-afl
# Run eval $(opam env) to update the current shell environment
2025-12-02 14:16.33 ---> using "c7c1112bfe4a8fb912844ecdc1bbdab4578d3b821c85f8d8469edd905ced9b87" from cache


/src: (env CI true)


/src: (env OCAMLCI true)


/src: (workdir /src)


/src: (copy (src .) (dst /src/))
2025-12-02 14:16.33 ---> using "b5fc92774b6f6ed636a786f0e187bc83cd9e53fc2f07d3d8bd8921dd5bc55b88" from cache


/src: (run (shell "opam lint"))
/src/ortac-wrapper.opam: Passed.
/src/ortac-runtime.opam: Passed.
/src/ortac-runtime-qcheck-stm.opam: Passed.
/src/ortac-runtime-monolith.opam: Passed.
/src/ortac-qcheck-stm.opam: Passed.
/src/ortac-monolith.opam: Passed.
/src/ortac-examples.opam: Passed.
/src/ortac-dune.opam: Passed.
/src/ortac-core.opam: Passed.
2025-12-02 14:16.33 ---> using "bdad0d53021d902e3d54b80d6fb0933bd2332e601676b9d6b00602ccb5382781" from cache


/src: (run (shell "opam exec -- opam-dune-lint"))
ortac-core.opam: OK
ortac-dune.opam: OK
ortac-examples.opam: changes needed:
"qcheck-multicoretests-util" {>= "0.10"} [from examples]
"qcheck-stm" {>= "0.10"}                 [from examples]
ortac-monolith.opam: OK
ortac-qcheck-stm.opam: changes needed:
"qcheck-core" {with-test & >= "0.27"}    [from plugins/qcheck-stm/test]
"qcheck-multicoretests-util" {with-test & >= "0.10"} [from plugins/qcheck-stm/test]
"qcheck-stm" {with-test}                 [from plugins/qcheck-stm/test] (missing {with-test} annotation)
ortac-runtime-monolith.opam: OK
ortac-runtime-qcheck-stm.opam: changes needed:
"qcheck-core" {>= "0.27"}                [from plugins/qcheck-stm/src/runtime]
"qcheck-multicoretests-util" {>= "0.10"} [from plugins/qcheck-stm/src/runtime]
ortac-runtime.opam: OK
ortac-wrapper.opam: OK
Note: version numbers are just suggestions based on the currently installed version.
Run with -f to apply changes in non-interactive mode.
"/usr/bin/env" "bash" "-c" "opam exec -- opam-dune-lint" failed with exit status 1
2025-12-02 14:16.34: Job failed: Failed: Build failed