panglesd / odoc / 416

Builds Branch Commit Type Ran Committer Via Coverage
416 new-occurrence Source code: Avoid having two anchors at an identical location Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
63.28
415 value-and-constructor-path Ignore {value/constructor}_path unused value Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
63.08
414 cherry-picked-refactor-typedtree-traverse Source code: Avoid having two anchors at an identical location Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
63.28
413 fix-tyxml-constraint update tyxml constraint push Paul-Elliot github
63.11
412 search-bar2 Search: compatibility with new extension decl id push Paul-Elliot github
61.06
411 cherry-picked-refactor-typedtree-traverse Refactor typedtree traverse to use compiler traverse Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
63.28
410 cherry-picked-refactor-typedtree-traverse Refactor typedtree traverse to use compiler traverse Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
63.28
409 cherry-picked-refactor-typedtree-traverse Refactor typedtree traverse to use compiler traverse Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
63.28
408 cherry-picked-refactor-typedtree-traverse Refactor typedtree traverse to use compiler traverse Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
63.28
407 occurrences-in-odoc Occurrences: add changelog Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
61.73
406 refactor-typedtree-traverse Refactor typedtree traverse to use compiler traverse Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
63.08
405 value-and-constructor-path Ignore {value/constructor}_path unused value Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
63.08
404 occurrence-in-odoc-unsplit Occurrences: add changelog Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
61.73
402 fix-932 Documentation for reference to extension declaration Signed-off-by: Paul-Elliot <peada@free.fr> push panglesd github
63.11
401 ol-to-ul Add changelog entry for #971 push Paul-Elliot github
63.28