Build:
- 0
2026-10-23 20:17.46: New job: build dolmen.0.10 (d1ae16c95929) 2026-10-23 20:17.46: Waiting for resource in pool day11-builds 2026-10-23 20:19.14: Got resource from pool day11-builds 2026-10-23 20:19.14: [profile odoc-master-mini] build dolmen.0.10 2026-10-23 20:19.14: build dolmen.0.10 (d1ae16c95929) === DEPENDENCIES (18 transitive) === base-threads.base ca51096a9c5b base-unix.base 88a83b7ed333 cmdliner.2.1.1 1a85b76190fa compiler-cloning.enabled 1aa529c962c5 dune.3.24.2 6cd6abc0b8c5 fmt.0.11.0 6bd6c512f414 hmap.0.8.1 6f026fd440da menhir.20250912 26b8fed0b0df menhirCST.20250912 95b6b6cd5f16 menhirLib.20250912 33332e6a8198 menhirSdk.20250912 edc60c762821 ocaml.5.5.2 3d66d99b0b38 ocaml-base-compiler.5.5.2 546a7f1026cd ocaml-compiler.5.5.2 956e368db607 ocamlbuild.0.16.1 2941453b8670 ocamlfind.1.9.9~preview 36cecca1627b seq.base f73890a757db topkg.1.1.1 466156d28400 === 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/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. -> compiled dolmen.0.10 -> installed dolmen.0.10 === STDERR === 2026-10-23 20:19.57: OK: build dolmen.0.10 (runc: 28.6s, disk: 10KB) 2026-10-23 20:19.57: Job succeeded