Ran
|
Jobs
1
|
Files
71
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
push
github
6052 of 10046 relevant lines covered (60.24%)
833.28 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
61.54 |
-3.85% | src/document/utils.ml |
1 |
92.75 |
-0.38% | src/manpage/generator.ml |
1 |
16.67 |
-8.33% | src/xref2/utils.ml |
2 |
75.0 |
-1.06% | src/document/url.ml |
2 |
85.49 |
-0.78% | src/latex/generator.ml |
2 |
79.87 |
-0.43% | src/xref2/lang_of.ml |
3 |
80.54 |
-0.35% | src/document/generator.ml |
4 |
88.38 |
-2.02% | src/html/generator.ml |
4 |
34.31 |
-1.06% | src/model/paths.ml |
8 |
49.45 |
-2.23% | src/odoc/resolver.ml |
10 |
71.15 |
-0.27% | src/model/error.ml |
12 |
0.0 |
0.0% | src/xref2/errors.ml |
23 |
69.81 |
1.83% | src/xref2/env.ml |
51 |
60.91 |
1.67% | src/odoc/bin/main.ml |
57 |
77.27 |
-0.17% | src/xref2/compile.ml |
86 |
71.67 |
-1.44% | src/xref2/link.ml |
297 |
58.65 |
-1.11% | src/xref2/tools.ml |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 807.1 | 71 |
60.24 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|