Build:
- 0
2026-10-06 17:47.50: New job: build ortac-runtime.0.8.0 (c5a554cfc6cd) 2026-10-06 17:47.50: Waiting for resource in pool day11-builds 2026-10-06 17:56.26: Got resource from pool day11-builds 2026-10-06 17:56.26: [profile oxcaml-odoc-master] build ortac-runtime.0.8.0 2026-10-06 17:56.27: build ortac-runtime.0.8.0 (c5a554cfc6cd) === DEPENDENCIES (16 transitive) === base-threads.base 464810371b96 base-unix.base 4596d20d2cf7 cmdliner.2.1.1 5ab261dc5b2f conf-autoconf.1 8ee1e3913008 conf-gmp.5 c2adbec9a470 conf-which.1 65c43ca119c3 dune.3.22.2+ox 9158bd0e098d fmt.0.11.0 0d6fb032e96a ocaml.5.2.0 879ae859f814 ocaml-config.3 37112a8040f8 ocaml-variants.5.2.0+ox 8119d9341417 ocamlbuild.0.16.1+ox c3cff747c7d3 ocamlfind.1.9.8+ox 665ae3389aa8 oxcaml-compiler.5.2.0minus39 72925b65bf23 topkg.1.1.1+ox 1a471d9bef47 zarith.1.12+ox3 917487f93f0e === 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-06 17:56.39: FAILED: build ortac-runtime.0.8.0 2026-10-06 17:56.39: Job failed: build failed: ortac-runtime.0.8.0