Ran
|
Jobs
1
|
Files
12
|
Run time
1517622min
|
Badge
README BADGES
|
push
github
641 of 740 relevant lines covered (86.62%)
689.74 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
92.27 |
-0.55% | lib/otype.ml |
1 |
80.71 |
-1.1% | lib/py_fun.ml |
2 |
81.11 |
-1.84% | lib/oarg.ml |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 79.1 | 12 |
86.62 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|