Enabling this setting will include a (potentially inaccurate) coverage % with warning messages in status updates for drifted builds.
Adjust setting|
Ran
|
Jobs
1
|
Files
88
|
Run time
1min
|
Badge
README BADGES
|
github
11 of 39 new or added lines in 8 files covered. (28.21%)
24 existing lines in 5 files now uncovered.10369 of 14180 relevant lines covered (73.12%)
9800.41 hits per line
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
52.83 |
0.0% | src/xref2/expand_tools.ml |
| 1 |
86.41 |
0.07% | src/xref2/link.ml |
| 2 |
68.83 |
0.0% | src/model_desc/lang_desc.ml |
| 2 |
75.65 |
0.05% | src/xref2/lang_of.ml |
| 2 |
66.33 |
-2.13% | src/xref2/subst.ml |
| 5 |
86.34 |
-1.11% | src/document/generator.ml |
| 15 |
50.0 |
-0.51% | src/xref2/component.ml |
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
85.2 |
-0.36% | src/latex/generator.ml |
| 2 |
78.13 |
-0.53% | src/xref2/env.ml |
| 5 |
50.0 |
-0.51% | src/xref2/component.ml |
| 6 |
86.34 |
-1.11% | src/document/generator.ml |
| 10 |
66.33 |
-2.13% | src/xref2/subst.ml |
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 2975.1 | 88 |
73.12 |
GitHub Action Run |
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|