2026-06-23 17:03.04: New job: build binsec.0.4.0 (5dc4ad3376c6)
2026-06-23 17:03.04: Waiting for resource in pool day11-builds
2026-06-23 19:18.50: Got resource from pool day11-builds
2026-06-23 19:18.50: [profile full] build binsec.0.4.0
2026-06-23 19:18.50: build binsec.0.4.0 (5dc4ad3376c6)
=== DEPENDENCIES (25 transitive) ===
  base-threads.base                                  b7164ff76afe
  base-unix.base                                     839dc585f12d
  conf-gmp.5                                         61e3c79e0ddf
  conf-pkg-config.5                                  4b60827fc174
  csexp.1.5.2                                        3fd7f8aa8729
  dune.3.23.1                                        4ab42388130e
  dune-private-libs.3.22.2                           7959aa69ccf9
  dune-site.3.22.2                                   f3720ed87bda
  dyn.3.22.2                                         7178e8d06b92
  fs-io.3.22.2                                       dc783091bb02
  menhir.20211128                                    028eb766db57
  menhirLib.20211128                                 e11b122b9dc9
  menhirSdk.20211128                                 7c41588c168a
  ocaml.4.13.1                                       374ce8822fbe
  ocaml-base-compiler.4.13.1                         3060c22370ce
  ocaml-config.2                                     7e2bf3da2a6e
  ocaml-secondary-compiler.4.14.2                    208983c0e1e0
  ocamlfind.1.9.6                                    233791feab3d
  ocamlfind-secondary.1.9.6                          f311c6b5c8e3
  ocamlgraph.2.2.0                                   32b2e176e257
  ordering.3.22.2                                    62609a990295
  pp.2.0.0                                           c03b4c02e38f
  stdune.3.22.2                                      e842e2fcda7c
  top-closure.3.22.2                                 96cd7d09225d
  zarith.1.14                                        5d7d10e12f43
=== STDOUT ===
Processing: [default: loading data]
[binsec.0.4.0: dl]
[binsec.0.4.0: extract]
-> retrieved binsec.0.4.0  (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.0)
- (cd _build/default && /home/opam/.opam/default/bin/menhir src/parser/parser.mly --base src/parser/parser --infer-write-query src/parser/parser__mock.ml.mock)
- File "src/parser/parser.mly", line 44, characters 40-43:
- Warning: the token BIG is unused.
- File "src/parser/parser.mly", line 44, characters 29-39:
- Warning: the token ENDIANNESS is unused.
- File "src/parser/parser.mly", line 44, characters 44-50:
- Warning: the token LITTLE is unused.
- (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/ocamlc.opt -w -40 -w -3 -g -bin-annot -I src/.binsec.objs/byte -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/zarith -intf-suffix .ml -no-alias-deps -open Binsec -o src/.binsec.objs/byte/binsec__Bbsse_types.cmo -c -impl src/bbsse/bbsse_types.ml)
- File "src/bbsse/bbsse_types.ml", line 617, characters 21-36:
- 617 |   let from_address ?(block_index = 0) ~initialize_fun ~entrypoint =
-                            ^^^^^^^^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
- (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.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w -3 -g -I src/.binsec.objs/byte -I src/.binsec.objs/native -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/zarith -intf-suffix .ml -no-alias-deps -open Binsec -o src/.binsec.objs/native/binsec__Bbsse_types.cmx -c -impl src/bbsse/bbsse_types.ml)
- File "src/bbsse/bbsse_types.ml", line 617, characters 21-36:
- 617 |   let from_address ?(block_index = 0) ~initialize_fun ~entrypoint =
-                            ^^^^^^^^^^^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
-> compiled  binsec.0.4.0
-> installed binsec.0.4.0
[WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config

=== STDERR ===

2026-06-23 19:19.39: OK: build binsec.0.4.0 (runc: 27.1s, disk: 12KB)
2026-06-23 19:19.39: Job succeeded