ocaml-docs-ci

Build:
2026-09-03 19:40.38: New job: build dedukti.2.6.0 (80dd87e20c9e)
2026-09-03 19:40.38: Waiting for resource in pool day11-builds
2026-09-03 21:19.22: Got resource from pool day11-builds
2026-09-03 21:19.22: [profile full] build dedukti.2.6.0
2026-09-03 21:19.22: build dedukti.2.6.0 (80dd87e20c9e)
=== DEPENDENCIES (14 transitive) ===
  base-threads.base                                  3d2f2cbc6db2
  base-unix.base                                     3a38ddca6b5e
  compiler-cloning.enabled                           966a2e6839f0
  dune.3.24.2                                        ec704e062ad3
  menhir.20260209                                    381a2138ba97
  menhirCST.20260209                                 2274e41bb75f
  menhirGLR.20260209                                 dc2d20aa75ca
  menhirLib.20260209                                 aca3f0b58574
  menhirSdk.20260209                                 fb69c1928809
  ocaml.5.5.0                                        22ebd7932512
  ocaml-base-compiler.5.5.0                          db1659234e8a
  ocaml-compiler.5.5.0                               7f52fb26d939
  ocamlbuild.0.16.1                                  ccce18256717
  ocamlfind.1.9.9~preview                            6a4c70487cf9
=== STDOUT ===
Processing: [default: loading data]
[dedukti.2.6.0: dl]
[dedukti.2.6.0: extract]
-> retrieved dedukti.2.6.0  (https://opam.ocaml.org/cache)
[dedukti: make]
+ /usr/bin/make  (CWD=/home/opam/.opam/default/.opam-switch/build/dedukti.2.6.0)
- [GEN] kernel/version.ml (2.6.0)
- [BYT] _build/kernel/kernel.cma
- [OPT] _build/kernel/kernel.cmxa
- [BYT] _build/parser/parser.cma
- + ocamlfind ocamlc -c -package unix -I parser -I kernel -o parser/menhir_parser.cmo parser/menhir_parser.ml
- File "parser/menhir_parser.ml", lines 1228-1292, characters 4-15:
- 1228 | ....match _tok with
- 1229 |     | Tokens.UNDERSCORE _ ->
- 1230 |         "UNDERSCORE"
- 1231 |     | Tokens.TYPE _ ->
- 1232 |         "TYPE"
- ...
- 1289 |     | Tokens.ASSERT _ ->
- 1290 |         "ASSERT"
- 1291 |     | Tokens.ARROW ->
- 1292 |         "ARROW"
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
-   Here is an example of a case that is not matched: (CCOLON|INT _)
- [OPT] _build/parser/parser.cmxa
- + ocamlfind ocamlopt -c -package unix -I parser -I kernel -o parser/menhir_parser.cmx parser/menhir_parser.ml
- File "parser/menhir_parser.ml", lines 1228-1292, characters 4-15:
- 1228 | ....match _tok with
- 1229 |     | Tokens.UNDERSCORE _ ->
- 1230 |         "UNDERSCORE"
- 1231 |     | Tokens.TYPE _ ->
- 1232 |         "TYPE"
- ...
- 1289 |     | Tokens.ASSERT _ ->
- 1290 |         "ASSERT"
- 1291 |     | Tokens.ARROW ->
- 1292 |         "ARROW"
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
-   Here is an example of a case that is not matched: (CCOLON|INT _)
- [OPT] dkcheck.native
- [OPT] dkdep.native
- [OPT] dktop.native
- [GEN] META
-> compiled  dedukti.2.6.0
[dedukti: make install]
+ /usr/bin/make "install" (CWD=/home/opam/.opam/default/.opam-switch/build/dedukti.2.6.0)
- ocamlfind: [WARNING] No such file: /home/opam/.opam/default/lib/dedukti/META
- [OPT] dkcheck.native
- [OPT] dkdep.native
- [OPT] dktop.native
- Installed /home/opam/.opam/default/lib/dedukti/parser.a
- Installed /home/opam/.opam/default/lib/dedukti/kernel.a
- Installed /home/opam/.opam/default/lib/dedukti/parser.cmxa
- Installed /home/opam/.opam/default/lib/dedukti/kernel.cmxa
- Installed /home/opam/.opam/default/lib/dedukti/parser.cma
- Installed /home/opam/.opam/default/lib/dedukti/kernel.cma
- Installed /home/opam/.opam/default/lib/dedukti/tokens.o
- Installed /home/opam/.opam/default/lib/dedukti/scoping.o
- Installed /home/opam/.opam/default/lib/dedukti/preterm.o
- Installed /home/opam/.opam/default/lib/dedukti/parser.o
- Installed /home/opam/.opam/default/lib/dedukti/menhir_parser.o
- Installed /home/opam/.opam/default/lib/dedukti/lexer.o
- Installed /home/opam/.opam/default/lib/dedukti/internals.o
- Installed /home/opam/.opam/default/lib/dedukti/tokens.cmx
- Installed /home/opam/.opam/default/lib/dedukti/scoping.cmx
- Installed /home/opam/.opam/default/lib/dedukti/preterm.cmx
- Installed /home/opam/.opam/default/lib/dedukti/parser.cmx
- Installed /home/opam/.opam/default/lib/dedukti/menhir_parser.cmx
- Installed /home/opam/.opam/default/lib/dedukti/lexer.cmx
- Installed /home/opam/.opam/default/lib/dedukti/internals.cmx
- Installed /home/opam/.opam/default/lib/dedukti/parser.cmi
- Installed /home/opam/.opam/default/lib/dedukti/parser.mli
- Installed /home/opam/.opam/default/lib/dedukti/version.o
- Installed /home/opam/.opam/default/lib/dedukti/typing.o
- Installed /home/opam/.opam/default/lib/dedukti/term.o
- Installed /home/opam/.opam/default/lib/dedukti/subst.o
- Installed /home/opam/.opam/default/lib/dedukti/signature.o
- Installed /home/opam/.opam/default/lib/dedukti/rule.o
- Installed /home/opam/.opam/default/lib/dedukti/reduction.o
- Installed /home/opam/.opam/default/lib/dedukti/pp.o
- Installed /home/opam/.opam/default/lib/dedukti/matching.o
- Installed /home/opam/.opam/default/lib/dedukti/errors.o
- Installed /home/opam/.opam/default/lib/dedukti/env.o
- Installed /home/opam/.opam/default/lib/dedukti/entry.o
- Installed /home/opam/.opam/default/lib/dedukti/dtree.o
- Installed /home/opam/.opam/default/lib/dedukti/confluence.o
- Installed /home/opam/.opam/default/lib/dedukti/basic.o
- Installed /home/opam/.opam/default/lib/dedukti/version.cmx
- Installed /home/opam/.opam/default/lib/dedukti/typing.cmx
- Installed /home/opam/.opam/default/lib/dedukti/term.cmx
- Installed /home/opam/.opam/default/lib/dedukti/subst.cmx
- Installed /home/opam/.opam/default/lib/dedukti/signature.cmx
- Installed /home/opam/.opam/default/lib/dedukti/rule.cmx
- Installed /home/opam/.opam/default/lib/dedukti/reduction.cmx
- Installed /home/opam/.opam/default/lib/dedukti/pp.cmx
- Installed /home/opam/.opam/default/lib/dedukti/matching.cmx
- Installed /home/opam/.opam/default/lib/dedukti/errors.cmx
- Installed /home/opam/.opam/default/lib/dedukti/env.cmx
- Installed /home/opam/.opam/default/lib/dedukti/entry.cmx
- Installed /home/opam/.opam/default/lib/dedukti/dtree.cmx
- Installed /home/opam/.opam/default/lib/dedukti/confluence.cmx
- Installed /home/opam/.opam/default/lib/dedukti/basic.cmx
- Installed /home/opam/.opam/default/lib/dedukti/version.cmi
- Installed /home/opam/.opam/default/lib/dedukti/typing.cmi
- Installed /home/opam/.opam/default/lib/dedukti/term.cmi
- Installed /home/opam/.opam/default/lib/dedukti/subst.cmi
- Installed /home/opam/.opam/default/lib/dedukti/signature.cmi
- Installed /home/opam/.opam/default/lib/dedukti/rule.cmi
- Installed /home/opam/.opam/default/lib/dedukti/reduction.cmi
- Installed /home/opam/.opam/default/lib/dedukti/pp.cmi
- Installed /home/opam/.opam/default/lib/dedukti/matching.cmi
- Installed /home/opam/.opam/default/lib/dedukti/errors.cmi
- Installed /home/opam/.opam/default/lib/dedukti/env.cmi
- Installed /home/opam/.opam/default/lib/dedukti/entry.cmi
- Installed /home/opam/.opam/default/lib/dedukti/dtree.cmi
- Installed /home/opam/.opam/default/lib/dedukti/confluence.cmi
- Installed /home/opam/.opam/default/lib/dedukti/basic.cmi
- Installed /home/opam/.opam/default/lib/dedukti/version.mli
- Installed /home/opam/.opam/default/lib/dedukti/typing.mli
- Installed /home/opam/.opam/default/lib/dedukti/term.mli
- Installed /home/opam/.opam/default/lib/dedukti/subst.mli
- Installed /home/opam/.opam/default/lib/dedukti/signature.mli
- Installed /home/opam/.opam/default/lib/dedukti/rule.mli
- Installed /home/opam/.opam/default/lib/dedukti/reduction.mli
- Installed /home/opam/.opam/default/lib/dedukti/pp.mli
- Installed /home/opam/.opam/default/lib/dedukti/matching.mli
- Installed /home/opam/.opam/default/lib/dedukti/errors.mli
- Installed /home/opam/.opam/default/lib/dedukti/env.mli
- Installed /home/opam/.opam/default/lib/dedukti/entry.mli
- Installed /home/opam/.opam/default/lib/dedukti/dtree.mli
- Installed /home/opam/.opam/default/lib/dedukti/confluence.mli
- Installed /home/opam/.opam/default/lib/dedukti/basic.mli
- Installed /home/opam/.opam/default/lib/dedukti/META
- install -m 755 -d /home/opam/.opam/default/bin/
- install -m 755 -p dkcheck.native  /home/opam/.opam/default/bin//dkcheck
- install -m 755 -p dkdep.native    /home/opam/.opam/default/bin//dkdep
- install -m 755 -p dktop.native    /home/opam/.opam/default/bin//dktop
-> installed dedukti.2.6.0

=== STDERR ===

2026-09-03 21:20.18: OK: build dedukti.2.6.0 (runc: 14.1s, disk: 13KB)
2026-09-03 21:20.18: Job succeeded