Ran
|
Jobs
1
|
Files
90
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
push
github
9515 of 13367 relevant lines covered (71.18%)
3624.48 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
58.54 |
14.09% | src/model/paths.ml |
1 |
90.36 |
3.05% | src/document/doctree.ml |
2 |
62.5 |
-1.14% | src/model/compat.ml |
2 |
96.61 |
36.78% | src/html/html_page.ml |
2 |
73.53 |
44.12% | src/xref2/shape_tools.ml |
2 |
80.0 |
-7.5% | src/model/lang.ml |
7 |
1.75 |
1.75% | src/html_support_files/odoc_html_support_files.ml |
10 |
77.53 |
6.42% | src/xref2/env.ml |
10 |
68.0 |
5.78% | src/model/names.ml |
16 |
92.42 |
37.38% | src/parser/lexer.ml |
29 |
72.73 |
27.95% | src/odoc/compile.ml |
39 |
86.29 |
12.04% | src/xref2/link.ml |
41 |
73.9 |
11.35% | src/xref2/lang_of.ml |
44 |
81.25 |
27.15% | src/odoc/bin/main.ml |
45 |
44.03 |
16.59% | src/xref2/ident.ml |
101 |
82.45 |
5.69% | src/document/generator.ml |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 736.1 | 90 |
71.18 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|