ocaml-docs-ci

Build:
2026-06-16 13:51.24: New job: build dedukti.2.6.0 (b59b7b5fad1d)
2026-06-16 13:51.24: Waiting for resource in pool day11-builds
2026-06-16 15:31.27: Got resource from pool day11-builds
2026-06-16 15:31.27: [profile full] build dedukti.2.6.0
2026-06-16 15:31.27: build dedukti.2.6.0 (b59b7b5fad1d)
=== DEPENDENCIES (14 transitive) ===
  base-threads.base                                  b7164ff76afe
  base-unix.base                                     839dc585f12d
  dune.3.23.1                                        d50060dd2cab
  menhir.20260209                                    918bd21ac84f
  menhirCST.20260209                                 b2588cab386e
  menhirGLR.20260209                                 9f1a82c9daff
  menhirLib.20260209                                 521b8486c619
  menhirSdk.20260209                                 0f5231646c84
  ocaml.5.4.1                                        708fed352b2a
  ocaml-base-compiler.5.4.1                          89b85703f841
  ocaml-compiler.5.4.1                               a719b8419b8e
  ocaml-config.3                                     aa27f63940d8
  ocamlbuild.0.16.1                                  069fc1e567af
  ocamlfind.1.9.8                                    5cfa73ef65e7
=== 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-06-16 15:32.20: OK: build dedukti.2.6.0 (runc: 12.6s, disk: 12KB)
2026-06-16 15:32.20: Job succeeded