Ran
|
Jobs
1
|
Files
72
|
Run time
1908745min
|
Badge
Embed ▾
README BADGES
|
push
github
196 of 323 new or added lines in 38 files covered. (60.68%)
106 existing lines in 8 files now uncovered.6434 of 9880 relevant lines covered (65.12%)
917.72 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
95.16 |
0.0% | src/document/codefmt.ml |
1 |
75.0 |
0.0% | src/document/utils.ml |
1 |
81.58 |
0.0% | src/html/link.ml |
1 |
85.87 |
0.0% | src/latex/generator.ml |
1 |
62.84 |
0.0% | src/odoc/bin/main.ml |
1 |
77.78 |
0.0% | src/odoc/compilation_unit.ml |
1 |
0.0 |
0.0% | src/odoc/html_fragment.ml |
1 |
78.26 |
0.0% | src/odoc/page.ml |
1 |
47.27 |
0.0% | src/xref2/component.ml |
2 |
61.81 |
0.0% | src/document/comment.ml |
2 |
16.49 |
0.0% | src/xref2/errors.ml |
2 |
82.14 |
0.0% | src/xref2/type_of.ml |
3 |
94.62 |
0.0% | src/model/reference.ml |
3 |
50.57 |
0.0% | src/odoc/compile.ml |
3 |
34.19 |
0.0% | src/odoc/env.ml |
3 |
39.85 |
0.0% | src/xref2/expand_tools.ml |
3 |
33.52 |
0.0% | src/xref2/find.ml |
4 |
44.23 |
0.0% | src/xref2/cfrag.ml |
6 |
85.73 |
0.0% | src/document/generator.ml |
6 |
80.51 |
0.0% | src/xref2/compile.ml |
6 |
21.61 |
0.0% | src/xref2/cpath.ml |
6 |
71.34 |
0.0% | src/xref2/env.ml |
6 |
35.21 |
0.0% | src/xref2/ref_tools.ml |
7 |
57.14 |
0.0% | src/xref2/lang_of.ml |
10 |
78.2 |
0.0% | src/xref2/link.ml |
13 |
35.59 |
0.0% | src/model/paths.ml |
14 |
58.17 |
0.0% | src/xref2/subst.ml |
19 |
59.98 |
0.0% | src/xref2/tools.ml |
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
47.27 |
0.0% | src/xref2/component.ml |
1 |
39.85 |
0.0% | src/xref2/expand_tools.ml |
4 |
77.78 |
0.0% | src/xref2/strengthen.ml |
5 |
78.2 |
0.0% | src/xref2/link.ml |
8 |
94.62 |
0.0% | src/model/reference.ml |
12 |
50.57 |
0.0% | src/odoc/compile.ml |
28 |
35.59 |
0.0% | src/model/paths.ml |
47 |
85.73 |
0.0% | src/document/generator.ml |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 117.1 | 72 |
65.12 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|