Build:
- 0
2026-10-21 17:03.05: New job: build dolmen.0.10 (5196bc332ad8) 2026-10-21 17:03.05: Waiting for resource in pool day11-builds 2026-10-21 17:04.34: Got resource from pool day11-builds 2026-10-21 17:04.34: [profile odoc-master-mini] build dolmen.0.10 2026-10-21 17:04.34: build dolmen.0.10 (5196bc332ad8) === DEPENDENCIES (18 transitive) === base-threads.base ca51096a9c5b base-unix.base 88a83b7ed333 cmdliner.2.1.1 a412e98c8a24 compiler-cloning.enabled 1aa529c962c5 dune.3.23.1 00478a449154 fmt.0.11.0 4d5ac3cac656 hmap.0.8.1 7abf2495c1f7 menhir.20250912 81f175a48767 menhirCST.20250912 6808bbb68107 menhirLib.20250912 bc53a450b656 menhirSdk.20250912 39cd37a6569e ocaml.5.5.1 b4ae7c74216a ocaml-base-compiler.5.5.1 cae593a5c5a1 ocaml-compiler.5.5.1 22179c97969c ocamlbuild.0.16.1 4352af4257a3 ocamlfind.1.9.9~preview 27baeb7469d0 seq.base 30a7c709b8c3 topkg.1.1.1 0676723358a8 === 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/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/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/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. -> compiled dolmen.0.10 -> installed dolmen.0.10 === STDERR === 2026-10-21 17:05.26: OK: build dolmen.0.10 (runc: 24.1s, disk: 10KB) 2026-10-21 17:05.26: Job succeeded