2026-06-24 16:16.37: New job: build binsec.0.4.1 (cc160bc452b4)
2026-06-24 16:16.37: Waiting for resource in pool day11-builds
2026-06-24 17:11.57: Got resource from pool day11-builds
2026-06-24 17:11.57: [profile full] build binsec.0.4.1
2026-06-24 17:11.57: build binsec.0.4.1 (cc160bc452b4)
=== DEPENDENCIES (23 transitive) ===
  base-threads.base                                  c9e7bdbf5823
  base-unix.base                                     7d1428be9ddb
  conf-gmp.5                                         be11edf77089
  conf-pkg-config.5                                  d5de2c6a88f9
  csexp.1.5.2                                        610c78f17734
  dune.3.23.1                                        848a72441e15
  dune-private-libs.3.23.1                           a89eb46c4096
  dune-site.3.23.1                                   5b411fa7d2d0
  dyn.3.23.1                                         d06a41e37199
  fs-io.3.23.1                                       98b9a2abb289
  menhir.20211128                                    4d375e46691e
  menhirLib.20211128                                 84dec646e3db
  menhirSdk.20211128                                 fab0287522a3
  ocaml.4.14.4                                       b047fb9251f4
  ocaml-base-compiler.4.14.4                         d3b7ccb2c6fb
  ocaml-config.2                                     2d9c209f5590
  ocamlfind.1.9.8                                    214dd418ac02
  ocamlgraph.2.2.0                                   9a3a86466508
  ordering.3.23.1                                    acee06651db0
  pp.2.0.0                                           926de0790ed1
  stdune.3.23.1                                      37612cfafcf0
  top-closure.3.23.1                                 7d9982fac4c7
  zarith.1.14                                        a8971d2f668c
=== STDOUT ===
Processing: [default: loading data]
[binsec.0.4.1: dl]
[binsec.0.4.1: extract]
-> retrieved binsec.0.4.1  (https://opam.ocaml.org/cache)
[binsec: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "binsec" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/binsec.0.4.1)
- (cd _build/default && /home/opam/.opam/default/bin/menhir src/smtlib/smtlib_parser.mly --base src/smtlib/smtlib_parser --infer-read-reply src/smtlib/smtlib_parser__mock.mli.inferred)
- Warning: one state has shift/reduce conflicts.
- Warning: 9 shift/reduce conflicts were arbitrarily resolved.
- (cd _build/default && /home/opam/.opam/default/bin/menhir src/parser/dbacsl_parser.mly --base src/parser/dbacsl_parser --infer-read-reply src/parser/dbacsl_parser__mock.mli.inferred)
- Warning: 7 states have shift/reduce conflicts.
- Warning: 94 shift/reduce conflicts were arbitrarily resolved.
- (cd _build/default && /home/opam/.opam/default/bin/menhir src/parser/parser.mly --base src/parser/parser --infer-read-reply src/parser/parser__mock.mli.inferred)
- Warning: 4 states have shift/reduce conflicts.
- Warning: 4 shift/reduce conflicts were arbitrarily resolved.
-> compiled  binsec.0.4.1
-> installed binsec.0.4.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-24 17:12.32: OK: build binsec.0.4.1 (runc: 19.2s, disk: 9KB)
2026-06-24 17:12.32: Job succeeded