Build:
- 0
2026-10-06 17:31.50: New job: build dolmen.0.10 (f4becd7ceafb) 2026-10-06 17:31.50: Waiting for resource in pool day11-builds 2026-10-06 17:36.00: Got resource from pool day11-builds 2026-10-06 17:36.00: [profile oxcaml-odoc-master] build dolmen.0.10 2026-10-06 17:36.00: build dolmen.0.10 (f4becd7ceafb) === DEPENDENCIES (20 transitive) === base-threads.base 464810371b96 base-unix.base 4596d20d2cf7 cmdliner.1.3.0 2b926c34d154 conf-autoconf.1 8ee1e3913008 conf-which.1 65c43ca119c3 dune.3.22.2+ox c16d8afadb18 fmt.0.11.0 4029c7cec932 hmap.0.8.1 3f1b3f55b7cf menhir.20250912 4774e02af3f3 menhirCST.20250912 caf063257642 menhirLib.20250912 aeba225068bf menhirSdk.20250912 95423392754d ocaml.5.2.0 9d46674255e6 ocaml-config.3 15a28f46f03a ocaml-variants.5.2.0+ox 807c3ef9c420 ocamlbuild.0.16.1+ox 7b760041f98f ocamlfind.1.9.8+ox 747b1b555a03 oxcaml-compiler.5.2.0minus25 0929841197b1 seq.base 7b4f653c99b0 topkg.1.1.1+ox 261435f4106a === STDOUT === Processing: [default: loading data] [dolmen.0.10: dl] [dolmen.0.10: extract] -> retrieved dolmen.0.10 (https://opam.ocaml.org/cache) [dolmen: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "dolmen" "-j" "39" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/dolmen.0.10) - (cd _build/default/src/languages/dimacs && /home/opam/.opam/default/bin/menhir --external-tokens Tokens tokens.mly parser.mly --base parser.mly --compile-errors syntax.messages) > _build/default/src/languages/dimacs/syntax_messages.ml - Read 18 sample input sentences and 18 error messages. - (cd _build/default/src/languages/icnf && /home/opam/.opam/default/bin/menhir --external-tokens Tokens tokens.mly parser.mly --base parser.mly --compile-errors syntax.messages) > _build/default/src/languages/icnf/syntax_messages.ml - Read 20 sample input sentences and 20 error messages. - (cd _build/default/src/languages/zf && /home/opam/.opam/default/bin/menhir --external-tokens Tokens tokens.mly parser.mly --base parser.mly --compile-errors syntax.messages) > _build/default/src/languages/zf/syntax_messages.ml - Read 128 sample input sentences and 128 error messages. - (cd _build/default/src/languages/smtlib2/poly && /home/opam/.opam/default/bin/menhir --external-tokens Tokens tokens.mly parser.mly --base parser.mly --compile-errors syntax.messages) > _build/default/src/languages/smtlib2/poly/syntax_messages.ml - Read 321 sample input sentences and 321 error messages. - (cd _build/default/src/languages/smtlib2/v2.6/response && /home/opam/.opam/default/bin/menhir --external-tokens Tokens tokens.mly parser.mly --base parser.mly --compile-errors syntax.messages) > _build/default/src/languages/smtlib2/v2.6/response/syntax_messages.ml - Read 109 sample input sentences and 109 error messages. - (cd _build/default/src/languages/smtlib2/v2.6/script && /home/opam/.opam/default/bin/menhir --external-tokens Tokens tokens.mly parser.mly --base parser.mly --compile-errors syntax.messages) > _build/default/src/languages/smtlib2/v2.6/script/syntax_messages.ml - Read 255 sample input sentences and 255 error messages. - (cd _build/default/src/languages/tptp/v6.3.0 && /home/opam/.opam/default/bin/menhir --external-tokens Tokens tokens.mly parser.mly --base parser.mly --compile-errors syntax.messages) > _build/default/src/languages/tptp/v6.3.0/syntax_messages.ml - Read 342 sample input sentences and 342 error messages. - (cd _build/default/src/languages/ae && /home/opam/.opam/default/bin/menhir --external-tokens Tokens tokens.mly parser.mly --base parser.mly --compile-errors syntax.messages) > _build/default/src/languages/ae/syntax_messages.ml - Read 241 sample input sentences and 241 error messages. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -warn-error -3 -g -bin-annot -bin-annot-occurrences -bin-annot-cms -I src/standard/.dolmen_std.objs/byte -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/hmap -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/unix -I src/interface/.dolmen_intf.objs/byte -I src/languages/line/.dolmen_line.objs/byte -cmi-file src/standard/.dolmen_std.objs/byte/dolmen_std__Loc.cmi -no-alias-deps -open Dolmen_std -o src/standard/.dolmen_std.objs/byte/dolmen_std__Loc.cmo -c -impl src/standard/loc.ml) - File "src/standard/loc.ml", line 70, characters 2-27: - 70 | Printexc.register_printer (function - ^^^^^^^^^^^^^^^^^^^^^^^^^ - Alert unsafe_multidomain: Stdlib.Printexc.register_printer - Use [Printexc.Safe.register_printer]. - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -warn-error -3 -g -O3 -I src/standard/.dolmen_std.objs/byte -I src/standard/.dolmen_std.objs/native -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/hmap -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/ocaml/unix -I src/interface/.dolmen_intf.objs/byte -I src/interface/.dolmen_intf.objs/native -I src/languages/line/.dolmen_line.objs/byte -I src/languages/line/.dolmen_line.objs/native -cmi-file src/standard/.dolmen_std.objs/byte/dolmen_std__Loc.cmi -no-alias-deps -open Dolmen_std -o src/standard/.dolmen_std.objs/native/dolmen_std__Loc.cmx -c -impl src/standard/loc.ml) - File "src/standard/loc.ml", line 70, characters 2-27: - 70 | Printexc.register_printer (function - ^^^^^^^^^^^^^^^^^^^^^^^^^ - Alert unsafe_multidomain: Stdlib.Printexc.register_printer - Use [Printexc.Safe.register_printer]. -> compiled dolmen.0.10 -> installed dolmen.0.10 === STDERR === 2026-10-06 17:38.24: OK: build dolmen.0.10 (runc: 130.4s, disk: 12KB) 2026-10-06 17:38.24: Job succeeded