Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
41 | master | remove unused attribute | push | Jon Ludlam | github | pending completion set done | |
40 | latex_cleanup | Merge e3cb4abe0 into e4541a3bc | Pull #485 | GitHub | github | pending completion set done | |
39 | more-module-type-of-fixes | Merge 67b85011d into e4541a3bc | Pull #520 | GitHub | github | pending completion set done | |
38 | more-module-type-of-fixes | Merge 08b4900cc into e4541a3bc | Pull #520 | GitHub | github | pending completion set done | |
37 | master | CI: Send coverage to Coveralls | push | Jon Ludlam | github | pending completion set done | |
36 | coveralls | <a href="https://github.com/ocaml/odoc/commit/4e7e7dedb"><a href="https://github.com/ocaml/odoc/commit/</a><a class="double-link" href="https://github.com/ocaml/odoc/commit/<a class="double-link"... | Pull #519 | GitHub | github | pending completion set done |