Enabling this setting will include a (potentially inaccurate) coverage % with warning messages in status updates for drifted builds.
Adjust setting|
Ran
|
Jobs
1
|
Files
85
|
Run time
1min
|
Badge
README BADGES
|
github
118 of 152 new or added lines in 16 files covered. (77.63%)
2 existing lines in 2 files now uncovered.10419 of 14692 relevant lines covered (70.92%)
5690.15 hits per line
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 11 |
59.75 |
-2.37% | src/model/paths.ml |
| 7 |
24.02 |
0.12% | src/xref2/cpath.ml |
| 5 |
81.94 |
-0.08% | src/document/url.ml |
| 3 |
22.73 |
0.0% | src/model/root.ml |
| 3 |
56.41 |
0.0% | src/xref2/ident.ml |
| 2 |
28.97 |
0.2% | src/xref2/errors.ml |
| 2 |
63.0 |
-0.07% | src/xref2/tools.ml |
| 1 |
77.33 |
0.0% | src/odoc/compile.ml |
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
59.75 |
-2.37% | src/model/paths.ml |
| 1 |
24.02 |
0.12% | src/xref2/cpath.ml |
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 3332.1 | 85 |
70.92 |
GitHub Action Run |
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|