panglesd / odoc / 667

Builds Branch Commit Type Ran Committer Via Coverage
667 search-index-buid-system-friendly WIP driver for generate index push EmileTrotignon github
71.68
666 search-index-buid-system-friendly Add a marshalled input/output format for search indexes Signed-off-by: Paul-Elliot <peada@free.fr> push EmileTrotignon github
71.68
663 named-pkg-root More coherent notation for named roots Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.74
662 named-pkg-root Review comment on attached docstring for `Resolver.create` Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.74
661 named-pkg-root Odoc driver: remove debug artefact Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.74
660 named-pkg-root Review comment: typo in CLI man page Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.74
659 named-pkg-root Odoc driver: Add `-L` and `-P` options Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.74
658 named-pkg-root compatibility Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.74
657 driver-cli Odoc driver: abstract and improve type for compiled files Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.18
656 driver-cli Odoc driver: abstract and improve type for compiled files Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.18
655 driver-cli Odoc driver: execute ocamlfind init only once Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.18
654 driver-cli Odoc driver: add interface for opam Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.18
653 driver-cli Odoc driver: Add interface file to ocamlobjinfo Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.18
652 driver-cli Odoc driver: review improvements on worker_pool Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.18
651 driver-cli Odoc driver: review improvements on worker_pool Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.18