Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
32 | odoc-support-files-dir | Update CHANGES | push | Jon Ludlam | github | pending completion set done | |
31 | odoc-support-files-dir | Update CHANGES | push | Jon Ludlam | github | pending completion set done | |
30 | odoc-support-files-dir | Factor out constant | push | Jon Ludlam | github | pending completion set done | |
29 | odoc-support-files-dir | Formatting | push | Jon Ludlam | github | pending completion set done | |
28 | odoc-support-files-dir | More directory rules fixes for odoc | push | Jon Ludlam | github | pending completion set done | |
27 | odoc-support-files-dir | Set directory targets for the _odoc_support dir | push | Jon Ludlam | github | pending completion set done | |
26 | odoc-support-files-dir | odoc: Put support files in their own directory | push | Jon Ludlam | github | pending completion set done |