Organisationsedwintoroklintcstubs753d60 ()debian-13-5.4+flambda_opam-2.5

debian-13-5.4+flambda_opam-2.5

Link Copied
Code Copied

Logs

2026-02-15 18:11.19: New job: test edwintorok/lintcstubs https://github.com/edwintorok/lintcstubs.git#refs/heads/ocaml5.4 (753d60239f5a4f2a62c5d18a526f4588c793922b) (linux-x86_64:debian-13-5.4+flambda_opam-2.5)
Base: ocaml/opam:debian-13-ocaml-5.4-flambda@sha256:e5745e227280bb7cdb99c8b32d1ccd5effc1c6bfd6a3654ef56d5037a22e2d41
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/edwintorok/lintcstubs.git" -b "ocaml5.4" && cd "lintcstubs" && git reset --hard 753d6023
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-5.4-flambda@sha256:e5745e227280bb7cdb99c8b32d1ccd5effc1c6bfd6a3654ef56d5037a22e2d41
# debian-13-5.4+flambda_opam-2.5
USER 1000:1000
ENV CLICOLOR_FORCE="1"
ENV OPAMCOLOR="always"
WORKDIR /src
RUN sudo ln -f /usr/bin/opam-2.5 /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 66fe1c299d8a0fe922268a88a05ccf4bee097900 || git fetch origin master) && git reset -q --hard 66fe1c299d8a0fe922268a88a05ccf4bee097900 && git log --no-decorate -n1 --oneline && opam update -u
COPY --chown=1000:1000 lintcstubs.opam lintcstubs-gen.opam ./
RUN opam pin add -yn lintcstubs.dev './' && \
opam pin add -yn lintcstubs-gen.dev './'
RUN echo '(lang dune 3.0)' > './dune-project'
ENV DEPS="angstrom.0.16.1 arg-complete.0.2.1 astring.0.8.5 base-bigarray.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base batteries.3.10.0 bigstringaf.0.10.0 bos.0.2.1 camlp-streams.5.0.1 catapult.0.2 catapult-file.0.2 conf-autoconf.0.2 conf-gcc.1.0 conf-gmp.5 conf-perl.2 conf-pkg-config.4 cppo.1.8.0 cpu.2.0.0 csexp.1.5.2 cstruct.6.2.0 ctypes.0.24.0 domain-local-await.1.0.1 domain_shims.0.1.0 dune.3.21.1 dune-build-info.3.21.1 dune-compiledb.0.6.0 dune-configurator.3.21.1 dune-private-libs.3.21.1 dune-site.3.21.1 dyn.3.21.1 ezjsonm.1.3.0 fileutils.0.6.6 fmt.0.11.0 fpath.0.7.3 fs-io.3.21.1 goblint.2.7.1 goblint-cil.2.0.9 hex.1.5.0 integers.0.7.0 json-data-encoding.1.0.1 jsonm.1.0.2 jsonrpc.1.25.0 lintcstubs-arity.0.5.1 logs.0.10.0 num.1.6 ocaml.5.4.0 ocaml-compiler.5.4.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-syntax-shims.1.0.0 ocaml-variants.5.4.0+options ocamlbuild.0.16.1 ocamlfind.1.9.8 ordering.3.21.1 parsexp.v0.17.0 pp.2.0.0 ppx_blob.0.9.0 ppx_derivers.1.2.1 ppx_deriving.6.1.1 ppx_deriving_hash.0.1.3 ppx_deriving_yojson.3.10.0 ppxlib.0.37.0 qcheck-core.0.91 rresult.0.7.0 seq.base sexplib.v0.17.0 sexplib0.v0.17.0 sha.1.15.4 stdlib-shims.0.3.0 stdune.3.21.1 stringext.1.6.0 thread-table.1.0.0 top-closure.3.21.1 topkg.1.1.1 uri.4.4.0 uuidm.0.9.10 uutf.1.0.4 yaml.3.2.0 yojson.2.2.2 zarith.1.14"
ENV CI="true"
ENV OCAMLCI="true"
RUN opam update --depexts && opam install --cli=2.5 --depext-only -y lintcstubs.dev lintcstubs-gen.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


2026-02-15 18:11.19: Using cache hint "edwintorok/lintcstubs-ocaml/opam:debian-13-ocaml-5.4-flambda@sha256:e5745e227280bb7cdb99c8b32d1ccd5effc1c6bfd6a3654ef56d5037a22e2d41-debian-13-5.4+flambda_opam-2.5-e784f0ab4e0d10063cbddcc895e84dcb"
2026-02-15 18:11.19: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-5.4-flambda@sha256:e5745e227280bb7cdb99c8b32d1ccd5effc1c6bfd6a3654ef56d5037a22e2d41)
(comment debian-13-5.4+flambda_opam-2.5)
(user (uid 1000) (gid 1000))
(env CLICOLOR_FORCE 1)
(env OPAMCOLOR always)
(workdir /src)
(run (shell "sudo ln -f /usr/bin/opam-2.5 /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 66fe1c299d8a0fe922268a88a05ccf4bee097900 || git fetch origin master) && git reset -q --hard 66fe1c299d8a0fe922268a88a05ccf4bee097900 && git log --no-decorate -n1 --oneline && opam update -u"))
(copy (src lintcstubs.opam lintcstubs-gen.opam) (dst ./))
(run (network host)
(shell  "opam pin add -yn lintcstubs.dev './' && \
\nopam pin add -yn lintcstubs-gen.dev './'"))
(run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
(env DEPS "angstrom.0.16.1 arg-complete.0.2.1 astring.0.8.5 base-bigarray.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base batteries.3.10.0 bigstringaf.0.10.0 bos.0.2.1 camlp-streams.5.0.1 catapult.0.2 catapult-file.0.2 conf-autoconf.0.2 conf-gcc.1.0 conf-gmp.5 conf-perl.2 conf-pkg-config.4 cppo.1.8.0 cpu.2.0.0 csexp.1.5.2 cstruct.6.2.0 ctypes.0.24.0 domain-local-await.1.0.1 domain_shims.0.1.0 dune.3.21.1 dune-build-info.3.21.1 dune-compiledb.0.6.0 dune-configurator.3.21.1 dune-private-libs.3.21.1 dune-site.3.21.1 dyn.3.21.1 ezjsonm.1.3.0 fileutils.0.6.6 fmt.0.11.0 fpath.0.7.3 fs-io.3.21.1 goblint.2.7.1 goblint-cil.2.0.9 hex.1.5.0 integers.0.7.0 json-data-encoding.1.0.1 jsonm.1.0.2 jsonrpc.1.25.0 lintcstubs-arity.0.5.1 logs.0.10.0 num.1.6 ocaml.5.4.0 ocaml-compiler.5.4.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-syntax-shims.1.0.0 ocaml-variants.5.4.0+options ocamlbuild.0.16.1 ocamlfind.1.9.8 ordering.3.21.1 parsexp.v0.17.0 pp.2.0.0 ppx_blob.0.9.0 ppx_derivers.1.2.1 ppx_deriving.6.1.1 ppx_deriving_hash.0.1.3 ppx_deriving_yojson.3.10.0 ppxlib.0.37.0 qcheck-core.0.91 rresult.0.7.0 seq.base sexplib.v0.17.0 sexplib0.v0.17.0 sha.1.15.4 stdlib-shims.0.3.0 stdune.3.21.1 stringext.1.6.0 thread-table.1.0.0 top-closure.3.21.1 topkg.1.1.1 uri.4.4.0 uuidm.0.9.10 uutf.1.0.4 yaml.3.2.0 yojson.2.2.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.5 --depext-only -y lintcstubs.dev lintcstubs-gen.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"))
)


2026-02-15 18:11.19: Waiting for resource in pool OCluster
2026-02-15 18:11.19: Waiting for worker…
2026-02-15 18:11.46: Got resource from pool OCluster
Building on eumache
All commits already cached
HEAD is now at 753d602 Fix doc lint warning


(from ocaml/opam:debian-13-ocaml-5.4-flambda@sha256:e5745e227280bb7cdb99c8b32d1ccd5effc1c6bfd6a3654ef56d5037a22e2d41)
Unable to find image 'ocaml/opam:debian-13-ocaml-5.4-flambda@sha256:e5745e227280bb7cdb99c8b32d1ccd5effc1c6bfd6a3654ef56d5037a22e2d41' locally
docker.io/ocaml/opam@sha256:e5745e227280bb7cdb99c8b32d1ccd5effc1c6bfd6a3654ef56d5037a22e2d41: Pulling from ocaml/opam
ef235bf1a09a: Already exists
63ff7b8f62f7: Pulling fs layer
d97a3c4f37e5: Pulling fs layer
63ff7b8f62f7: Waiting
998bb0585113: Pulling fs layer
94828ef2bfe2: Pulling fs layer
998bb0585113: Waiting
d97a3c4f37e5: Waiting
3dd00a8a6b86: Pulling fs layer
94828ef2bfe2: Waiting
1816e5253dcb: Pulling fs layer
3dd00a8a6b86: Waiting
e502341419e0: Pulling fs layer
7741a83685ca: Pulling fs layer
1816e5253dcb: Waiting
e502341419e0: Waiting
713e411af135: Pulling fs layer
5d3b19c24612: Pulling fs layer
29b7cdb1fafb: Pulling fs layer
7741a83685ca: Waiting
713e411af135: Waiting
5d3b19c24612: Waiting
015412fc79ef: Pulling fs layer
bbb53f8a3678: Pulling fs layer
29b7cdb1fafb: Waiting
e4b20c98bd52: Pulling fs layer
015412fc79ef: Waiting
bbb53f8a3678: Waiting
09103d92a91d: Pulling fs layer
042e26f97610: Pulling fs layer
e4b20c98bd52: Waiting
1ee2a20e6c74: Pulling fs layer
83c7c07ee7d9: Pulling fs layer
09103d92a91d: Waiting
4e9ca69a996f: Pulling fs layer
042e26f97610: Waiting
1ee2a20e6c74: Waiting
3e6921c56ad6: Pulling fs layer
83c7c07ee7d9: Waiting
c16273f75711: Pulling fs layer
4e9ca69a996f: Waiting
4f4fb700ef54: Pulling fs layer
3e6921c56ad6: Waiting
4876e5de169a: Pulling fs layer
924fedb47896: Pulling fs layer
4f4fb700ef54: Waiting
eab21cd4733f: Pulling fs layer
2a28c5a72f80: Pulling fs layer
4876e5de169a: Waiting
924fedb47896: Waiting
a565bce96cc2: Pulling fs layer
1b84da29c428: Pulling fs layer
eab21cd4733f: Waiting
a99c55249385: Pulling fs layer
a565bce96cc2: Waiting
2a28c5a72f80: Waiting
5043a4afe7d4: Pulling fs layer
a99c55249385: Waiting
e596723297c6: Pulling fs layer
5043a4afe7d4: Waiting
9233633d4448: Pulling fs layer
e596723297c6: Waiting
f0cc407c3599: Pulling fs layer
1b84da29c428: Waiting
5737f0b22df8: Pulling fs layer
9233633d4448: Waiting
f0cc407c3599: Waiting
757775b7c837: Pulling fs layer
2d2d616aaf57: Pulling fs layer
b240f925287f: Pulling fs layer
757775b7c837: Waiting
a05b65e9dec1: Pulling fs layer
2d2d616aaf57: Waiting
752e118a24d2: Pulling fs layer
6f4175cf580f: Pulling fs layer
a05b65e9dec1: Waiting
752e118a24d2: Waiting
8ccdc50d6c4f: Pulling fs layer
f943e65f6a67: Pulling fs layer
b240f925287f: Waiting
0233655f7662: Pulling fs layer
f943e65f6a67: Waiting
8ccdc50d6c4f: Waiting
f18eb7209da3: Pulling fs layer
0233655f7662: Waiting
721d63319ed2: Pulling fs layer
2cc4cab14882: Pulling fs layer
721d63319ed2: Waiting
d182efc22647: Pulling fs layer
f18eb7209da3: Waiting
d182efc22647: Waiting
2cc4cab14882: Waiting
63ff7b8f62f7: Verifying Checksum
63ff7b8f62f7: Download complete
63ff7b8f62f7: Pull complete
d97a3c4f37e5: Download complete
d97a3c4f37e5: Pull complete
998bb0585113: Verifying Checksum
998bb0585113: Download complete
998bb0585113: Pull complete
94828ef2bfe2: Download complete
94828ef2bfe2: Pull complete
1816e5253dcb: Verifying Checksum
1816e5253dcb: Download complete
e502341419e0: Verifying Checksum
e502341419e0: Download complete
7741a83685ca: Verifying Checksum
7741a83685ca: Download complete
713e411af135: Verifying Checksum
713e411af135: Download complete
5d3b19c24612: Verifying Checksum
5d3b19c24612: Download complete
29b7cdb1fafb: Verifying Checksum
29b7cdb1fafb: Download complete
015412fc79ef: Verifying Checksum
015412fc79ef: Download complete
bbb53f8a3678: Verifying Checksum
bbb53f8a3678: Download complete
e4b20c98bd52: Verifying Checksum
e4b20c98bd52: Download complete
09103d92a91d: Verifying Checksum
09103d92a91d: Download complete
042e26f97610: Verifying Checksum
042e26f97610: Download complete
1ee2a20e6c74: Download complete
83c7c07ee7d9: Verifying Checksum
83c7c07ee7d9: Download complete
4e9ca69a996f: Verifying Checksum
4e9ca69a996f: Download complete
3e6921c56ad6: Download complete
c16273f75711: Download complete
4f4fb700ef54: Verifying Checksum
4f4fb700ef54: Download complete
4876e5de169a: Verifying Checksum
4876e5de169a: Download complete
924fedb47896: Verifying Checksum
924fedb47896: Download complete
3dd00a8a6b86: Download complete
eab21cd4733f: Download complete
a565bce96cc2: Verifying Checksum
a565bce96cc2: Download complete
2a28c5a72f80: Download complete
1b84da29c428: Download complete
a99c55249385: Download complete
e596723297c6: Verifying Checksum
e596723297c6: Download complete
5043a4afe7d4: Download complete
9233633d4448: Verifying Checksum
9233633d4448: Download complete
5737f0b22df8: Download complete
f0cc407c3599: Verifying Checksum
f0cc407c3599: Download complete
2d2d616aaf57: Verifying Checksum
2d2d616aaf57: Download complete
b240f925287f: Verifying Checksum
b240f925287f: Download complete
a05b65e9dec1: Download complete
752e118a24d2: Verifying Checksum
752e118a24d2: Download complete
6f4175cf580f: Download complete
8ccdc50d6c4f: Download complete
f943e65f6a67: Verifying Checksum
f943e65f6a67: Download complete
0233655f7662: Verifying Checksum
0233655f7662: Download complete
3dd00a8a6b86: Pull complete
1816e5253dcb: Pull complete
e502341419e0: Pull complete
7741a83685ca: Pull complete
713e411af135: Pull complete
5d3b19c24612: Pull complete
29b7cdb1fafb: Pull complete
015412fc79ef: Pull complete
bbb53f8a3678: Pull complete
e4b20c98bd52: Pull complete
09103d92a91d: Pull complete
042e26f97610: Pull complete
1ee2a20e6c74: Pull complete
83c7c07ee7d9: Pull complete
4e9ca69a996f: Pull complete
3e6921c56ad6: Pull complete
c16273f75711: Pull complete
4f4fb700ef54: Pull complete
4876e5de169a: Pull complete
924fedb47896: Pull complete
eab21cd4733f: Pull complete
2a28c5a72f80: Pull complete
a565bce96cc2: Pull complete
1b84da29c428: Pull complete
a99c55249385: Pull complete
5043a4afe7d4: Pull complete
e596723297c6: Pull complete
9233633d4448: Pull complete
f0cc407c3599: Pull complete
5737f0b22df8: Pull complete
f18eb7209da3: Verifying Checksum
f18eb7209da3: Download complete
721d63319ed2: Verifying Checksum
721d63319ed2: Download complete
2cc4cab14882: Verifying Checksum
2cc4cab14882: Download complete
d182efc22647: Verifying Checksum
d182efc22647: Download complete
757775b7c837: Verifying Checksum
757775b7c837: Download complete
757775b7c837: Pull complete
2d2d616aaf57: Pull complete
b240f925287f: Pull complete
a05b65e9dec1: Pull complete
752e118a24d2: Pull complete
6f4175cf580f: Pull complete
8ccdc50d6c4f: Pull complete
f943e65f6a67: Pull complete
0233655f7662: Pull complete
f18eb7209da3: Pull complete
721d63319ed2: Pull complete
2cc4cab14882: Pull complete
d182efc22647: Pull complete
Digest: sha256:e5745e227280bb7cdb99c8b32d1ccd5effc1c6bfd6a3654ef56d5037a22e2d41
Status: Downloaded newer image for ocaml/opam@sha256:e5745e227280bb7cdb99c8b32d1ccd5effc1c6bfd6a3654ef56d5037a22e2d41
2026-02-15 18:11.46 ---> using "99a562272dc8ce3c679ddc6d0cba880bddddf1e9ea3303dd28b933af799c6dd7" from cache


/: (comment debian-13-5.4+flambda_opam-2.5)


/: (user (uid 1000) (gid 1000))


/: (env CLICOLOR_FORCE 1)


/: (env OPAMCOLOR always)


/: (workdir /src)


/src: (run (shell "sudo ln -f /usr/bin/opam-2.5 /usr/bin/opam"))
2026-02-15 18:11.46 ---> using "979124831c702b9ebdd46ca5988dc693ad2c8bdd46c7e8eb458e5f1b8578d558" 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
2026-02-15 18:11.46 ---> using "ed36e33e2685751c6c787b82ebe87388d91f71485d9e9b7d5693bce3fc644ccf" from cache


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 5.15.0-131-generic
The OCaml toplevel, version 5.4.0
2.5.0
2026-02-15 18:11.46 ---> using "b81469fd0f2a80b576e0eb694d6d3cb9cd81729b257965237f6dd1e91fc1b2e6" from cache


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2026-02-15 18:11.46 ---> using "5630e91122e70a7afd83fd5c1530e31b84e3c4824ac11ecb8163900e5dbaf849" from cache


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 66fe1c299d8a0fe922268a88a05ccf4bee097900 || git fetch origin master) && git reset -q --hard 66fe1c299d8a0fe922268a88a05ccf4bee097900 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch                  master     -> FETCH_HEAD
3109384a92..66fe1c299d  master     -> origin/master
66fe1c299d Merge pull request #29371 from edwintorok/release-lintcstubs-arity-0.5.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)
2026-02-15 18:11.46 ---> using "452c63881dcaee39683751d92b260b762ee3dd3d41d8634e807b971255644bbf" from cache


/src: (copy (src lintcstubs.opam lintcstubs-gen.opam) (dst ./))
2026-02-15 18:11.46 ---> using "65f20a1f118429e68a08943f2564f0033972d00b75528ccb34b1a2b71f8f8e70" from cache


/src: (run (network host)
(shell  "opam pin add -yn lintcstubs.dev './' && \
\nopam pin add -yn lintcstubs-gen.dev './'"))
[lintcstubs.dev] synchronised (file:///src)
lintcstubs is now pinned to file:///src (version dev)
[lintcstubs-gen.dev] synchronised (file:///src)
lintcstubs-gen is now pinned to file:///src (version dev)
2026-02-15 18:11.46 ---> using "02448a79fa4491bc6a93d0c5534507ebb735cefd3a370e4b74e177a5814ed020" from cache


/src: (run (network host)
(shell "echo '(lang dune 3.0)' > './dune-project'"))
2026-02-15 18:11.46 ---> using "446591d5a0ed00c91920887a3abb4c7b4e19619667902d93f8d6735cf6dbdc3d" from cache


/src: (env DEPS "angstrom.0.16.1 arg-complete.0.2.1 astring.0.8.5 base-bigarray.base base-domains.base base-effects.base base-nnp.base base-threads.base base-unix.base batteries.3.10.0 bigstringaf.0.10.0 bos.0.2.1 camlp-streams.5.0.1 catapult.0.2 catapult-file.0.2 conf-autoconf.0.2 conf-gcc.1.0 conf-gmp.5 conf-perl.2 conf-pkg-config.4 cppo.1.8.0 cpu.2.0.0 csexp.1.5.2 cstruct.6.2.0 ctypes.0.24.0 domain-local-await.1.0.1 domain_shims.0.1.0 dune.3.21.1 dune-build-info.3.21.1 dune-compiledb.0.6.0 dune-configurator.3.21.1 dune-private-libs.3.21.1 dune-site.3.21.1 dyn.3.21.1 ezjsonm.1.3.0 fileutils.0.6.6 fmt.0.11.0 fpath.0.7.3 fs-io.3.21.1 goblint.2.7.1 goblint-cil.2.0.9 hex.1.5.0 integers.0.7.0 json-data-encoding.1.0.1 jsonm.1.0.2 jsonrpc.1.25.0 lintcstubs-arity.0.5.1 logs.0.10.0 num.1.6 ocaml.5.4.0 ocaml-compiler.5.4.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-syntax-shims.1.0.0 ocaml-variants.5.4.0+options ocamlbuild.0.16.1 ocamlfind.1.9.8 ordering.3.21.1 parsexp.v0.17.0 pp.2.0.0 ppx_blob.0.9.0 ppx_derivers.1.2.1 ppx_deriving.6.1.1 ppx_deriving_hash.0.1.3 ppx_deriving_yojson.3.10.0 ppxlib.0.37.0 qcheck-core.0.91 rresult.0.7.0 seq.base sexplib.v0.17.0 sexplib0.v0.17.0 sha.1.15.4 stdlib-shims.0.3.0 stdune.3.21.1 stringext.1.6.0 thread-table.1.0.0 top-closure.3.21.1 topkg.1.1.1 uri.4.4.0 uuidm.0.9.10 uutf.1.0.4 yaml.3.2.0 yojson.2.2.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.5 --depext-only -y lintcstubs.dev lintcstubs-gen.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 amd64 Packages [108 kB]
- Fetched 198 kB in 0s (1697 kB/s)
- Reading package lists...
- 


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[lintcstubs.dev] synchronised (file:///src)
[lintcstubs-gen.dev] synchronised (file:///src)


[NOTE] Package ocaml-variants is already installed (current version is 5.4.0+options).
[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 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:
autoconf libgmp-dev pkg-config


<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>


+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "autoconf" "libgmp-dev" "pkg-config"
- Selecting previously unselected package m4.
- (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 20654 files and directories currently installed.)
- Preparing to unpack .../0-m4_1.4.19-8_amd64.deb ...
- Unpacking m4 (1.4.19-8) ...
- Selecting previously unselected package autoconf.
- Preparing to unpack .../1-autoconf_2.72-3.1_all.deb ...
- Unpacking autoconf (2.72-3.1) ...
- Selecting previously unselected package autotools-dev.
- Preparing to unpack .../2-autotools-dev_20240727.1_all.deb ...
- Unpacking autotools-dev (20240727.1) ...
- Selecting previously unselected package automake.
- Preparing to unpack .../3-automake_1%3a1.17-4_all.deb ...
- Unpacking automake (1:1.17-4) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- Preparing to unpack .../4-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 .../5-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 .../6-libpkgconf3_1.8.1-4_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../7-pkgconf-bin_1.8.1-4_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../8-pkgconf_1.8.1-4_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../9-pkg-config_1.8.1-4_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-4) ...
- Setting up m4 (1.4.19-8) ...
- Setting up autotools-dev (20240727.1) ...
- 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 autoconf (2.72-3.1) ...
- Setting up automake (1:1.17-4) ...
- update-alternatives: using /usr/bin/automake-1.17 to provide /usr/bin/automake (automake) in auto mode
- 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+deb13u1) ...
# To update the current shell environment, run: eval $(opam env)
2026-02-15 18:11.46 ---> using "5a401c3563e46a0858823ecb92c1de5ccdcc3b6573458a742c52f8feb3e030cd" from cache


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam install $DEPS"))
2026-02-15 18:11.47: Cancelling: Auto-cancelling job because it is no longer needed
Job cancelled