Repo Added
|
Build
177
Last
|
Files
542
|
Badge
README BADGES
|
push
github
13954 of 33887 relevant lines covered (41.18%)
27653.57 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|
Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
29 | doc-typo-fixes | Fix minor typos, add clarifications to OPAM generation | push | Marek Kubica | github | pending completion |
![]() |
Badge your Repo: duneWe 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 ▾
README BADGES
|