2026-06-16 14:19.15: New job: build goblint-cil.2.0.1 (252fede38394)
2026-06-16 14:19.15: Waiting for resource in pool day11-builds
2026-06-16 16:03.33: Got resource from pool day11-builds
2026-06-16 16:03.33: [profile full] build goblint-cil.2.0.1
2026-06-16 16:03.33: build goblint-cil.2.0.1 (252fede38394)
=== DEPENDENCIES (24 transitive) ===
  base-threads.base                                  b7164ff76afe
  base-unix.base                                     839dc585f12d
  conf-gcc.1.0                                       dd4c5e537e37
  conf-gmp.5                                         61e3c79e0ddf
  conf-perl.2                                        9ee1ae5f2bf1
  conf-pkg-config.5                                  64c6b37d622b
  cppo.1.8.0                                         ea583d2d3bbb
  csexp.1.5.2                                        ec63db2dab31
  dune.3.23.1                                        5402470d931c
  dune-configurator.3.23.1                           58f4a3f92083
  ocaml.4.14.4                                       cb826ea44eb2
  ocaml-base-compiler.4.14.4                         d2f775f983d7
  ocaml-compiler-libs.v0.12.4                        d1dd1437b449
  ocaml-config.2                                     669e0fcf9e4d
  ocamlfind.1.9.8                                    6025f4a8e98e
  ppx_derivers.1.2.1                                 441538dbecd1
  ppx_deriving.6.1.1                                 441be4f273f5
  ppx_deriving_yojson.3.10.0                         0c1e7e6d3073
  ppxlib.0.38.0                                      12ad7b47c24b
  seq.base                                           063828a3d698
  sexplib0.v0.16.0                                   3e198ce31e44
  stdlib-shims.0.3.0                                 e2dd0beb9112
  yojson.2.2.2                                       dc1b4f6684bd
  zarith.1.14                                        cde7973b8292
=== STDOUT ===
Processing: [default: loading data]
[goblint-cil.2.0.1: dl]
[goblint-cil.2.0.1: extract]
[goblint-cil.2.0.1/realGccConfigure.patch: dl]
-> retrieved goblint-cil.2.0.1  (https://opam.ocaml.org/cache)
[goblint-cil: patch] applying realGccConfigure.patch
[goblint-cil: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "goblint-cil" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/goblint-cil.2.0.1)
- (cd _build/.sandbox/f85940340f196451e04d3254d73ab07c/default && /home/opam/.opam/default/bin/ocamlyacc src/frontc/cparser.mly)
- 1 shift/reduce conflict, 1 reduce/reduce conflict.
- (cd _build/default/src && /home/opam/.opam/default/bin/cppo -V OCAML:4.14.4 machdep.cppo.ml -x machdep:./machdep-ml.exe -o machdep.ml)
- Generating machine dependency information for CIL
-> compiled  goblint-cil.2.0.1
-> installed goblint-cil.2.0.1
[WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config

=== STDERR ===

2026-06-16 16:04.00: OK: build goblint-cil.2.0.1 (runc: 18.6s, disk: 9KB)
2026-06-16 16:04.00: Job succeeded