panglesd / odoc / 975

Builds Branch Commit Type Ran Committer Via Coverage
975 new-hierarchy-in-driver-clean Driver: improve landing page module push panglesd github
73.0
974 new-hierarchy-in-driver-clean Driver: not all units must have an associated package In particular, the package list page does not have one. push panglesd github
73.0
973 new-hierarchy-in-driver-clean Driver: allow to not specify `--current-package` This will be useful for landing pages outside of the hierarchy. push panglesd github
73.0
972 new-hierarchy-in-driver-clean Driver: Separate type defs and generation function for odoc units This will allow to avoid circular dependencies when generation function call landing page generation function (which depend on the type defs) The code is untouched (apart from bei... push panglesd github
73.0
971 allow-more-hierarchies Fix misleading name push panglesd github
73.0
970 clean-driver-dir-name Driver: uniformize names for _odoc dir `odoc_dir` was sometimes used to refer to the root of the directory containing .odoc files (`_odoc` by default), and sometimes used to refer to the direct parent of a `.odoc` file. The root of the directory... push panglesd github
72.98
969 new-hierarchy-in-driver WIP push panglesd github
73.0
968 allow-more-hierarchies Fix misleading name push panglesd github
73.0
967 allow-more-hierarchies Exclude -L subfolders from -P roots When a -L is a subfolder of -P (eg -P pkgname/ -L pkgname/libname), we don't want the content of the -L root to be included in the -P root. push panglesd github
73.0
966 allow-more-hierarchies Test: Add more sidebar test push panglesd github
72.98
964 new-hierarchy-in-driver Test: improve link_opts test readability push panglesd github
72.97
963 allow-more-hierarchies Test: improve link_opts test readability push panglesd github
72.97
961 new-hierarchy-in-driver Test: improve link_opts test readability push panglesd github
72.97
960 allow-more-hierarchies Test: improve link_opts test readability push panglesd github
72.97
959 allow-more-hierarchies Small refactor of Antichain.check push panglesd github
72.97