Build:
- 0
2026-10-01 23:23.17: New job: build dolmen.0.10 (12614152ad32) 2026-10-01 23:23.17: Waiting for resource in pool day11-builds 2026-10-01 23:30.35: Got resource from pool day11-builds 2026-10-01 23:30.35: [profile oxcaml-odoc-master] build dolmen.0.10 2026-10-01 23:30.35: build dolmen.0.10 (12614152ad32) === DEPENDENCIES (20 transitive) === base-threads.base ddcab511c589 base-unix.base 742554e1dbc2 cmdliner.1.3.0 2c7014acccbc conf-autoconf.1 43fe4a407b7a conf-which.1 5fccb3a41099 dune.3.22.2+ox 21c22850c2e7 fmt.0.11.0 775e23de590c hmap.0.8.1 32da7f159e66 menhir.20250912 cd096adb3392 menhirCST.20250912 1aee66ab0fb0 menhirLib.20250912 d4b4cda69362 menhirSdk.20250912 d6f1f5f2f47a ocaml.5.2.0 85717df18cac ocaml-config.3 dfa5d10ad7e0 ocaml-variants.5.2.0+ox 7f3963f90e6c ocamlbuild.0.16.1+ox 469416b8f226 ocamlfind.1.9.8+ox 5df9d018c8a4 oxcaml-compiler.5.2.0minus25 2c57baabaeeb seq.base aa7cdf617442 topkg.1.1.1+ox 72f2bb39de93 === 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/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/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 && /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:34.20: OK: build dolmen.0.10 (runc: 210.7s, disk: 12KB) 2026-10-01 23:34.20: Job succeeded