Enabling this setting will include a (potentially inaccurate) coverage % with warning messages in status updates for drifted builds.
Adjust setting
Ran
|
Jobs
1
|
Files
90
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
github
9914 of 13800 relevant lines covered (71.84%)
3027.12 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
2 |
83.67 |
18.19% | src/odoc/occurrences.ml |
4 |
86.1 |
-0.15% | src/xref2/link.ml |
4 |
79.55 |
1.23% | src/odoc/indexing.ml |
15 |
56.47 |
0.63% | src/odoc/fs.ml |
32 |
83.47 |
0.66% | src/odoc/resolver.ml |
39 |
82.25 |
0.11% | src/odoc/bin/main.ml |
61 |
76.92 |
-0.61% | src/xref2/env.ml |
79 |
27.21 |
2.8% | src/xref2/errors.ml |
119 |
49.81 |
1.27% | src/xref2/ref_tools.ml |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 2199.1 | 90 |
71.84 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|