Ran
|
Jobs
1
|
Files
80
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
github
16 of 32 new or added lines in 3 files covered. (50.0%)
12 existing lines in 3 files now uncovered.7041 of 12500 relevant lines covered (56.33%)
811.47 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
3 |
49.72 |
-0.08% | src/xref2/tools.ml |
13 |
70.37 |
-5.01% | src/model/predefined.ml |
Lines | Coverage | ∆ | File |
---|---|---|---|
2 |
41.69 |
-0.54% | src/model/paths.ml |
3 |
70.37 |
-5.01% | src/model/predefined.ml |
7 |
70.0 |
0.0% | src/xref2/shape_tools.ml |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 1953.1 | 80 |
56.33 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|