Ran
|
Jobs
1
|
Files
90
|
Run time
1min
|
Badge
README BADGES
|
push
github
9849 of 13705 relevant lines covered (71.86%)
3514.65 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
96.77 |
-3.23% | src/html/html_fragment_json.ml |
1 |
76.14 |
3.77% | src/odoc/rendering.ml |
2 |
83.22 |
0.12% | src/odoc/compile.ml |
2 |
92.86 |
-0.69% | src/odoc/html_page.ml |
3 |
96.8 |
0.19% | src/html/html_page.ml |
3 |
58.82 |
3.27% | src/model/comment.ml |
3 |
92.62 |
0.08% | src/html/generator.ml |
3 |
80.0 |
0.0% | src/model/lang.ml |
4 |
78.31 |
-1.4% | src/odoc/indexing.ml |
7 |
85.42 |
0.23% | src/html/utils.ml |
11 |
21.05 |
0.0% | src/model/root.ml |
30 |
79.11 |
0.35% | src/document/url.ml |
30 |
86.43 |
-0.03% | src/latex/generator.ml |
37 |
82.82 |
-1.52% | src/odoc/resolver.ml |
65 |
82.14 |
0.17% | src/odoc/bin/main.ml |
78 |
60.85 |
-0.12% | src/model/paths.ml |
137 |
82.43 |
0.05% | src/document/generator.ml |
283 |
63.28 |
0.06% | src/xref2/tools.ml |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 2170.1 | 90 |
71.86 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
0.0 | src/odoc/html_fragment.ml | 48 | 22 | 0 | 22 | 0.0 | |
0.0 | src/odoc/source_tree.ml | 42 | 23 | 0 | 23 | 0.0 | |
0.0 | src/odoc/classify.ml | 397 | 180 | 0 | 180 | 0.0 | |
1.75 | src/html_support_files/odoc_html_support_files.ml | 602 | 114 | 2 | 112 | 504.0 + 36 | |
21.05 | src/model/root.ml | 101 + 2 | 19 | 4 | 15 | 55.0 + 2 | |
25.0 | src/xref2/errors.ml | 333 | 124 | 31 | 93 | 796.0 | |
25.12 | src/xref2/cpath.ml | 463 | 207 | 52 | 155 | 35230.0 | |
33.33 | src/odoc/or_error.ml | 9 | 3 | 1 | 2 | 30.0 | |
35.62 | src/model/fold.ml | 137 | 73 | 26 | 47 | 15.0 | |
44.03 | src/xref2/ident.ml | 373 | 134 | 59 | 75 | 23633.0 |