panglesd / odoc / 892

Builds Branch Commit Type Ran Committer Via Coverage
892 page-order-new-take Children order: Add a warning when a children is omitted Co-authored-by: Jules Aguillon <jules@j3s.fr> push panglesd github
72.98
891 page-order-new-take Children order: Add omitted children at the end of the ordering Co-authored-by: Jules Aguillon <jules@j3s.fr> push panglesd github
72.99
890 page-order-new-take Children order: Refactor sidebar types Directly take children order into account. Co-authored-by: Jules Aguillon <jules@j3s.fr> push panglesd github
72.98
889 page-order-new-take Add a warning when specifying children order in non-index pages Co-authored-by: Jules Aguillon <jules@j3s.fr> push panglesd github
72.98
888 page-order-new-take Children order review: reduce diff with style improvements Unexpose unnecessary functions open modules use mli for model/frontmatter push panglesd github
72.96
887 global-config-file Disable config file test for odoc_driver It needs to be run manually, I could not make it run with cram tests. push panglesd github
72.84
886 global-config-file Disable config file test for odoc_driver It needs to be run manually, I could not make it run with cram tests. push panglesd github
72.85
879 global-config-file Driver: Follow convention when computing `pkg_arg` push panglesd github
72.85
877 page-order-new-take Children order: added changelog entry push panglesd github
72.97
876 page-order-new-take Children order: added changelog entry push panglesd github
72.97
874 page-order-new-take Children order: compatibility push panglesd github
72.97
873 page-order-new-take Children order: compatibility push panglesd github
72.94
872 page-order-new-take Children order: More improvements to tests push panglesd github
72.94
871 page-order-new-take-save Adding some test push panglesd github
72.94
870 page-order-new-take Children order: more lax syntax Allow sequences of spaces in a row: `children: page1 page2`. push panglesd github
72.94