Build:
- 0
2026-10-21 16:55.03: New job: build menhir.20260209 (f00cd5c07c02)
2026-10-21 16:55.03: Waiting for resource in pool day11-builds
2026-10-21 16:55.38: Got resource from pool day11-builds
2026-10-21 16:55.38: [profile odoc-master-mini] build menhir.20260209
2026-10-21 16:55.38: build menhir.20260209 (f00cd5c07c02)
=== DEPENDENCIES (10 transitive) ===
base-threads.base ca51096a9c5b
base-unix.base 88a83b7ed333
dune.2.9.3 171fce3f18de
menhirCST.20260209 6a9dd332829b
menhirGLR.20260209 e2109ff6071d
menhirLib.20260209 600c460ce75f
menhirSdk.20260209 f25ab8ef31c1
ocaml.4.12.1 9f11d68ab027
ocaml-base-compiler.4.12.1 f3fe6b0ae528
ocaml-config.2 51cd011547ac
=== STDOUT ===
Processing: [default: loading data]
[menhir.20260209: extract]
-> retrieved menhir.20260209 (cached)
[menhir: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "menhir" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/menhir.20260209)
- pack lib/pack/menhirLib.{ml,mli}
- Creating menhirLib.ml...
- Creating menhirLib.mli...
- menhir driver/stage2/ParserMessages.check
- Read 103 sample input sentences and 103 error messages.
- Read 103 sample input sentences and 50 error messages.
- menhir driver/stage2/ParserMessages.ml
- Read 103 sample input sentences and 50 error messages.
- menhir driver/stage2/Parser.{ml,mli}
- Grammar has 57 nonterminal symbols, among which 1 start symbols.
- Grammar has 38 terminal symbols.
- Grammar has 132 productions.
- Built an LR(0) automaton with 205 states.
- The grammar is not SLR(1) -- 7 states have a conflict.
- The construction mode is no-pager.
- Built an LR(1) automaton with 314 states.
- One shift/reduce conflict was silently solved.
- Extra reductions on error were added in 50 states.
- Priority played a role in 0 of these states.
- 158 out of 314 states have a default reduction.
- 110 out of 314 states are represented.
- 45 out of 98 symbols keep track of their start position.
- 40 out of 98 symbols keep track of their end position.
- The StackLang code contains 4186 instructions in 282 blocks.
- The StackLang code comprises 5 mutually recursive groups.
-> compiled menhir.20260209
-> installed menhir.20260209
=== STDERR ===
2026-10-21 16:56.14: OK: build menhir.20260209 (runc: 22.2s, disk: 7KB)
2026-10-21 16:56.14: Job succeeded