odoc icon indicating copy to clipboard operation
odoc copied to clipboard

Failed to build docs for camlp5

Open jonludlam opened this issue 7 months ago • 0 comments

An exception is being raised in odoc_driver:

odoc_driver_voodoo: [DEBUG] Found cmi_only_lib in dir: /home/opam/.opam/4.08/lib/camlp5
odoc_driver_voodoo: internal error, uncaught exception:
                    Invalid_argument("\"/home/opam/.opam/4.08/lib/camlp5\": invalid segment")
                    

see https://sage.caelum.ci.dev/job/2025-05-16/215045-voodoo-do-713959

jonludlam avatar May 27 '25 14:05 jonludlam