panglesd / odoc / 782

Builds Branch Commit Type Ran Committer Via Coverage
782 refactor-driver Add a mli push panglesd github
71.87
781 refactor-driver WIP push panglesd github
71.87
780 refactor-driver WIP push panglesd github
71.87
779 odoc3-asset-references Add changelog entry for asset referencing Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.78
778 odoc3-asset-references Resolve references to assets Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.78
777 voodoo-odoc-driver Driver: better handling of incompatible options Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.87
776 voodoo-odoc-driver Driver: Add mli for `Dune_style` module Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.87
775 voodoo-odoc-driver Driver: Add interface to the Voodoo module Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.87
774 generate-external-pages-in-driver Driver: Generate landing pages for package Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.71
773 occurrences-in-index Occurrences: don't expose sub in occurrence table Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.85
772 occurrences-in-index Occurrences: don't expose sub in occurrence table Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.79
771 occurrences-in-index Occurrences: don't expose sub in occurrence table Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.79
769 disable-big-search-path-test Disable "big search path" test. Was too brittle: too many false positive in CI Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.71
768 disable-big-search-path-test Disable "big search path" test. Was too brittle: too many false positive in CI Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.71
767 disable-big-search-path-test Disable "big search path" test. Was too brittle: too many false positive in CI Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.71