Build:
- 0
2026-10-01 23:35.11: New job: build dolmen.0.10 (124edb9f14e1) 2026-10-01 23:35.11: Waiting for resource in pool day11-builds 2026-10-01 23:41.28: Got resource from pool day11-builds 2026-10-01 23:41.28: [profile oxcaml-odoc-master] build dolmen.0.10 2026-10-01 23:41.28: build dolmen.0.10 (124edb9f14e1) === DEPENDENCIES (20 transitive) === base-threads.base ddcab511c589 base-unix.base 742554e1dbc2 cmdliner.2.1.1 5c5497d03dde conf-autoconf.1 43fe4a407b7a conf-which.1 5fccb3a41099 dune.3.22.2+ox a2ef013eeea9 fmt.0.11.0 07f7b1d44c71 hmap.0.8.1 8ca7c5a4680f menhir.20250912 65f73c656f83 menhirCST.20250912 02622c14e792 menhirLib.20250912 bfcb7a7e20cb menhirSdk.20250912 2af7b20695fa ocaml.5.2.0 cda6777ccfe3 ocaml-config.3 d77b853eaa33 ocaml-variants.5.2.0+ox a9808a9375cd ocamlbuild.0.16.1+ox 63a719bfd385 ocamlfind.1.9.8+ox f23a347b8f5f oxcaml-compiler.5.2.0minus39 9c94ae342626 seq.base c7881d2fd08c topkg.1.1.1+ox 12497656aa9b === 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/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/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/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/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/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 && /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-01 23:44.50: OK: build dolmen.0.10 (runc: 182.6s, disk: 12KB) 2026-10-01 23:44.50: Job succeeded