Build:
- 0
2026-09-28 15:53.41: New job: build dolmen.0.10 (3ceb64a09fd1) 2026-09-28 15:53.41: Waiting for resource in pool day11-builds 2026-09-28 15:57.36: Got resource from pool day11-builds 2026-09-28 15:57.36: [profile oxcaml-odoc-master] build dolmen.0.10 2026-09-28 15:57.36: build dolmen.0.10 (3ceb64a09fd1) === DEPENDENCIES (20 transitive) === base-threads.base ddcab511c589 base-unix.base 742554e1dbc2 cmdliner.2.1.1 9f81d96a817a conf-autoconf.1 43fe4a407b7a conf-which.1 5fccb3a41099 dune.3.22.2+ox 057b1ed5957b fmt.0.11.0 c76e5df6244f hmap.0.8.1 9a25940ab2b3 menhir.20250912 455eef6e32db menhirCST.20250912 2663825e4a20 menhirLib.20250912 6f6d69b7de0c menhirSdk.20250912 26c8cc32d56f ocaml.5.4.0 74a2c67841c6 ocaml-config.3 d58db97ddfef ocaml-variants.5.4.0+ox 4babdc19da91 ocamlbuild.0.16.1+ox 55da2dcae837 ocamlfind.1.9.8+ox 47b14ae6bc12 oxcaml-compiler.5.4.0-ox7 42053eeff39a seq.base a53d1461208b topkg.1.1.1+ox 6335c019c657 === 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-09-28 16:00.57: OK: build dolmen.0.10 (runc: 178.3s, disk: 12KB) 2026-09-28 16:00.57: Job succeeded