panglesd
/
odoc
/
1180
73%
master: 56%
master: 56%
|
Ran
|
Jobs
1
|
Files
90
|
Run time
37min
|
Badge
Embed ▾
README BADGES
|
coverage: 73.253% (-0.1%) from 73.382%
push
github
jonludlam1 of 1 new or added line in 1 file covered. (100.0%)
88 existing lines in 3 files now uncovered.10391 of 14185 relevant lines covered (73.25%)
9818.8 hits per line
Uncovered Existing Lines
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
96.88 |
-3.13% | src/parser/parse_error.ml |
| 32 |
60.87 |
0.0% | src/odoc/extract_code.ml |
| 55 |
88.12 |
-4.51% | src/parser/lexer.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 1180.1 | 90 |
73.25 |
GitHub Action Run |
