panglesd / odoc / 935

Builds Branch Commit Type Ran Committer Via Coverage
935 complete-sidebar Add changelog entry for #1220 push panglesd github
73.0
934 complete-sidebar Sidebar and index overhaul This commit includes multiple modifications: Trees ---------- Odoc used to have several representations of trees: one for the page sidebar in the model, one for the document sidebar, and (in a squashed commit) one for... push panglesd github
73.0
933 complete-sidebar Sidebar and index overhaul This commit includes multiple modifications: Trees ===== Odoc used to have several representations of trees: one for the page sidebar in the model, one for the document sidebar, and (in a squashed commit) one for the ... push panglesd github
73.0
931 save-complete-sidebar Move model/sidebar to index/page_hierarchy push panglesd github
73.0
932 complete-sidebar Sidebar and index overhaul This commit includes multiple modifications: Trees ===== Odoc used to have several representations of trees: one for the page sidebar in the model, one for the document sidebar, and (in a squashed commit) one for the ... push panglesd github
73.0
930 complete-sidebar Move model/sidebar to index/page_hierarchy push panglesd github
73.0
929 complete-sidebar Tree: rename entry to node push panglesd github
73.14
928 complete-sidebar Index: handle constructors and fields push panglesd github
73.14
926 complete-sidebar Index: giving a name to skeleton type push panglesd github
73.11
925 complete-sidebar Index: Use a custom entry module push panglesd github
73.11
924 complete-sidebar Promoting tests push panglesd github
73.11
918 new_driving_guide Driver.mld: user "cluster" for `-P` and `-L` groups push panglesd github
73.0
916 new_driving_guide Driver.mld: Apply suggestions from code review Co-authored-by: Luke Maurer <Luke.Maurer@alumni.carleton.edu> push web-flow github
73.0
909 complete-sidebar Reduce lower bounds on Dune The CI caught that this test increased the lower bounds on Dune. push jonludlam github
73.0
907 save_new_driving_guide WIP push panglesd github
73.0