Organisations edwintorok lintcstubs 39c257 ()ubuntu-22.04-5.4_opam-2.5
ubuntu-22.04-5.4_opam-2.5

Created at -
- in queue
Finished at -
39c257
Ran for -
Link Copied
Code Copied
Logs

Show raw logs
2026-02-15 18:08.10: New job: test edwintorok/lintcstubs https://github.com/edwintorok/lintcstubs.git#refs/heads/ocaml5.4 (39c257c88e72b0a7aaf47818ec73fcfafb48d3e5) (linux-x86_64:ubuntu-22.04-5.4_opam-2.5)
Base: ocaml/opam:ubuntu-22.04-ocaml-5.4@sha256:4f96e807e6bf244d4255f6055f496bb462a3dc27a8b77b7410667ea18abff28c
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/edwintorok/lintcstubs.git" -b "ocaml5.4" && cd "lintcstubs" && git reset --hard 39c257c8
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:ubuntu-22.04-ocaml-5.4@sha256:4f96e807e6bf244d4255f6055f496bb462a3dc27a8b77b7410667ea18abff28c
# ubuntu-22.04-5.4_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-base-compiler.5.4.0 ocaml-compiler.5.4.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 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:08.10: Using cache hint "edwintorok/lintcstubs-ocaml/opam:ubuntu-22.04-ocaml-5.4@sha256:4f96e807e6bf244d4255f6055f496bb462a3dc27a8b77b7410667ea18abff28c-ubuntu-22.04-5.4_opam-2.5-4251b7e10f26e6cee7d7f058902ff7e9"
2026-02-15 18:08.10: Using OBuilder spec:
((from ocaml/opam:ubuntu-22.04-ocaml-5.4@sha256:4f96e807e6bf244d4255f6055f496bb462a3dc27a8b77b7410667ea18abff28c)
(comment ubuntu-22.04-5.4_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-base-compiler.5.4.0 ocaml-compiler.5.4.0 ocaml-compiler-libs.v0.17.0 ocaml-config.3 ocaml-options-vanilla.1 ocaml-syntax-shims.1.0.0 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:08.10: Waiting for resource in pool OCluster
2026-02-15 18:08.10: Waiting for worker…
2026-02-15 18:09.17: Got resource from pool OCluster
Building on odawa.caelum.ci.dev
HEAD is now at c627ceb Merge pull request #3 from Leonidas-from-XIV/goblint-constraint
HEAD is now at 39c257c lintcstubs: OCaml 5.4 support
2026-02-15 18:11.12: Cancelling: Auto-cancelling job because it is no longer needed


(from ocaml/opam:ubuntu-22.04-ocaml-5.4@sha256:4f96e807e6bf244d4255f6055f496bb462a3dc27a8b77b7410667ea18abff28c)
2026-02-15 18:20.44 ---> using "9e9bcdaaf3fac8c0a3bdd60676b1eb8003eca3a64414fbd27bba0c3fb2d5b56e" from cache


/: (comment ubuntu-22.04-5.4_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:20.44 ---> using "a9e8837481ac3e0a749445f9abf76d194f700aeb5636fc4764e6fdac5a30f446" 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
[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
2026-02-15 18:20.44 ---> using "242e458e7baa10fc06cc93eecb21a062cae0579185d5b8cb336569c30149ee20" from cache


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


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2026-02-15 18:20.44 ---> using "d788ce615549035993124780f82e2f1195afb0ce9be6d9cf4176a906a02218ee" 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"))
Job cancelled