|
Repo Added
|
Build
779
Last
|
Files
90
|
Badge
README BADGES
|
push
github
10264 of 14061 relevant lines covered (73.0%)
2961.76 hits per line
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 957 | new_driving_guide | Driver doc: more review comments | push | github |
73.0 |
||
| 947 | new_driving_guide | Driver doc; from clusters to trees | push | github |
73.0 |
||
| 936 | new_driving_guide | Driver doc; from clusters to trees | push | github |
73.0 |
||
| 918 | new_driving_guide | Driver.mld: user "cluster" for `-P` and `-L` groups | push | github |
73.0 |
||
| 916 | new_driving_guide | Driver.mld: Apply suggestions from code review Co-authored-by: Luke Maurer <Luke.Maurer@alumni.carleton.edu> | push | github |
73.0 |
||
| 908 | new_driving_guide | Rewrite the driver guide following the odoc 3 changes | push | github |
73.0 |
||
| 906 | new_driving_guide | WIP | push | github |
73.0 |
||
| 904 | new_driving_guide | WIP | push | github |
73.0 |
||
| 903 | new_driving_guide | WIP | push | github |
73.0 |
||
| 901 | new_driving_guide | WIP | push | github |
72.84 |
![]() |
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 ▾
README BADGES
|