Build:
- 0
2026-06-19 20:20.15: New job: compile portia.1.3 (55ab4397229f) 2026-06-19 20:20.15: Waiting for resource in pool day11-builds 2026-06-19 20:49.01: Got resource from pool day11-builds 2026-06-19 20:49.01: [profile full] compile portia.1.3 2026-06-19 20:49.01: compile portia.1.3 (55ab4397229f) === DEPENDENCIES (0 transitive) === === STDOUT === === DEBUG: pre-voodoo image inventory === -- pkg markers (.odoc_pkg_marker) -- /home/opam/odoc-out/p/dune/3.23.1/doc/.odoc_pkg_marker /home/opam/odoc-out/p/num/1.6/doc/.odoc_pkg_marker /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/.odoc_pkg_marker /home/opam/odoc-out/u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/.odoc_pkg_marker /home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/camlp-streams/5.0.1/doc/.odoc_pkg_marker /home/opam/odoc-out/u/d24a17ac97e731012f0731f76319e4fc/batteries/3.10.0/doc/.odoc_pkg_marker -- lib markers (.odoc_lib_marker) -- /home/opam/odoc-out/p/num/1.6/doc/num.core/.odoc_lib_marker /home/opam/odoc-out/p/num/1.6/doc/num_top/.odoc_lib_marker /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/compiler-libs.bytecomp/.odoc_lib_marker /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/compiler-libs.common/.odoc_lib_marker /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/compiler-libs.optcomp/.odoc_lib_marker /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/compiler-libs.toplevel/.odoc_lib_marker /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/dynlink/.odoc_lib_marker /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/odoc_info/.odoc_lib_marker /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/runtime_events/.odoc_lib_marker /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/stdlib/.odoc_lib_marker /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/str/.odoc_lib_marker /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/threads/.odoc_lib_marker /home/opam/odoc-out/p/ocaml-compiler/5.4.1/doc/unix/.odoc_lib_marker /home/opam/odoc-out/u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker /home/opam/odoc-out/u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker /home/opam/odoc-out/u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker /home/opam/odoc-out/u/147506da56b88025d6e6b68cef4dacae/camlp-streams/5.0.1/doc/camlp-streams/.odoc_lib_marker /home/opam/odoc-out/u/d24a17ac97e731012f0731f76319e4fc/batteries/3.10.0/doc/batteries.top/.odoc_lib_marker /home/opam/odoc-out/u/d24a17ac97e731012f0731f76319e4fc/batteries/3.10.0/doc/batteries.unthreaded/.odoc_lib_marker /home/opam/odoc-out/u/d24a17ac97e731012f0731f76319e4fc/batteries/3.10.0/doc/batteries/.odoc_lib_marker -- prep universes (universe/pkg/version) -- /home/opam/prep/universes/309c4443e2385367307aa34bd645d8a2/portia/1.3/ === END DEBUG === process_meta_file: prep/universes/309c4443e2385367307aa34bd645d8a2/portia/1.3/lib/portia/META odoc_driver_voodoo: [DEBUG] all_lib_deps: portia, [2] odoc_driver_voodoo: [DEBUG] No config file found: prep/universes/309c4443e2385367307aa34bd645d8a2/portia/1.3/doc/portia/odoc-config.sexp prep/universes/309c4443e2385367307aa34bd645d8a2/portia/1.3/doc/portia/odoc-config.sexp: No such file or directory odoc_driver_voodoo: [DEBUG] Config.packages: process_meta_file: prep/universes/309c4443e2385367307aa34bd645d8a2/portia/1.3/lib/portia/META odoc_driver_voodoo: [DEBUG] prep/universes/309c4443e2385367307aa34bd645d8a2/portia/1.3/lib/portia/portia,portia odoc_driver_voodoo: [DEBUG] Processing directory: prep/universes/309c4443e2385367307aa34bd645d8a2/portia/1.3/lib/portia/ odoc_driver_voodoo: [DEBUG] Classifying dir prep/universes/309c4443e2385367307aa34bd645d8a2/portia/1.3/lib/portia/ for package portia odoc_driver_voodoo: [DEBUG] 0 - Executing: /home/opam/doc-tools/bin/odoc classify prep/universes/309c4443e2385367307aa34bd645d8a2/portia/1.3/lib/portia/ odoc_driver_voodoo: [DEBUG] Got 1 lines odoc_driver_voodoo: [DEBUG] Checking prep/universes/309c4443e2385367307aa34bd645d8a2/portia/1.3/lib/portia/portiaConfig.cmti (then prep/universes/309c4443e2385367307aa34bd645d8a2/portia/1.3/lib/portia/PortiaConfig.cmti) odoc_driver_voodoo: [DEBUG] Checking prep/universes/309c4443e2385367307aa34bd645d8a2/portia/1.3/lib/portia/portiaConfig.cmt (then prep/universes/309c4443e2385367307aa34bd645d8a2/portia/1.3/lib/portia/PortiaConfig.cmt) odoc_driver_voodoo: [INFO] No files for module: PortiaConfig odoc_driver_voodoo: [DEBUG] Checking prep/universes/309c4443e2385367307aa34bd645d8a2/portia/1.3/lib/portia/portiaDefinition.cmti (then prep/universes/309c4443e2385367307aa34bd645d8a2/portia/1.3/lib/portia/PortiaDefinition.cmti) odoc_driver_voodoo: [DEBUG] Checking prep/universes/309c4443e2385367307aa34bd645d8a2/portia/1.3/lib/portia/portiaDefinition.cmt (then prep/universes/309c4443e2385367307aa34bd645d8a2/portia/1.3/lib/portia/PortiaDefinition.cmt) odoc_driver_voodoo: [INFO] No files for module: PortiaDefinition odoc_driver_voodoo: [DEBUG] Checking prep/universes/309c4443e2385367307aa34bd645d8a2/portia/1.3/lib/portia/portiaLog.cmti (then prep/universes/309c4443e2385367307aa34bd645d8a2/portia/1.3/lib/portia/PortiaLog.cmti) odoc_driver_voodoo: [DEBUG] Checking prep/universes/309c4443e2385367307aa34bd645d8a2/portia/1.3/lib/portia/portiaLog.cmt (then prep/universes/309c4443e2385367307aa34bd645d8a2/portia/1.3/lib/portia/PortiaLog.cmt) odoc_driver_voodoo: [INFO] No files for module: PortiaLog odoc_driver_voodoo: [DEBUG] Checking prep/universes/309c4443e2385367307aa34bd645d8a2/portia/1.3/lib/portia/portiaParse.cmti (then prep/universes/309c4443e2385367307aa34bd645d8a2/portia/1.3/lib/portia/PortiaParse.cmti) odoc_driver_voodoo: [DEBUG] Checking prep/universes/309c4443e2385367307aa34bd645d8a2/portia/1.3/lib/portia/portiaParse.cmt (then prep/universes/309c4443e2385367307aa34bd645d8a2/portia/1.3/lib/portia/PortiaParse.cmt) odoc_driver_voodoo: [INFO] No files for module: PortiaParse odoc_driver_voodoo: [DEBUG] libdirs_without_meta: odoc_driver_voodoo: [DEBUG] lib dirs: prep/universes/309c4443e2385367307aa34bd645d8a2/portia/1.3/lib/portia/ odoc_driver_voodoo: [DEBUG] Found lib marker: u/d24a17ac97e731012f0731f76319e4fc/batteries/3.10.0/doc/batteries.top/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found lib marker: u/d24a17ac97e731012f0731f76319e4fc/batteries/3.10.0/doc/batteries/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found lib marker: u/d24a17ac97e731012f0731f76319e4fc/batteries/3.10.0/doc/batteries.unthreaded/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found pkg marker: u/d24a17ac97e731012f0731f76319e4fc/batteries/3.10.0/doc/.odoc_pkg_marker odoc_driver_voodoo: [DEBUG] Found lib marker: u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/findlib.dynload/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found lib marker: u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/findlib.top/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found lib marker: u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/findlib.internal/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found pkg marker: u/128a9098365655e3c58e2079337fb081/ocamlfind/1.9.8/doc/.odoc_pkg_marker odoc_driver_voodoo: [DEBUG] Found lib marker: u/147506da56b88025d6e6b68cef4dacae/camlp-streams/5.0.1/doc/camlp-streams/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found pkg marker: u/147506da56b88025d6e6b68cef4dacae/camlp-streams/5.0.1/doc/.odoc_pkg_marker odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/unix/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/stdlib/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/dynlink/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/compiler-libs.toplevel/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/odoc_info/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/compiler-libs.common/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/compiler-libs.bytecomp/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/compiler-libs.optcomp/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/str/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/runtime_events/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found lib marker: p/ocaml-compiler/5.4.1/doc/threads/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found pkg marker: p/ocaml-compiler/5.4.1/doc/.odoc_pkg_marker odoc_driver_voodoo: [DEBUG] Found lib marker: p/num/1.6/doc/num.core/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found lib marker: p/num/1.6/doc/num_top/.odoc_lib_marker odoc_driver_voodoo: [DEBUG] Found pkg marker: p/num/1.6/doc/.odoc_pkg_marker odoc_driver_voodoo: [DEBUG] Found pkg marker: p/dune/3.23.1/doc/.odoc_pkg_marker odoc_driver_voodoo: [DEBUG] Fixing virtual libraries: 478 precompiled units, 0 other units odoc_driver_voodoo: [DEBUG] 1 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/portia/1.3/doc/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/portia/1.3/doc odoc_driver_voodoo: [DEBUG] 2 - Executing: /home/opam/doc-tools/bin/odoc compile _mld/p/portia/1.3/doc/portia/index.mld --output-dir /home/opam/odoc-out --enable-missing-root-warning --parent-id p/portia/1.3/doc/portia === STDERR === 2026-06-19 20:49.06: OK: compile portia.1.3 (runc: 0.6s, disk: 15KB) 2026-06-19 20:49.06: Job succeeded