Repo Added
|
Build
548
Last
|
Files
92
|
Badge
Embed ▾
README BADGES
|
push
github
7027 of 10046 relevant lines covered (69.95%)
887.37 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
72 | interface-doc | Updates after PR comments | push | Jon Ludlam | github | pending completion | |
71 | interface-doc | Update src/odoc/interface.mld | push | GitHub | github | pending completion | |
70 | interface-doc | Add interface doc | 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
|