Repo Added
|
Build
548
Last
|
Files
92
|
Badge
Embed ▾
README BADGES
|
push
github
10162 of 13954 relevant lines covered (72.82%)
2981.84 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
825 | odoc-driver-errors2 | Handle virtual libraries better | push | jonludlam | github |
72.82 |
|
824 | odoc-driver-errors2 | Use dune describe in dune-style driver | push | jonludlam | github |
72.82 |
|
823 | odoc-driver-errors2 | Fix classify | push | jonludlam | github |
72.67 |
|
822 | odoc-driver-errors2 | Logging on signal | push | jonludlam | github |
72.69 |
|
821 | odoc-driver-errors2 | more uncapitalization | push | jonludlam | github |
72.69 |
|
820 | odoc-driver-errors2 | Allow multiple copies of an interface | push | jonludlam | github |
72.69 |
|
819 | odoc-driver-errors2 | Output as-json as well as normal html | push | jonludlam | github |
72.69 |
|
818 | odoc-driver-errors2 | Better check for non-META dirs | push | jonludlam | github |
72.69 |
|
817 | odoc-driver-errors2 | Support linked and compiled output in different dirs | push | jonludlam | github |
72.69 |
|
816 | odoc-driver-errors2 | More fixes | push | jonludlam | github |
72.69 |
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
|