2026-06-24 18:03.28: New job: build binsec.0.4.0 (2b26854ae579)
2026-06-24 18:03.28: Waiting for resource in pool day11-builds
2026-06-24 18:42.49: Got resource from pool day11-builds
2026-06-24 18:42.49: [profile full] build binsec.0.4.0
2026-06-24 18:42.49: build binsec.0.4.0 (2b26854ae579)
=== DEPENDENCIES (25 transitive) ===
  base-threads.base                                  c9e7bdbf5823
  base-unix.base                                     7d1428be9ddb
  conf-gmp.5                                         be11edf77089
  conf-pkg-config.5                                  d5de2c6a88f9
  csexp.1.5.2                                        f264c37da222
  dune.3.23.1                                        f4fb3ab84d16
  dune-private-libs.3.22.2                           74d5139267a5
  dune-site.3.22.2                                   3035b07629e3
  dyn.3.22.2                                         3312b7918613
  fs-io.3.22.2                                       8aa611d1035f
  menhir.20211128                                    8aba8f7b0558
  menhirLib.20211128                                 a2b9abdd1fd5
  menhirSdk.20211128                                 6684a1808c8c
  ocaml.4.13.1                                       7bcd41fca40b
  ocaml-base-compiler.4.13.1                         ca45a5cca9d8
  ocaml-config.2                                     c716fa3c25ed
  ocaml-secondary-compiler.4.14.2                    fb63d435ed9e
  ocamlfind.1.9.6                                    bd6a8f122bb3
  ocamlfind-secondary.1.9.6                          71c79578841d
  ocamlgraph.2.2.0                                   9cbd68ea4d2b
  ordering.3.22.2                                    0a63ca3afcd1
  pp.2.0.0                                           0205403eee1b
  stdune.3.22.2                                      4692a56a966c
  top-closure.3.22.2                                 84e1dbd94c8e
  zarith.1.14                                        76472cc6f395
=== 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-24 18:43.41: OK: build binsec.0.4.0 (runc: 28.6s, disk: 12KB)
2026-06-24 18:43.41: Job succeeded