Ran
|
Jobs
1
|
Files
12
|
Run time
1159499min
|
Badge
Embed ▾
README BADGES
|
push
github
648 of 743 relevant lines covered (87.21%)
687.22 hits per line
Lines | Coverage | ∆ | File |
---|---|---|---|
1 |
81.82 |
0.26% | lib/py_fun.ml |
3 |
88.89 |
0.0% | lib/specs_file.ml |
7 |
89.04 |
17.61% | bin/bin_utils.ml |
13 |
82.95 |
2.95% | lib/oarg.ml |
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 74.1 | 12 |
87.21 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|