panglesd / odoc / 958

Builds Branch Commit Type Ran Committer Via Coverage
958 allow-more-hierarchies Small refactor of Antichain.check push panglesd github
72.97
957 new_driving_guide Driver doc: more review comments push panglesd github
73.0
954 allow-more-hierarchies Test: hierarchy with separate `doc` and `lib` folders push panglesd github
72.96
952 allow-more-hierarchies Move List compat layer to Odoc_list push jonludlam github
72.98
951 allow-more-hierarchies Add odoc driver output to gitignore push jonludlam github
72.99
948 new_driving_guide_work Driver depends on sherlodoc push panglesd github
73.0
947 new_driving_guide Driver doc; from clusters to trees push panglesd github
73.0
943 dbuenzli Allowing -L to be sub -P The goal being to modify the convention so that pages are in `/pkgname/` and libs in `/pkgname/libname/`. push panglesd github
72.98
942 json-sidebar-output Sidebar generate: Update driver push panglesd github
73.02
941 json-sidebar-output Sidebar generate: Add a "kind" to the json output push panglesd github
72.99
940 complete-sidebar Format dune files push panglesd github
72.95
939 complete-sidebar Compatibility push panglesd github
72.95
938 complete-sidebar Compatibility push panglesd github
72.95
937 complete-sidebar Compatibility push panglesd github
73.0
936 new_driving_guide Driver doc; from clusters to trees push panglesd github
73.0