Build:
- 0
2026-10-07 21:23.37: New job: build ortac-runtime.0.8.0 (813bcc6aeb37) 2026-10-07 21:23.37: Waiting for resource in pool day11-builds 2026-10-07 21:30.33: Got resource from pool day11-builds 2026-10-07 21:30.33: [profile oxcaml-odoc-master] build ortac-runtime.0.8.0 2026-10-07 21:30.33: build ortac-runtime.0.8.0 (813bcc6aeb37) === DEPENDENCIES (16 transitive) === base-threads.base 464810371b96 base-unix.base 4596d20d2cf7 cmdliner.2.1.1 9a9ee733e69a conf-autoconf.1 8ee1e3913008 conf-gmp.5 c2adbec9a470 conf-which.1 65c43ca119c3 dune.3.22.2+ox a601158acc62 fmt.0.11.0 5fd142b378b2 ocaml.5.2.0 b8c350f4f1ad ocaml-config.3 2c72b422dfc3 ocaml-variants.5.2.0+ox 60cb73ac7801 ocamlbuild.0.16.1+ox de5a5462a208 ocamlfind.1.9.8+ox 70bd5761d4de oxcaml-compiler.5.2.0minus39 c47b62237187 topkg.1.1.1+ox 76d82ba7f921 zarith.1.12+ox3 306ab9da56c7 === 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/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 - (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 [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-07 21:31.02: FAILED: build ortac-runtime.0.8.0 2026-10-07 21:31.02: Job failed: build failed: ortac-runtime.0.8.0