Repo Added
|
Build
548
Last
|
Files
92
|
Badge
Embed ▾
README BADGES
|
push
github
5830 of 9754 relevant lines covered (59.77%)
720.0 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
279 | better-docs | Format odoc_examples | push | Jon Ludlam | github | pending completion | |
278 | better-docs | Several updates | push | Jon Ludlam | github | pending completion | |
271 | better-docs | Publish.mld is a shell script | push | Jon Ludlam | github | pending completion | |
270 | better-docs | Fix some CI failures | push | Jon Ludlam | github | pending completion | |
269 | better-docs | Review updates | push | Jon Ludlam | github | pending completion | |
260 | better-docs | Update driver.mld from driver.md | push | Jon Ludlam | github | pending completion |
Badge your Repo: odocWe detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message.Could not find badge in README. |
Embed ▾
Refresh
README BADGES
|