Ran
|
Jobs
1
|
Files
91
|
Run time
1min
|
Badge
README BADGES
|
push
github
0 of 1 new or added line in 1 file covered. (0.0%)
118 existing lines in 7 files now uncovered.9964 of 13861 relevant lines covered (71.89%)
3014.55 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
23.81 |
2.76% | src/model/root.ml |
Lines | Coverage | ∆ | File |
---|---|---|---|
2 |
87.5 |
-5.83% | src/odoc/odoc_link.ml |
3 |
80.0 |
0.0% | src/model/lang.ml |
4 |
74.44 |
-1.69% | src/odoc/rendering.ml |
8 |
78.26 |
-0.31% | src/odoc/odoc_file.ml |
8 |
23.81 |
2.76% | src/model/root.ml |
27 |
82.21 |
-0.33% | src/odoc/resolver.ml |
66 |
82.58 |
0.33% | src/odoc/bin/main.ml |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 2242.1 | 91 |
71.89 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|