Ran
|
Jobs
1
|
Files
80
|
Run time
7s
|
Badge
README BADGES
|
push
github
7100 of 12618 relevant lines covered (56.27%)
816.86 hits per line
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 1751.1 | 80 |
56.27 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
0.0 | src/odoc/or_error.ml | 9 | 3 | 0 | 3 | 0.0 | |
0.0 | src/odoc/source_tree.ml | 42 | 23 | 0 | 23 | 0.0 | |
0.0 | src/odoc/indexing.ml | 68 | 38 | 0 | 38 | 0.0 | |
0.0 | src/html_support_files/odoc_html_support_files.ml | 598 | 114 | 0 | 114 | 0.0 | |
0.0 | src/model/fold.ml | 126 | 66 | 0 | 66 | 0.0 | |
0.0 | src/odoc/depends.ml | 97 | 31 | 0 | 31 | 0.0 | |
0.0 | src/html/html_source.ml | 71 | 35 | 0 | 35 | 0.0 | |
0.0 | src/odoc/html_fragment.ml | 48 | 22 | 0 | 22 | 0.0 | |
0.0 | src/html/html_fragment_json.ml | 82 | 30 | 0 | 30 | 0.0 | |
0.0 | src/parser/token.ml | 194 | 96 | 0 | 96 | 0.0 |