Ran
|
Files
90
|
Run time
1s
|
Badge
Embed ▾
README BADGES
|
push
github
Odoc driver: abstract and improve type for compiled files Signed-off-by: Paul-Elliot <peada@free.fr>
9515 of 13367 relevant lines covered (71.18%)
3624.48 hits per line
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|