Build:
- 0
2026-10-08 12:14.05: New job: build codex.1.0~rc4 (3e9ea66317a9)
2026-10-08 12:14.05: [profile odoc-master-mini] build codex.1.0~rc4
2026-10-08 12:14.05: build codex.1.0~rc4 (3e9ea66317a9)
=== DEPENDENCIES (63 transitive) ===
base.v0.17.3 05fa2815e1ac
base-threads.base 464810371b96
base-unix.base 4596d20d2cf7
base64.3.5.2 36baf2b64eab
bheap.2.0.0 951965ec7705
camlp-streams.5.0.1 791e89b41d9a
cmdliner.2.1.1 d4344297f7a3
compiler-cloning.enabled a13866103a7b
conf-gmp.5 c2adbec9a470
conf-pkg-config.5 e39f7209b38f
cppo.1.8.0 2b3dfd3df17b
csexp.1.5.2 b96efdeb2d5f
cudd.0.1.3 1282d7901089
dune.3.24.2 99dad2c0d74f
dune-configurator.3.24.2 7520decaab4b
fmt.0.11.0 4efce47ea04c
gen.1.1 74eb5a8aa1f1
gen_js_api.1.1.7 46fce70f19de
jane-street-headers.v0.17.0 4247a96d72eb
js_of_ocaml.6.4.1 9b55986569c4
js_of_ocaml-compiler.6.4.1 c949b1a7213c
js_of_ocaml-ppx.6.4.1 f9991f6b6b23
jst-config.v0.17.0 7e398ede5029
menhir.20260209 6b72f2d991cf
menhirCST.20260209 a445cc603682
menhirGLR.20260209 2a99c4d7f310
menhirLib.20260209 76d3baf864a6
menhirSdk.20260209 67dcb7a22c41
ocaml.5.5.1 3d940b39ad2d
ocaml-base-compiler.5.5.1 5cf781414aed
ocaml-compiler.5.5.1 9ea90032811f
ocaml-compiler-libs.v0.17.0 36d946ae0c60
ocaml_intrinsics_kernel.v0.17.2 a734762bc41f
ocamlbuild.0.16.1 68333e4a0ef3
ocamlfind.1.9.9~preview 0f9da898bc9e
ojs.1.1.7 a12201af0ed8
pacomb.1.4.4 ba9e9e2f12dd
patricia-tree.0.15.0 fdfeb53e9626
ppx_assert.v0.17.0 f009d304a41a
ppx_base.v0.17.0 501c031e9c1a
ppx_cold.v0.17.0 5e2356299b56
ppx_compare.v0.17.0 0fc55c7d5007
ppx_derivers.1.2.1 44a67ab5a411
ppx_deriving.6.2.0 096fdb8d29e4
ppx_enumerate.v0.17.0 7ea582f3eca6
ppx_globalize.v0.17.2 1668ac636bce
ppx_hash.v0.17.0 8a983f7350aa
ppx_here.v0.17.0 4663ee3ff896
ppx_inline_test.v0.17.1 415c86fe91cd
ppx_optcomp.v0.17.1 9ac32a008791
ppx_sexp_conv.v0.17.1 4f47613e19fc
ppxlib.0.39.0 3302a1063e64
ppxlib_jane.v0.17.4 81db0f55c78b
qcheck-core.0.91 21310312b422
sedlex.3.8.1 cecac83123ba
seq.base 4e10dd8ee191
sexplib0.v0.17.0 4ce90ffe3c98
stdio.v0.17.0 86778ff59c63
time_now.v0.17.0 2e95dd283686
topkg.1.1.1 52bd81f92c7a
vdom.0.3 42a6cd046459
yojson.3.0.0 e7f2da0109c8
zarith.1.14 6c7ed2d54016
=== STDOUT ===
Processing: [default: loading data]
[codex.1.0~rc4: dl]
[codex.1.0~rc4: extract]
[codex.1.0~rc4/utils/gui/deps/graphviz.umd.js: dl]
[codex.1.0~rc4/utils/gui/deps/js/bundle-output.js: dl]
[codex.1.0~rc4/utils/gui/deps/tailwind4.1.5.css: dl]
-> retrieved codex.1.0~rc4 (https://opam.ocaml.org/cache)
[codex: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "codex" "-j" "39" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/codex.1.0~rc4)
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -O3 -I utils/.stats.objs/byte -I utils/.stats.objs/native -I /home/opam/.opam/default/lib/zarith -I utils/.hook.objs/byte -I utils/.hook.objs/native -cmi-file utils/.stats.objs/byte/stats.cmi -no-alias-deps -o utils/.stats.objs/native/stats.cmx -c -impl utils/stats.ml)
- File "utils/stats.ml", lines 80-82, characters 44-31:
- 80 | ............................................function
- 81 | | Exhaustive { compact=Compact{ size; _ }; _; } -> size
- 82 | | Compact { size; _ } -> size
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Exhaustive {compact=Exhaustive _; _ }
-
- File "utils/stats.ml", lines 84-86, characters 41-29:
- 84 | .........................................match x with
- 85 | | Exhaustive { compact=Compact{ typ; _; }; _; } -> typ
- 86 | | Compact { typ; _ } -> typ
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Exhaustive {compact=Exhaustive _; _ }
-
- File "utils/stats.ml", line 88, characters 25-55:
- 88 | let sort_values (type a) (Exhaustive x as ex: (a, _) t) : a array =
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Compact {typ=Int; sum_squares=WI _; _ }
-
- File "utils/stats.ml", line 134, characters 31-60:
- 134 | let add_value_compact (type a) (Compact aggregate: (a, _) t) value : (a, _) t =
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Exhaustive {compact=Compact _; _ }
-
- File "utils/stats.ml", line 222, characters 17-44:
- 222 | let make_compact (Exhaustive { compact; _ }) = compact
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Compact {typ=Int; sum_squares=WI _; _ }
-
- File "utils/stats.ml", line 227, characters 23-34:
- 227 | let make_float_compact (Compact x) = Compact {
- ^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Exhaustive {compact=Compact _; _ }
-
- File "utils/stats.ml", line 244, characters 57-85:
- 244 | let concat_compact (type a) (Compact l as cl : (a, _) t) (Compact r as cr : (a, _) t) =
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Exhaustive {compact=Compact _; _ }
-
- File "utils/stats.ml", line 244, characters 28-56:
- 244 | let concat_compact (type a) (Compact l as cl : (a, _) t) (Compact r as cr : (a, _) t) =
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Exhaustive {compact=Compact _; _ }
-
- File "utils/stats.ml", lines 258-265, characters 2-7:
- 258 | ..match cl, cr with
- 259 | | Compact _, Compact _ -> concat_compact cl cr
- 260 | | Exhaustive { values=values_l; compact=cl; _ }, Exhaustive { values; compact; _ } ->
- 261 | Exhaustive {
- 262 | compact = concat_compact cl compact;
- 263 | values = Cat (values_l, values);
- 264 | sorted = false
- 265 | }
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched: (Compact _, Exhaustive _)
-
- File "utils/stats.ml", lines 272-273, characters 2-20:
- 272 | ..let Compact {sum;_;} as x = compact x in
- 273 | check_empty x; sum
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Exhaustive {compact=Compact _; _ }
-
- File "utils/stats.ml", lines 276-277, characters 2-28:
- 276 | ..let Compact {sum_squares;_;} as x = compact x in
- 277 | check_empty x; sum_squares
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Exhaustive {compact=Compact _; _ }
-
- File "utils/stats.ml", lines 280-281, characters 2-20:
- 280 | ..let Compact {min;_;} as x = compact x in
- 281 | check_empty x; min
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Exhaustive {compact=Compact _; _ }
-
- File "utils/stats.ml", lines 284-285, characters 2-20:
- 284 | ..let Compact {max;_;} as x = compact x in
- 285 | check_empty x; max
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Exhaustive {compact=Compact _; _ }
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I utils/.stats.objs/byte -I /home/opam/.opam/default/lib/zarith -I utils/.hook.objs/byte -cmi-file utils/.stats.objs/byte/stats.cmi -no-alias-deps -o utils/.stats.objs/byte/stats.cmo -c -impl utils/stats.ml)
- File "utils/stats.ml", lines 80-82, characters 44-31:
- 80 | ............................................function
- 81 | | Exhaustive { compact=Compact{ size; _ }; _; } -> size
- 82 | | Compact { size; _ } -> size
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Exhaustive {compact=Exhaustive _; _ }
-
- File "utils/stats.ml", lines 84-86, characters 41-29:
- 84 | .........................................match x with
- 85 | | Exhaustive { compact=Compact{ typ; _; }; _; } -> typ
- 86 | | Compact { typ; _ } -> typ
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Exhaustive {compact=Exhaustive _; _ }
-
- File "utils/stats.ml", line 88, characters 25-55:
- 88 | let sort_values (type a) (Exhaustive x as ex: (a, _) t) : a array =
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Compact {typ=Int; sum_squares=WI _; _ }
-
- File "utils/stats.ml", line 134, characters 31-60:
- 134 | let add_value_compact (type a) (Compact aggregate: (a, _) t) value : (a, _) t =
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Exhaustive {compact=Compact _; _ }
-
- File "utils/stats.ml", line 222, characters 17-44:
- 222 | let make_compact (Exhaustive { compact; _ }) = compact
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Compact {typ=Int; sum_squares=WI _; _ }
-
- File "utils/stats.ml", line 227, characters 23-34:
- 227 | let make_float_compact (Compact x) = Compact {
- ^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Exhaustive {compact=Compact _; _ }
-
- File "utils/stats.ml", line 244, characters 57-85:
- 244 | let concat_compact (type a) (Compact l as cl : (a, _) t) (Compact r as cr : (a, _) t) =
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Exhaustive {compact=Compact _; _ }
-
- File "utils/stats.ml", line 244, characters 28-56:
- 244 | let concat_compact (type a) (Compact l as cl : (a, _) t) (Compact r as cr : (a, _) t) =
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Exhaustive {compact=Compact _; _ }
-
- File "utils/stats.ml", lines 258-265, characters 2-7:
- 258 | ..match cl, cr with
- 259 | | Compact _, Compact _ -> concat_compact cl cr
- 260 | | Exhaustive { values=values_l; compact=cl; _ }, Exhaustive { values; compact; _ } ->
- 261 | Exhaustive {
- 262 | compact = concat_compact cl compact;
- 263 | values = Cat (values_l, values);
- 264 | sorted = false
- 265 | }
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched: (Compact _, Exhaustive _)
-
- File "utils/stats.ml", lines 272-273, characters 2-20:
- 272 | ..let Compact {sum;_;} as x = compact x in
- 273 | check_empty x; sum
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Exhaustive {compact=Compact _; _ }
-
- File "utils/stats.ml", lines 276-277, characters 2-28:
- 276 | ..let Compact {sum_squares;_;} as x = compact x in
- 277 | check_empty x; sum_squares
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Exhaustive {compact=Compact _; _ }
-
- File "utils/stats.ml", lines 280-281, characters 2-20:
- 280 | ..let Compact {min;_;} as x = compact x in
- 281 | check_empty x; min
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Exhaustive {compact=Compact _; _ }
-
- File "utils/stats.ml", lines 284-285, characters 2-20:
- 284 | ..let Compact {max;_;} as x = compact x in
- 285 | check_empty x; max
- Warning 8 [partial-match]: this pattern-matching is not exhaustive.
- Here is an example of a case that is not matched:
- Exhaustive {compact=Compact _; _ }
[codex: dune install]
+ /home/opam/.opam/default/bin/dune "install" "-p" "codex" "--create-install-files" "codex" (CWD=/home/opam/.opam/default/.opam-switch/build/codex.1.0~rc4)
-> compiled codex.1.0~rc4
-> installed codex.1.0~rc4
[WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config
=== STDERR ===
2026-10-08 12:15.01: OK: build codex.1.0~rc4 (runc: 32.2s, disk: 25KB)
2026-10-08 12:15.01: Job succeeded