Build:
- 0
2026-06-19 20:20.34: New job: doc mlgmpidl.1.3.0 (9520c77b4190) 2026-06-19 20:20.34: Waiting for resource in pool day11-builds 2026-06-19 20:49.18: Got resource from pool day11-builds 2026-06-19 20:49.18: [profile full] doc mlgmpidl.1.3.0 2026-06-19 20:49.18: doc mlgmpidl.1.3.0 (9520c77b4190) === DEPENDENCIES (0 transitive) === === STDOUT === === DEBUG: pre-voodoo image inventory === -- pkg markers (.odoc_pkg_marker) -- /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/.odoc_pkg_marker /home/opam/odoc-out/u/11db1e9eda460ddd6e9a6bc41050a95a/dune/3.23.1/doc/.odoc_pkg_marker /home/opam/odoc-out/u/1baf9ede2cea18ba7f48d7825a7e4640/bigarray-compat/1.1.0/doc/.odoc_pkg_marker /home/opam/odoc-out/u/a94d1afc648b6e8996f2b659d2b06649/ez-conf-lib/2/doc/.odoc_pkg_marker /home/opam/odoc-out/u/ce91f2abd9fee3dec1e1a60650fdc44c/camlidl/1.13-1/doc/.odoc_pkg_marker /home/opam/odoc-out/u/ce91f2abd9fee3dec1e1a60650fdc44c/ocamlfind/1.9.6/doc/.odoc_pkg_marker -- lib markers (.odoc_lib_marker) -- /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/bigarray/.odoc_lib_marker /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/dynlink/.odoc_lib_marker /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/ocamlbytecomp/.odoc_lib_marker /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/ocamlcommon/.odoc_lib_marker /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/ocamlmiddleend/.odoc_lib_marker /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/ocamloptcomp/.odoc_lib_marker /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/ocamltoplevel/.odoc_lib_marker /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/odoc_info/.odoc_lib_marker /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/raw_spacetime_lib/.odoc_lib_marker /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/stdlib/.odoc_lib_marker /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/str/.odoc_lib_marker /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/threads/.odoc_lib_marker /home/opam/odoc-out/p/ocaml-base-compiler/4.11.2/doc/unix/.odoc_lib_marker /home/opam/odoc-out/u/1baf9ede2cea18ba7f48d7825a7e4640/bigarray-compat/1.1.0/doc/bigarray-compat/.odoc_lib_marker /home/opam/odoc-out/u/ce91f2abd9fee3dec1e1a60650fdc44c/camlidl/1.13-1/doc/camlidl/.odoc_lib_marker /home/opam/odoc-out/u/ce91f2abd9fee3dec1e1a60650fdc44c/ocamlfind/1.9.6/doc/findlib.dynload/.odoc_lib_marker /home/opam/odoc-out/u/ce91f2abd9fee3dec1e1a60650fdc44c/ocamlfind/1.9.6/doc/findlib.internal/.odoc_lib_marker /home/opam/odoc-out/u/ce91f2abd9fee3dec1e1a60650fdc44c/ocamlfind/1.9.6/doc/findlib.top/.odoc_lib_marker -- prep universes (universe/pkg/version) -- /home/opam/prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/ === END DEBUG === process_meta_file: prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/META odoc_driver_voodoo: [DEBUG] all_lib_deps: gmp, [2] odoc_driver_voodoo: [DEBUG] No config file found: prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/mlgmpidl/odoc-config.sexp prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/mlgmpidl/odoc-config.sexp: No such file or directory odoc_driver_voodoo: [DEBUG] Config.packages: process_meta_file: prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/META odoc_driver_voodoo: [DEBUG] prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/gmp,gmp odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/ odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/ for package mlgmpidl odoc_driver_voodoo: [DEBUG] 0 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/ odoc_driver_voodoo: [DEBUG] Got 1 lines odoc_driver_voodoo: [DEBUG] Checking prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/gmp_random.cmti (then prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/Gmp_random.cmti) odoc_driver_voodoo: [DEBUG] Checking prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/gmp_random.cmt (then prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/Gmp_random.cmt) odoc_driver_voodoo: [INFO] No files for module: Gmp_random odoc_driver_voodoo: [DEBUG] Checking prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/mpf.cmti (then prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/Mpf.cmti) odoc_driver_voodoo: [DEBUG] Checking prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/mpf.cmt (then prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/Mpf.cmt) odoc_driver_voodoo: [INFO] No files for module: Mpf odoc_driver_voodoo: [DEBUG] Checking prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/mpfr.cmti (then prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/Mpfr.cmti) odoc_driver_voodoo: [DEBUG] Checking prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/mpfr.cmt (then prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/Mpfr.cmt) odoc_driver_voodoo: [INFO] No files for module: Mpfr odoc_driver_voodoo: [DEBUG] Checking prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/mpfrf.cmti (then prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/Mpfrf.cmti) odoc_driver_voodoo: [DEBUG] Checking prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/mpfrf.cmt (then prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/Mpfrf.cmt) odoc_driver_voodoo: [INFO] No files for module: Mpfrf odoc_driver_voodoo: [DEBUG] Checking prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/mpq.cmti (then prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/Mpq.cmti) odoc_driver_voodoo: [DEBUG] Checking prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/mpq.cmt (then prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/Mpq.cmt) odoc_driver_voodoo: [INFO] No files for module: Mpq odoc_driver_voodoo: [DEBUG] Checking prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/mpqf.cmti (then prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/Mpqf.cmti) odoc_driver_voodoo: [DEBUG] Checking prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/mpqf.cmt (then prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/Mpqf.cmt) odoc_driver_voodoo: [INFO] No files for module: Mpqf odoc_driver_voodoo: [DEBUG] Checking prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/mpz.cmti (then prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/Mpz.cmti) odoc_driver_voodoo: [DEBUG] Checking prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/mpz.cmt (then prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/Mpz.cmt) odoc_driver_voodoo: [INFO] No files for module: Mpz odoc_driver_voodoo: [DEBUG] Checking prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/mpzf.cmti (then prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/Mpzf.cmti) odoc_driver_voodoo: [DEBUG] Checking prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/mpzf.cmt (then prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/Mpzf.cmt) odoc_driver_voodoo: [INFO] No files for module: Mpzf odoc_driver_voodoo: [DEBUG] libdirs_without_meta: odoc_driver_voodoo: [DEBUG] lib dirs: prep/universes/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/lib/gmp/ odoc_driver_voodoo: [DEBUG] Found lib marker: u/1baf9ede2cea18ba7f48d7825a7e4640/bigarray-compat/1.1.0/doc/bigarray-compat/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found pkg marker: u/1baf9ede2cea18ba7f48d7825a7e4640/bigarray-compat/1.1.0/doc/.odoc_pkg_marker odoc_driver_voodoo: [DEBUG] Found pkg marker: u/11db1e9eda460ddd6e9a6bc41050a95a/dune/3.23.1/doc/.odoc_pkg_marker odoc_driver_voodoo: [DEBUG] Found lib marker: u/ce91f2abd9fee3dec1e1a60650fdc44c/camlidl/1.13-1/doc/camlidl/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found pkg marker: u/ce91f2abd9fee3dec1e1a60650fdc44c/camlidl/1.13-1/doc/.odoc_pkg_marker odoc_driver_voodoo: [DEBUG] Found lib marker: u/ce91f2abd9fee3dec1e1a60650fdc44c/ocamlfind/1.9.6/doc/findlib.dynload/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found lib marker: u/ce91f2abd9fee3dec1e1a60650fdc44c/ocamlfind/1.9.6/doc/findlib.top/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found lib marker: u/ce91f2abd9fee3dec1e1a60650fdc44c/ocamlfind/1.9.6/doc/findlib.internal/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found pkg marker: u/ce91f2abd9fee3dec1e1a60650fdc44c/ocamlfind/1.9.6/doc/.odoc_pkg_marker odoc_driver_voodoo: [DEBUG] Found pkg marker: u/a94d1afc648b6e8996f2b659d2b06649/ez-conf-lib/2/doc/.odoc_pkg_marker odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.11.2/doc/ocamltoplevel/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.11.2/doc/unix/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.11.2/doc/bigarray/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.11.2/doc/ocamloptcomp/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.11.2/doc/stdlib/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.11.2/doc/dynlink/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.11.2/doc/ocamlmiddleend/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.11.2/doc/raw_spacetime_lib/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.11.2/doc/odoc_info/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.11.2/doc/ocamlcommon/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.11.2/doc/str/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.11.2/doc/threads/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-base-compiler/4.11.2/doc/ocamlbytecomp/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found pkg marker: p/ocaml-base-compiler/4.11.2/doc/.odoc_pkg_marker odoc_driver_voodoo: [DEBUG] Fixing virtual libraries: 328 precompiled units, 0 other units odoc_driver_voodoo: [DEBUG] 1 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc odoc_driver_voodoo: [DEBUG] 2 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/page-index.odoc odoc_driver_voodoo: [DEBUG] linking /home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp/page-index.odoc odoc_driver_voodoo: [DEBUG] 3 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/page-index.odoc -o /home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/page-index.odocl -P mlgmpidl:/home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc -L gmp:/home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp --enable-missing-root-warning --warnings-tags mlgmpidl odoc_driver_voodoo: [DEBUG] 4 - Executing: /home/opam/doc-tools/bin/odoc link /home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp/page-index.odoc -o /home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp/page-index.odocl -L gmp:/home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp --enable-missing-root-warning --warnings-tags mlgmpidl odoc_driver_voodoo: [DEBUG] 5 - Executing: /home/opam/doc-tools/bin/odoc count-occurrences /home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp -o /home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/occurrences-all.odoc-occurrences odoc_driver_voodoo: [DEBUG] 6 - Executing: sherlodoc js /home/opam/html/sherlodoc.js odoc_driver_voodoo: [DEBUG] 7 - Executing: /home/opam/doc-tools/bin/odoc compile-index -o _index/mlgmpidl/index.odoc-index --root /home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc --occurrences /home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/occurrences-all.odoc-occurrences odoc_driver_voodoo: [DEBUG] 8 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate -o _index/mlgmpidl/sidebar.odoc-sidebar _index/mlgmpidl/index.odoc-index odoc_driver_voodoo: [DEBUG] 9 - Executing: /home/opam/doc-tools/bin/odoc sidebar-generate --json -o /home/opam/html/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/sidebar.json _index/mlgmpidl/index.odoc-index odoc_driver_voodoo: [DEBUG] 10 - Executing: /home/opam/doc-tools/bin/odoc compile-index --json --simplified-json --wrap-json -o /home/opam/html/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/index.js --root /home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc --occurrences /home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/occurrences-all.odoc-occurrences odoc_driver_voodoo: [DEBUG] 11 - Executing: sherlodoc index --format js _index/mlgmpidl/index.odoc-index -o /home/opam/html/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/sherlodoc_db.js odoc_driver_voodoo: [DEBUG] 12 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/page-index.odocl --sidebar _index/mlgmpidl/sidebar.odoc-sidebar --search-uri u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index odoc_driver_voodoo: [DEBUG] 13 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp/page-index.odocl --sidebar _index/mlgmpidl/sidebar.odoc-sidebar --search-uri u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index odoc_driver_voodoo: [DEBUG] 14 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/page-index.odocl --sidebar _index/mlgmpidl/sidebar.odoc-sidebar --search-uri u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json odoc_driver_voodoo: [DEBUG] 15 - Executing: /home/opam/doc-tools/bin/odoc html-generate /home/opam/odoc-out/u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/gmp/page-index.odocl --sidebar _index/mlgmpidl/sidebar.odoc-sidebar --search-uri u/a6242d96c920a9dc74b9032ef6789908/mlgmpidl/1.3.0/doc/sherlodoc_db.js --search-uri sherlodoc.js -o /home/opam/html --home-breadcrumb Package index --as-json odoc_driver_voodoo: [DEBUG] 16 - Executing: /home/opam/doc-tools/bin/odoc support-files -o /home/opam/html === STDERR === 2026-06-19 20:49.39: OK: doc mlgmpidl.1.3.0 (runc: 1.1s, disk: 28KB) 2026-06-19 20:49.39: Job succeeded