Build:
- 0
2026-10-01 23:22.28: New job: build ortac-runtime.0.8.0 (547238d8c0df) 2026-10-01 23:22.28: Waiting for resource in pool day11-builds 2026-10-01 23:29.12: Got resource from pool day11-builds 2026-10-01 23:29.12: [profile oxcaml-odoc-master] build ortac-runtime.0.8.0 2026-10-01 23:29.12: build ortac-runtime.0.8.0 (547238d8c0df) === DEPENDENCIES (16 transitive) === base-threads.base ddcab511c589 base-unix.base 742554e1dbc2 cmdliner.2.1.1 5c5497d03dde conf-autoconf.1 43fe4a407b7a conf-gmp.5 00570d20295f conf-which.1 5fccb3a41099 dune.3.22.2+ox a2ef013eeea9 fmt.0.11.0 07f7b1d44c71 ocaml.5.2.0 cda6777ccfe3 ocaml-config.3 d77b853eaa33 ocaml-variants.5.2.0+ox a9808a9375cd ocamlbuild.0.16.1+ox 63a719bfd385 ocamlfind.1.9.8+ox f23a347b8f5f oxcaml-compiler.5.2.0minus39 9c94ae342626 topkg.1.1.1+ox 12497656aa9b zarith.1.12+ox3 f6ec0c6300f3 === STDOUT === Processing: [default: loading data] [ortac-runtime.0.8.0: dl] [ortac-runtime.0.8.0: extract] -> retrieved ortac-runtime.0.8.0 (https://opam.ocaml.org/cache) [ortac-runtime: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "ortac-runtime" "-j" "39" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/ortac-runtime.0.8.0) - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -bin-annot-cms -I src/runtime/.ortac_runtime.objs/byte -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/zarith -cmi-file src/runtime/.ortac_runtime.objs/byte/ortac_runtime.cmi -no-alias-deps -o src/runtime/.ortac_runtime.objs/byte/ortac_runtime.cmo -c -impl src/runtime/ortac_runtime.ml) - File "src/runtime/ortac_runtime.ml", line 128, characters 2-27: - 128 | Printexc.register_printer (function - ^^^^^^^^^^^^^^^^^^^^^^^^^ - Alert unsafe_multidomain: Stdlib.Printexc.register_printer - Use [Printexc.Safe.register_printer]. - - File "src/runtime/ortac_runtime.ml", line 1: - Error: The implementation "src/runtime/ortac_runtime.ml" - does not match the interface "src/runtime/.ortac_runtime.objs/byte/ortac_runtime.cmi": - ... ... In module "Gospelstdlib.List": - Values do not match: - val mem : 'a @ local -> 'a list @ local -> bool - is not included in - val mem : 'a -> 'a t -> bool - The type "'a @ local -> 'a list @ local -> bool" - is not compatible with the type "'a -> 'a t -> bool" - File "src/runtime/ortac_runtime.mli", line 153, characters 4-32: - Expected declaration - File "src/runtime/ortac_runtime.ml", line 257, characters 8-11: - Actual declaration - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I src/runtime/.ortac_runtime.objs/byte -I src/runtime/.ortac_runtime.objs/native -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/zarith -cmi-file src/runtime/.ortac_runtime.objs/byte/ortac_runtime.cmi -no-alias-deps -o src/runtime/.ortac_runtime.objs/native/ortac_runtime.cmx -c -impl src/runtime/ortac_runtime.ml) - File "src/runtime/ortac_runtime.ml", line 128, characters 2-27: - 128 | Printexc.register_printer (function - ^^^^^^^^^^^^^^^^^^^^^^^^^ - Alert unsafe_multidomain: Stdlib.Printexc.register_printer - Use [Printexc.Safe.register_printer]. - - File "src/runtime/ortac_runtime.ml", line 1: - Error: The implementation "src/runtime/ortac_runtime.ml" - does not match the interface "src/runtime/.ortac_runtime.objs/byte/ortac_runtime.cmi": - ... ... In module "Gospelstdlib.List": - Values do not match: - val mem : 'a @ local -> 'a list @ local -> bool - is not included in - val mem : 'a -> 'a t -> bool - The type "'a @ local -> 'a list @ local -> bool" - is not compatible with the type "'a -> 'a t -> bool" - File "src/runtime/ortac_runtime.mli", line 153, characters 4-32: - Expected declaration - File "src/runtime/ortac_runtime.ml", line 257, characters 8-11: - Actual declaration [ERROR] The compilation of ortac-runtime.0.8.0 failed at "dune build -p ortac-runtime -j 39 --promote-install-files=false @install". build failed... === STDERR === 2026-10-01 23:29.36: FAILED: build ortac-runtime.0.8.0 2026-10-01 23:29.36: Job failed: build failed: ortac-runtime.0.8.0