Leonidas-from-XIV
/
odoc
/
86
71%
master: 71%
master: 71%
|
Ran
|
Jobs
1
|
Files
85
|
Run time
1min
|
Badge
Embed ▾
README BADGES
|
coverage: 70.84% (+0.009%) from 70.831%
push
github
Leonidas-from-XIV10451 of 14753 relevant lines covered (70.84%)
5857.33 hits per line
Coverage Regressions
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 80 |
63.07 |
0.1% | src/xref2/tools.ml |
| 53 |
82.74 |
-0.04% | src/xref2/compile.ml |
| 38 |
82.43 |
0.0% | src/xref2/link.ml |
Jobs
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 86.1 | 85 |
70.84 |
GitHub Action Run |
