opensuse-16.0-5.4_opam-2.5

2026-04-23 09:54.22: New job: test edwintorok/lintcstubs https://github.com/edwintorok/lintcstubs.git#refs/heads/move-to-codeberg (b3db47a64bd1f6671c43806638ec2328b64db3d1) (linux-x86_64:opensuse-16.0-5.4_opam-2.5)
Base: ocaml/opam:opensuse-16.0-ocaml-5.4@sha256:78cddc7af8976e354fc2ba208848413e0ad967cd1a5c7e891947641916892c01
Opam project build


To reproduce locally:


git clone --recursive "https://github.com/edwintorok/lintcstubs.git" -b "move-to-codeberg" && cd "lintcstubs" && git reset --hard b3db47a6
cat > Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:opensuse-16.0-ocaml-5.4@sha256:78cddc7af8976e354fc2ba208848413e0ad967cd1a5c7e891947641916892c01
# opensuse-16.0-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 499ef09e251055ba35c2e994b86c609886b37a53 || git fetch origin master) && git reset -q --hard 499ef09e251055ba35c2e994b86c609886b37a53 && 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.3.0 camlp-streams.5.0.1 catapult.0.2 catapult-file.0.2 conf-autoconf.0.2 conf-gcc.1.0 conf-gmp.5 conf-graphviz.0.1 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.22.2 dune-build-info.3.22.2 dune-compiledb.0.6.0 dune-configurator.3.22.2 dune-private-libs.3.22.2 dune-site.3.22.2 dyn.3.22.2 ezjsonm.1.3.0 fileutils.0.6.6 fmt.0.11.0 fpath.0.7.3 fs-io.3.22.2 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.26.0 lintcstubs-arity.0.5.1 logs.0.10.0 num.1.6 ocaml.5.4.1 ocaml-base-compiler.5.4.1 ocaml-compiler.5.4.1 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.22.2 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.38.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.22.2 stringext.1.6.0 thread-table.1.0.0 top-closure.3.22.2 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-04-23 09:54.22: Using cache hint "edwintorok/lintcstubs-ocaml/opam:opensuse-16.0-ocaml-5.4@sha256:78cddc7af8976e354fc2ba208848413e0ad967cd1a5c7e891947641916892c01-opensuse-16.0-5.4_opam-2.5-50e5beaff943981271e721e43c01a426"
2026-04-23 09:54.22: Using OBuilder spec:
((from ocaml/opam:opensuse-16.0-ocaml-5.4@sha256:78cddc7af8976e354fc2ba208848413e0ad967cd1a5c7e891947641916892c01)
(comment opensuse-16.0-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 499ef09e251055ba35c2e994b86c609886b37a53 || git fetch origin master) && git reset -q --hard 499ef09e251055ba35c2e994b86c609886b37a53 && 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 (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.3.0 camlp-streams.5.0.1 catapult.0.2 catapult-file.0.2 conf-autoconf.0.2 conf-gcc.1.0 conf-gmp.5 conf-graphviz.0.1 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.22.2 dune-build-info.3.22.2 dune-compiledb.0.6.0 dune-configurator.3.22.2 dune-private-libs.3.22.2 dune-site.3.22.2 dyn.3.22.2 ezjsonm.1.3.0 fileutils.0.6.6 fmt.0.11.0 fpath.0.7.3 fs-io.3.22.2 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.26.0 lintcstubs-arity.0.5.1 logs.0.10.0 num.1.6 ocaml.5.4.1 ocaml-base-compiler.5.4.1 ocaml-compiler.5.4.1 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.22.2 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.38.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.22.2 stringext.1.6.0 thread-table.1.0.0 top-closure.3.22.2 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-04-23 09:54.22: Waiting for resource in pool OCluster
2026-04-23 11:44.40: Waiting for worker…
2026-04-23 11:48.04: Got resource from pool OCluster
Building on doris.caelum.ci.dev
All commits already cached
HEAD is now at b3db47a Move to codeberg


(from ocaml/opam:opensuse-16.0-ocaml-5.4@sha256:78cddc7af8976e354fc2ba208848413e0ad967cd1a5c7e891947641916892c01)
Unable to find image 'ocaml/opam:opensuse-16.0-ocaml-5.4@sha256:78cddc7af8976e354fc2ba208848413e0ad967cd1a5c7e891947641916892c01' locally
docker.io/ocaml/opam@sha256:78cddc7af8976e354fc2ba208848413e0ad967cd1a5c7e891947641916892c01: Pulling from ocaml/opam
64cfa2a65095: Already exists
204ffcf2f1fe: Pulling fs layer
f6fa4529cc6b: Pulling fs layer
97af65095748: Pulling fs layer
b802a6057f6d: Pulling fs layer
47b045e79836: Pulling fs layer
2ce8a10bf29f: Pulling fs layer
781ee767d1c7: Pulling fs layer
2271c058ae3a: Pulling fs layer
2e5754ca2c40: Pulling fs layer
de21e4dabd9c: Pulling fs layer
f047029589c4: Pulling fs layer
0f454d36be04: Pulling fs layer
04ab44a2df2c: Pulling fs layer
ad401f078830: Pulling fs layer
47b045e79836: Waiting
096a51bccb57: Pulling fs layer
e7134f98c78b: Pulling fs layer
afc7c35ee433: Pulling fs layer
2ce8a10bf29f: Waiting
7bfa5dba7952: Pulling fs layer
4f4fb700ef54: Pulling fs layer
f6b6a751bb6a: Pulling fs layer
781ee767d1c7: Waiting
f71dccae2ee7: Pulling fs layer
fe37a54a1499: Pulling fs layer
1815b99ebc09: Pulling fs layer
de21e4dabd9c: Waiting
363d1f23b2cf: Pulling fs layer
2271c058ae3a: Waiting
4bb0990bd121: Pulling fs layer
ac4f9c652c6c: Pulling fs layer
f047029589c4: Waiting
ab5409fef174: Pulling fs layer
e7134f98c78b: Waiting
afc7c35ee433: Waiting
5e58ee45c6c7: Pulling fs layer
ee06219176b1: Pulling fs layer
34fd31afeec8: Pulling fs layer
c7a97b361486: Pulling fs layer
fc2b6e5cc5d9: Pulling fs layer
1c145dfb6c8a: Pulling fs layer
f1bb600e92a6: Pulling fs layer
b802a6057f6d: Waiting
7bfa5dba7952: Waiting
97457e4bb83c: Pulling fs layer
f6b6a751bb6a: Waiting
f71dccae2ee7: Waiting
f443344b6027: Pulling fs layer
ad401f078830: Waiting
899babe8d9b2: Pulling fs layer
fe37a54a1499: Waiting
0782628cdc8a: Pulling fs layer
5f180230ef97: Pulling fs layer
1815b99ebc09: Waiting
f013892c68c1: Pulling fs layer
2e5754ca2c40: Waiting
04ab44a2df2c: Waiting
3c9c3f15c70f: Pulling fs layer
4bb0990bd121: Waiting
ab5409fef174: Waiting
5e58ee45c6c7: Waiting
dc2d418c83c6: Pulling fs layer
f1bb600e92a6: Waiting
ee06219176b1: Waiting
977e732b88fa: Pulling fs layer
97457e4bb83c: Waiting
45baf3280147: Pulling fs layer
34fd31afeec8: Waiting
c7a97b361486: Waiting
0f454d36be04: Waiting
0782628cdc8a: Waiting
fc2b6e5cc5d9: Waiting
4f4fb700ef54: Waiting
1c145dfb6c8a: Waiting
45baf3280147: Waiting
dc2d418c83c6: Waiting
5f180230ef97: Waiting
f443344b6027: Waiting
977e732b88fa: Waiting
3c9c3f15c70f: Waiting
899babe8d9b2: Waiting
ac4f9c652c6c: Waiting
363d1f23b2cf: Waiting
096a51bccb57: Waiting
f013892c68c1: Waiting
204ffcf2f1fe: Verifying Checksum
204ffcf2f1fe: Download complete
204ffcf2f1fe: Pull complete
b802a6057f6d: Download complete
47b045e79836: Verifying Checksum
47b045e79836: Download complete
2ce8a10bf29f: Verifying Checksum
2ce8a10bf29f: Download complete
97af65095748: Verifying Checksum
97af65095748: Download complete
2271c058ae3a: Verifying Checksum
2271c058ae3a: Download complete
2e5754ca2c40: Verifying Checksum
2e5754ca2c40: Download complete
781ee767d1c7: Verifying Checksum
781ee767d1c7: Download complete
de21e4dabd9c: Verifying Checksum
de21e4dabd9c: Download complete
0f454d36be04: Verifying Checksum
0f454d36be04: Download complete
f047029589c4: Verifying Checksum
f047029589c4: Download complete
04ab44a2df2c: Download complete
ad401f078830: Verifying Checksum
ad401f078830: Download complete
096a51bccb57: Verifying Checksum
096a51bccb57: Download complete
e7134f98c78b: Verifying Checksum
e7134f98c78b: Download complete
afc7c35ee433: Download complete
7bfa5dba7952: Verifying Checksum
7bfa5dba7952: Download complete
4f4fb700ef54: Download complete
f71dccae2ee7: Verifying Checksum
f71dccae2ee7: Download complete
f6b6a751bb6a: Verifying Checksum
f6b6a751bb6a: Download complete
fe37a54a1499: Verifying Checksum
fe37a54a1499: Download complete
1815b99ebc09: Verifying Checksum
1815b99ebc09: Download complete
f6fa4529cc6b: Verifying Checksum
f6fa4529cc6b: Download complete
4bb0990bd121: Download complete
ac4f9c652c6c: Verifying Checksum
ac4f9c652c6c: Download complete
ab5409fef174: Verifying Checksum
ab5409fef174: Download complete
363d1f23b2cf: Verifying Checksum
363d1f23b2cf: Download complete
ee06219176b1: Download complete
5e58ee45c6c7: Verifying Checksum
5e58ee45c6c7: Download complete
34fd31afeec8: Verifying Checksum
34fd31afeec8: Download complete
1c145dfb6c8a: Download complete
c7a97b361486: Verifying Checksum
c7a97b361486: Download complete
97457e4bb83c: Download complete
f443344b6027: Verifying Checksum
f443344b6027: Download complete
899babe8d9b2: Verifying Checksum
899babe8d9b2: Download complete
0782628cdc8a: Download complete
f6fa4529cc6b: Pull complete
f1bb600e92a6: Verifying Checksum
f1bb600e92a6: Download complete
5f180230ef97: Verifying Checksum
5f180230ef97: Download complete
f013892c68c1: Verifying Checksum
f013892c68c1: Download complete
dc2d418c83c6: Download complete
977e732b88fa: Verifying Checksum
977e732b88fa: Download complete
45baf3280147: Verifying Checksum
45baf3280147: Download complete
3c9c3f15c70f: Verifying Checksum
3c9c3f15c70f: Download complete
97af65095748: Pull complete
b802a6057f6d: Pull complete
47b045e79836: Pull complete
2ce8a10bf29f: Pull complete
781ee767d1c7: Pull complete
2271c058ae3a: Pull complete
2e5754ca2c40: Pull complete
de21e4dabd9c: Pull complete
f047029589c4: Pull complete
0f454d36be04: Pull complete
04ab44a2df2c: Pull complete
ad401f078830: Pull complete
096a51bccb57: Pull complete
e7134f98c78b: Pull complete
afc7c35ee433: Pull complete
7bfa5dba7952: Pull complete
4f4fb700ef54: Pull complete
f6b6a751bb6a: Pull complete
f71dccae2ee7: Pull complete
fe37a54a1499: Pull complete
1815b99ebc09: Pull complete
363d1f23b2cf: Pull complete
4bb0990bd121: Pull complete
ac4f9c652c6c: Pull complete
ab5409fef174: Pull complete
5e58ee45c6c7: Pull complete
ee06219176b1: Pull complete
34fd31afeec8: Pull complete
c7a97b361486: Pull complete
fc2b6e5cc5d9: Verifying Checksum
fc2b6e5cc5d9: Download complete
fc2b6e5cc5d9: Pull complete
1c145dfb6c8a: Pull complete
f1bb600e92a6: Pull complete
97457e4bb83c: Pull complete
f443344b6027: Pull complete
899babe8d9b2: Pull complete
0782628cdc8a: Pull complete
5f180230ef97: Pull complete
f013892c68c1: Pull complete
3c9c3f15c70f: Pull complete
dc2d418c83c6: Pull complete
977e732b88fa: Pull complete
45baf3280147: Pull complete
Digest: sha256:78cddc7af8976e354fc2ba208848413e0ad967cd1a5c7e891947641916892c01
Status: Downloaded newer image for ocaml/opam@sha256:78cddc7af8976e354fc2ba208848413e0ad967cd1a5c7e891947641916892c01
2026-04-23 11:48.04 ---> using "ae84376c8ea64c3b44609ae7ddbc6e3c1ee969d9d31c6d20fd5399e1219d3141" from cache


/: (comment opensuse-16.0-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-04-23 11:48.04 ---> using "1ee9c1e317a25924020f89502dbdbad8fdf3f56681bfee7edfc8d0ed6348d80e" 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-04-23 11:48.04 ---> using "7805bba59b7c6e676aabbcb51933844eaffb2f4bb1fab3f2094053a973466463" from cache


/src: (run (shell "uname -rs && opam exec -- ocaml -version && opam --version"))
Linux 6.8.0-106-generic
The OCaml toplevel, version 5.4.1
2.5.0
2026-04-23 11:48.04 ---> using "8368f41d2b7f9e27edfe538453b7a35ef59ae347249d166d59db90c1ae6552fb" from cache


/src: (workdir /src)


/src: (run (shell "sudo chown opam /src"))
2026-04-23 11:48.04 ---> using "7811d14c159e034d2d2bb93679fdcd7e841dee20d8ba648dad9e05a22f63897b" from cache


/src: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "cd ~/opam-repository && (git cat-file -e 499ef09e251055ba35c2e994b86c609886b37a53 || git fetch origin master) && git reset -q --hard 499ef09e251055ba35c2e994b86c609886b37a53 && git log --no-decorate -n1 --oneline && opam update -u"))
From https://github.com/ocaml/opam-repository
* branch                  master     -> FETCH_HEAD
42844088d7..6b6b0c375b  master     -> origin/master
499ef09e25 Merge pull request #29791 from dbuenzli/b0-publish-bos.0.3.0


<><> Updating package repositories ><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from git+file:///home/opam/opam-repository
default (at git+file:///home/opam/opam-repository):
[WARNING] opam is out-of-date. Please consider updating it (https://opam.ocaml.org/doc/Install.html)


default (at git+file:///home/opam/opam-repository):
[INFO] opam 2.5.1 includes security fixes; please consider upgrading (https://opam.ocaml.org/doc/Install.html)


Everything as up-to-date as possible
However, you may "opam upgrade" these packages explicitly at these versions (e.g. "opam upgrade ocaml.5.5.0"), which will ask permission to downgrade or uninstall the conflicting packages.
Nothing to do.
# To update the current shell environment, run: eval $(opam env)
2026-04-23 11:48.04 ---> using "df7157b2ccac4946e9dbb4b33593ff7021983874e1453dfff415166ead6ee486" from cache


/src: (copy (src lintcstubs.opam lintcstubs-gen.opam) (dst ./))
2026-04-23 11:48.05 ---> saved as "e4f9b47f952380a3a54ad6536f2d298fe87db63b4bd8313bf5e19057b8932976"


/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-04-23 11:48.06 ---> saved as "b81f7a0a8d464f7c36cf1cea0c8b00ceaee2ed97c4cebd8c745f1b3c92c13973"


/src: (run (shell "echo '(lang dune 3.0)' > './dune-project'"))
2026-04-23 11:48.07 ---> saved as "32e06f1903335a8ff2ae90de2c1d28a779891c697183faf4f11bdc0003f9c910"


/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.3.0 camlp-streams.5.0.1 catapult.0.2 catapult-file.0.2 conf-autoconf.0.2 conf-gcc.1.0 conf-gmp.5 conf-graphviz.0.1 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.22.2 dune-build-info.3.22.2 dune-compiledb.0.6.0 dune-configurator.3.22.2 dune-private-libs.3.22.2 dune-site.3.22.2 dyn.3.22.2 ezjsonm.1.3.0 fileutils.0.6.6 fmt.0.11.0 fpath.0.7.3 fs-io.3.22.2 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.26.0 lintcstubs-arity.0.5.1 logs.0.10.0 num.1.6 ocaml.5.4.1 ocaml-base-compiler.5.4.1 ocaml-compiler.5.4.1 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.22.2 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.38.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.22.2 stringext.1.6.0 thread-table.1.0.0 top-closure.3.22.2 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 "zypper" "--non-interactive" "refresh"
- Repository 'repo-openh264 (16.0)' is up to date.
- Retrieving repository 'repo-oss (16.0)' metadata [..
- Looking for gpg keys in repository repo-oss (16.0).
-   gpgkey=http://cdn.opensuse.org/distribution/leap/16.0/repo/oss/x86_64/repodata/repomd.xml.key
- ...
- .
- .........
- ..........
- .........
- ..........
- ..........
- ..........
- .........
- ..........
- .........
- .........
- ..........
- .........
- .........
- ..........
- ..........
- .........
- .........
- ..........
- .........
- ..........
- .........
- .........
- ..........
- .........
- ..........
- ..........
- ........
- ...........
- .....done]
- Building repository 'repo-oss (16.0)' cache [..
- ..done]
- All repositories have been refreshed.


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[lintcstubs.dev] synchronised (file:///src)
[lintcstubs-gen.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.1).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.4.1).
[NOTE] Package ocaml is already installed (current version is 5.4.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-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:
gmp-devel graphviz


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


+ /usr/bin/sudo "zypper" "--non-interactive" "install" "gmp-devel" "graphviz"
- Refreshing service 'openSUSE'.
- Loading repository data...
- Reading installed packages...
- Resolving package dependencies...
- 
- The following 12 NEW packages are going to be installed:
-   bitstream-vera-fonts gmp-devel graphviz graphviz-plugins-core libcdt5 libcgraph6 libgmpxx4 libgts-0_7-5 libgvc6 libgvpr2 libpathplan4 libxdot4
- 
- 12 new packages to install.
- 
- Package download size:     2.8 MiB
- 
- Package install size change:
-               |       6.8 MiB  required by packages that will be installed
-      6.8 MiB  |  -      0 B    released by packages that will be removed
- 
- Backend:  classic_rpmtrans
- Continue? [y/n/v/...? shows all options] (y): y
- Preloading Packages [..
- Preloading: libgmpxx4-6.3.0-160000.2.2.x86_64.rpm [done]
- .
- Preloading: libpathplan4-12.2.1-160000.1.1.x86_64.rpm [done]
- .
- Preloading: libgts-0_7-5-0.7.6_p20121130-160000.3.2.x86_64.rpm [done]
- .
- Preloading: libcgraph6-12.2.1-160000.1.1.x86_64.rpm [done]
- .
- Preloading: libxdot4-12.2.1-160000.1.1.x86_64.rpm [done]
- .
- Preloading: bitstream-vera-fonts-1.10-160000.2.2.noarch.rpm [done]
- .
- Preloading: libgvpr2-12.2.1-160000.1.1.x86_64.rpm [done]
- ..
- Preloading: gmp-devel-6.3.0-160000.2.2.x86_64.rpm [done]
- .
- Preloading: graphviz-plugins-core-12.2.1-160000.1.1.x86_64.rpm [done]
- .
- .
- Preloading: libgvc6-12.2.1-160000.1.1.x86_64.rpm [done]
- ..
- Preloading: graphviz-12.2.1-160000.1.1.x86_64.rpm [done]
- .
- 
- Preloading: libcdt5-12.2.1-160000.1.1.x86_64.rpm [Error: "The requested URL returned error: 404", trying next mirror.]
- ..
- Preloading: libcdt5-12.2.1-160000.1.1.x86_64.rpm [done]
- .done]
- Retrieving: bitstream-vera-fonts-1.10-160000.2.2.noarch (repo-oss (16.0)) (1/12), 244.9 KiB
- Retrieving: libcdt5-12.2.1-160000.1.1.x86_64 (repo-oss (16.0)) (2/12),  76.6 KiB
- Retrieving: libgmpxx4-6.3.0-160000.2.2.x86_64 (repo-oss (16.0)) (3/12),  32.3 KiB
- Retrieving: libgts-0_7-5-0.7.6_p20121130-160000.3.2.x86_64 (repo-oss (16.0)) (4/12), 157.8 KiB
- Retrieving: libpathplan4-12.2.1-160000.1.1.x86_64 (repo-oss (16.0)) (5/12),  81.6 KiB
- Retrieving: libxdot4-12.2.1-160000.1.1.x86_64 (repo-oss (16.0)) (6/12),  75.9 KiB
- Retrieving: libcgraph6-12.2.1-160000.1.1.x86_64 (repo-oss (16.0)) (7/12), 112.2 KiB
- Retrieving: gmp-devel-6.3.0-160000.2.2.x86_64 (repo-oss (16.0)) (8/12), 320.7 KiB
- Retrieving: libgvpr2-12.2.1-160000.1.1.x86_64 (repo-oss (16.0)) (9/12), 183.0 KiB
- Retrieving: libgvc6-12.2.1-160000.1.1.x86_64 (repo-oss (16.0)) (10/12), 325.3 KiB
- Retrieving: graphviz-12.2.1-160000.1.1.x86_64 (repo-oss (16.0)) (11/12), 726.3 KiB
- Retrieving: graphviz-plugins-core-12.2.1-160000.1.1.x86_64 (repo-oss (16.0)) (12/12), 480.1 KiB
- 
- Checking for file conflicts: [..done]
- ( 1/12) Installing: bitstream-vera-fonts-1.10-160000.2.2.noarch [..done]
- ( 2/12) Installing: libcdt5-12.2.1-160000.1.1.x86_64 [..done]
- ( 3/12) Installing: libgmpxx4-6.3.0-160000.2.2.x86_64 [..done]
- ( 4/12) Installing: libgts-0_7-5-0.7.6_p20121130-160000.3.2.x86_64 [..done]
- ( 5/12) Installing: libpathplan4-12.2.1-160000.1.1.x86_64 [..done]
- ( 6/12) Installing: libxdot4-12.2.1-160000.1.1.x86_64 [..done]
- ( 7/12) Installing: libcgraph6-12.2.1-160000.1.1.x86_64 [..done]
- ( 8/12) Installing: gmp-devel-6.3.0-160000.2.2.x86_64 [..done]
- ( 9/12) Installing: libgvpr2-12.2.1-160000.1.1.x86_64 [..done]
- (10/12) Installing: libgvc6-12.2.1-160000.1.1.x86_64 [..done]
- (11/12) Installing: graphviz-12.2.1-160000.1.1.x86_64 [..done]
- (12/12) Installing: graphviz-plugins-core-12.2.1-160000.1.1.x86_64 [..done]
- Running post-transaction scripts [...done]
# To update the current shell environment, run: eval $(opam env)
2026-04-23 11:49.04 ---> saved as "f4dedd0f286319dc6754b205f459144ffed4441ebbecf9d369b9f399883305f5"


/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.1).
[NOTE] Package ocaml-base-compiler is already installed (current version is 5.4.1).
[NOTE] Package ocaml is already installed (current version is 5.4.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-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 75 packages
- install angstrom            0.16.1
- install arg-complete        0.2.1
- install astring             0.8.5
- install batteries           3.10.0
- install bigstringaf         0.10.0
- install bos                 0.3.0
- install camlp-streams       5.0.1
- install catapult            0.2
- install catapult-file       0.2
- install conf-autoconf       0.2
- install conf-gcc            1.0
- install conf-gmp            5
- install conf-graphviz       0.1
- install conf-perl           2
- install conf-pkg-config     4
- install cppo                1.8.0
- install cpu                 2.0.0
- install csexp               1.5.2
- install cstruct             6.2.0
- install ctypes              0.24.0
- install domain-local-await  1.0.1
- install domain_shims        0.1.0
- install dune                3.22.2
- install dune-build-info     3.22.2
- install dune-compiledb      0.6.0
- install dune-configurator   3.22.2
- install dune-private-libs   3.22.2
- install dune-site           3.22.2
- install dyn                 3.22.2
- install ezjsonm             1.3.0
- install fileutils           0.6.6
- install fmt                 0.11.0
- install fpath               0.7.3
- install fs-io               3.22.2
- install goblint             2.7.1
- install goblint-cil         2.0.9
- install hex                 1.5.0
- install integers            0.7.0
- install json-data-encoding  1.0.1
- install jsonm               1.0.2
- install jsonrpc             1.26.0
- install lintcstubs-arity    0.5.1
- install logs                0.10.0
- install num                 1.6
- install ocaml-compiler-libs v0.17.0
- install ocaml-syntax-shims  1.0.0
- install ocamlbuild          0.16.1
- install ocamlfind           1.9.8
- install ordering            3.22.2
- install parsexp             v0.17.0
- install pp                  2.0.0
- install ppx_blob            0.9.0
- install ppx_derivers        1.2.1
- install ppx_deriving        6.1.1
- install ppx_deriving_hash   0.1.3
- install ppx_deriving_yojson 3.10.0
- install ppxlib              0.38.0
- install qcheck-core         0.91
- install rresult             0.7.0
- install seq                 base
- install sexplib             v0.17.0
- install sexplib0            v0.17.0
- install sha                 1.15.4
- install stdlib-shims        0.3.0
- install stdune              3.22.2
- install stringext           1.6.0
- install thread-table        1.0.0
- install top-closure         3.22.2
- install topkg               1.1.1
- install uri                 4.4.0
- install uuidm               0.9.10
- install uutf                1.0.4
- install yaml                3.2.0
- install yojson              2.2.2
- install zarith              1.14


<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved angstrom.0.16.1  (cached)
-> retrieved arg-complete.0.2.1  (cached)
-> retrieved astring.0.8.5  (cached)
-> retrieved bigstringaf.0.10.0  (cached)
-> retrieved camlp-streams.5.0.1  (cached)
-> retrieved bos.0.3.0  (cached)
-> retrieved conf-gmp.5  (cached)
-> retrieved batteries.3.10.0  (cached)
-> retrieved catapult.0.2, catapult-file.0.2  (cached)
-> retrieved cppo.1.8.0  (cached)
-> installed conf-autoconf.0.2
-> installed conf-gcc.1.0
-> installed conf-gmp.5
-> installed conf-graphviz.0.1
-> installed conf-perl.2
-> installed conf-pkg-config.4
-> retrieved cpu.2.0.0  (cached)
-> retrieved csexp.1.5.2  (cached)
-> retrieved cstruct.6.2.0  (cached)
-> retrieved domain-local-await.1.0.1  (cached)
-> retrieved ctypes.0.24.0  (cached)
-> retrieved domain_shims.0.1.0  (cached)
-> retrieved dune-compiledb.0.6.0  (cached)
-> retrieved ezjsonm.1.3.0  (cached)
-> retrieved fileutils.0.6.6  (cached)
-> retrieved fmt.0.11.0  (cached)
-> retrieved fpath.0.7.3  (cached)
-> retrieved goblint-cil.2.0.9  (cached)
-> retrieved hex.1.5.0  (cached)
-> retrieved goblint.2.7.1  (cached)
-> retrieved dune.3.22.2, dune-build-info.3.22.2, dune-configurator.3.22.2, dune-private-libs.3.22.2, dune-site.3.22.2, dyn.3.22.2, fs-io.3.22.2, ordering.3.22.2, stdune.3.22.2, top-closure.3.22.2  (cached)
-> retrieved integers.0.7.0  (cached)
-> retrieved json-data-encoding.1.0.1  (cached)
-> retrieved jsonm.1.0.2  (cached)
-> retrieved lintcstubs-arity.0.5.1  (cached)
-> retrieved logs.0.10.0  (cached)
-> retrieved num.1.6  (cached)
-> retrieved ocaml-compiler-libs.v0.17.0  (cached)
-> retrieved ocaml-syntax-shims.1.0.0  (cached)
-> retrieved ocamlfind.1.9.8  (cached)
-> retrieved ocamlbuild.0.16.1  (cached)
-> retrieved jsonrpc.1.26.0  (cached)
-> retrieved parsexp.v0.17.0  (cached)
-> retrieved pp.2.0.0  (cached)
-> retrieved ppx_blob.0.9.0  (cached)
-> retrieved ppx_derivers.1.2.1  (cached)
-> retrieved ppx_deriving.6.1.1  (cached)
-> retrieved ppx_deriving_hash.0.1.3  (cached)
-> retrieved ppx_deriving_yojson.3.10.0  (cached)
-> retrieved rresult.0.7.0  (cached)
-> retrieved seq.base  (cached)
-> installed seq.base
-> retrieved qcheck-core.0.91  (cached)
-> retrieved sexplib.v0.17.0  (cached)
-> retrieved sexplib0.v0.17.0  (cached)
-> retrieved sha.1.15.4  (cached)
-> retrieved stdlib-shims.0.3.0  (cached)
-> retrieved stringext.1.6.0  (cached)
-> retrieved thread-table.1.0.0  (cached)
-> retrieved topkg.1.1.1  (cached)
-> retrieved uri.4.4.0  (cached)
-> retrieved ppxlib.0.38.0  (cached)
-> retrieved uuidm.0.9.10  (cached)
-> retrieved uutf.1.0.4  (cached)
-> retrieved zarith.1.14  (cached)
-> retrieved yaml.3.2.0  (cached)
-> retrieved yojson.2.2.2  (cached)
-> installed num.1.6
-> installed ocamlfind.1.9.8
-> installed ocamlbuild.0.16.1
-> installed zarith.1.14
-> installed topkg.1.1.1
-> installed uuidm.0.9.10
-> 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 logs.0.10.0
-> installed fpath.0.7.3
-> installed bos.0.3.0
-> installed dune.3.22.2
-> installed camlp-streams.5.0.1
-> installed catapult.0.2
-> installed cppo.1.8.0
-> installed csexp.1.5.2
-> installed cstruct.6.2.0
-> installed domain_shims.0.1.0
-> installed dune-build-info.3.22.2
-> installed fs-io.3.22.2
-> installed lintcstubs-arity.0.5.1
-> installed ocaml-compiler-libs.v0.17.0
-> installed ocaml-syntax-shims.1.0.0
-> installed ordering.3.22.2
-> installed pp.2.0.0
-> installed ppx_derivers.1.2.1
-> installed qcheck-core.0.91
-> installed sexplib0.v0.17.0
-> installed stdlib-shims.0.3.0
-> installed stringext.1.6.0
-> installed thread-table.1.0.0
-> installed top-closure.3.22.2
-> installed yojson.2.2.2
-> installed catapult-file.0.2
-> installed arg-complete.0.2.1
-> installed dune-configurator.3.22.2
-> installed hex.1.5.0
-> installed fileutils.0.6.6
-> installed dyn.3.22.2
-> installed batteries.3.10.0
-> installed parsexp.v0.17.0
-> installed integers.0.7.0
-> installed domain-local-await.1.0.1
-> installed jsonrpc.1.26.0
-> installed bigstringaf.0.10.0
-> installed ezjsonm.1.3.0
-> installed sha.1.15.4
-> installed cpu.2.0.0
-> installed angstrom.0.16.1
-> installed sexplib.v0.17.0
-> installed dune-compiledb.0.6.0
-> installed uri.4.4.0
-> installed stdune.3.22.2
-> installed json-data-encoding.1.0.1
-> installed dune-private-libs.3.22.2
-> installed ctypes.0.24.0
-> installed dune-site.3.22.2
-> installed yaml.3.2.0
-> installed ppxlib.0.38.0
-> installed ppx_blob.0.9.0
-> installed ppx_deriving.6.1.1
-> installed ppx_deriving_hash.0.1.3
-> installed ppx_deriving_yojson.3.10.0
-> installed goblint-cil.2.0.9
-> installed goblint.2.7.1
Done.


<><> goblint.2.7.1 installed successfully <><><><><><><><><><><><><><><><><><><>
=> Do not benchmark Goblint on OCaml 5 (https://goblint.readthedocs.io/en/latest/user-guide/benchmarking/).
# To update the current shell environment, run: eval $(opam env)
2026-04-23 11:50.47 ---> saved as "1e33e264b835053c544f0d61f459e5fd564bbce50a3b25f7654ee97293650e4f"


/src: (copy (src .) (dst /src))
2026-04-23 11:50.47 ---> saved as "7ae55a128090f9314af57d8bc76ad8e0c5e9856a107887c5801ab9bb0dcc4dd7"


/src: (run (shell "opam exec -- dune build @install @check @runtest && rm -rf _build"))
(cd _build/default/model/stub/src && /usr/bin/gcc -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -D_FILE_OFFSET_BITS=64 -Wall -fdiagnostics-color=always -Wno-attributes -g -I /home/opam/.opam/5.4/lib/ocaml -I ../../include -o ocaml_runtime.model.o -c ocaml_runtime.model.c)
ocaml_runtime.model.c: In function '__caml_maybe_run_finalizer':
ocaml_runtime.model.c:225:21: warning: unused variable 'ret' [-Wunused-variable]
225 |             uintnat ret = ops->deserialize(dst);
|                     ^~~
In file included from /home/opam/.opam/5.4/lib/ocaml/caml/alloc.h:20,
from ocaml_runtime.model.c:39:
ocaml_runtime.model.c: In function '__caml_move':
/home/opam/.opam/5.4/lib/ocaml/caml/mlvalues.h:196:21: warning: initialization discards 'volatile' qualifier from pointer target type [-Wdiscarded-qualifiers]
196 | #define Hp_val(val) (((volatile header_t *) (val)) - 1)
|                     ^
ocaml_runtime.model.c:252:18: note: in expansion of macro 'Hp_val'
252 |     void *orig = Hp_val(arg);
|                  ^~~~~~
ocaml_runtime.model.c: In function '__caml_maybe_run_gc':
ocaml_runtime.model.c:282:35: warning: the comparison will always evaluate as 'true' for the address of 'tables' will never be NULL [-Waddress]
282 |                 __goblint_assume(!!lr->tables);
|                                   ^
In file included from /home/opam/.opam/5.4/lib/ocaml/caml/callback.h:22,
from ocaml_runtime.model.c:40:
/home/opam/.opam/5.4/lib/ocaml/caml/memory.h:253:10: note: 'tables' declared here
253 |   value *tables [5];
|          ^~~~~~
ocaml_runtime.model.c: In function 'caml_alloc':
ocaml_runtime.model.c:328:14: warning: unused variable 'i' [-Wunused-variable]
328 |     unsigned i;
|              ^
ocaml_runtime.model.c: In function '__VERIFIER_nondet_value':
ocaml_runtime.model.c:169:21: warning: 'val' is used uninitialized [-Wuninitialized]
169 | { value val; return val; }
|                     ^~~
ocaml_runtime.model.c:169:9: note: 'val' was declared here
169 | { value val; return val; }
|         ^~~
ocaml_runtime.model.c: In function '__VERIFIER_nondet_int32':
ocaml_runtime.model.c:616:23: warning: 'val' is used uninitialized [-Wuninitialized]
616 | { int32_t val; return val; }
|                       ^~~
ocaml_runtime.model.c:616:11: note: 'val' was declared here
616 | { int32_t val; return val; }
|           ^~~
ocaml_runtime.model.c: In function '__VERIFIER_nondet_int64':
ocaml_runtime.model.c:619:23: warning: 'val' is used uninitialized [-Wuninitialized]
619 | { int64_t val; return val; }
|                       ^~~
ocaml_runtime.model.c:619:11: note: 'val' was declared here
619 | { int64_t val; return val; }
|           ^~~
(cd _build/default/example/dune && ../../../install/default/bin/lintcstubs --conf lintcstubs.json --set warn.race-threshold 200 foostubs.c primitives.model.c -I /home/opam/.opam/5.4/lib/ocaml -o foo.sarif) > _build/default/example/dune/foo.log
sh: line 1: pygmentize: command not found
2026-04-23 11:50.55 ---> saved as "46f7754b572f0e1b7065b3b9f405a6108cbc19305991e4ad2ae8d5cb786daece"
Job succeeded
2026-04-23 11:50.55: Job succeeded