panglesd / odoc / 749

Builds Branch Commit Type Ran Committer Via Coverage
749 search-index-buid-system-friendly fix typo in opam file push EmileTrotignon github
71.63
748 search-index-buid-system-friendly add pin depend to opam file push EmileTrotignon github
71.63
747 search-index-buid-system-friendly Compatibility Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.63
746 search-index-buid-system-friendly Compatibility Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.63
745 search-index-buid-system-friendly Allow to generate empty indexes Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.63
743 search-index-build-system-friendly-save remove useless comment push EmileTrotignon github
71.54
744 search-index-buid-system-friendly remove useless comment push panglesd github
71.63
742 fix-fmt Fix fmt for parser test Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.82
740 sidebar-proto Sidebar review: better naming Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.94
739 sidebar-proto Sidebar: add mli file to document sidebar Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.94
738 sidebar-proto Sidebar: separate its generation pipeline from main doc Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.94
737 sidebar-proto Sidebar: separate its generation pipeline from main doc Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
71.94
732 search-index-buid-system-friendly remove useless comment push EmileTrotignon github
71.54
731 search-index-buid-system-friendly remove bookmark comment push EmileTrotignon github
71.54
730 search-index-buid-system-friendly test old ways of passing odocls push EmileTrotignon github
71.54