Enabling this setting will include a (potentially inaccurate) coverage % with warning messages in status updates for drifted builds.
Adjust setting|
Ran
|
Jobs
1
|
Files
86
|
Run time
1min
|
Badge
README BADGES
|
github
126 of 160 new or added lines in 16 files covered. (78.75%)
15 existing lines in 3 files now uncovered.10443 of 14727 relevant lines covered (70.91%)
5745.87 hits per line
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 11 |
59.95 |
-2.17% | 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 |
|---|---|---|---|
| 13 |
79.03 |
-2.0% | src/odoc/odoc_file.ml |
| 1 |
59.95 |
-2.17% | src/model/paths.ml |
| 1 |
24.02 |
0.12% | src/xref2/cpath.ml |
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 3373.1 | 86 |
70.91 |
GitHub Action Run |
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|