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 |
---|