Ran
|
Jobs
1
|
Files
3
|
Run time
–
|
Badge
README BADGES
|
push
github
180 of 201 relevant lines covered (89.55%)
26.76 hits per line
ID | Job ID | Ran | Files | Coverage | |
---|---|---|---|---|---|
1 | 58.1 | 3 |
89.55 |
GitHub Action Run |
Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
---|---|---|---|---|---|---|---|
78.57 | src/utils.ml | 63 | 28 | 22 | 6 | 39.0 | |
83.33 | src/arg_type.ml | 74 | 36 | 30 | 6 | 76.0 | |
93.43 | src/deriver.ml | 272 | 137 | 128 | 9 | 17.0 |