|
Ran
|
Jobs
1
|
Files
33
|
Run time
1min
|
Badge
README BADGES
|
push
github
41 of 61 new or added lines in 9 files covered. (67.21%)
11 existing lines in 5 files now uncovered.3890 of 5051 relevant lines covered (77.01%)
1.45 hits per line
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
81.4 |
-1.94% | examples/Constrained/Examples/BinTree.hs |
| 1 |
77.27 |
-0.25% | src/Constrained/Spec/List.hs |
| 1 |
76.06 |
-1.09% | src/Constrained/Spec/Tree.hs |
| 2 |
74.38 |
-0.62% | src/Constrained/Base.hs |
| 2 |
77.27 |
0.74% | src/Constrained/Generation.hs |
| 13 |
75.59 |
-1.44% | src/Constrained/NumOrd.hs |
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
81.4 |
-1.94% | examples/Constrained/Examples/BinTree.hs |
| 1 |
77.27 |
0.74% | src/Constrained/Generation.hs |
| 1 |
77.27 |
-0.25% | src/Constrained/Spec/List.hs |
| 1 |
76.06 |
-1.09% | src/Constrained/Spec/Tree.hs |
| 7 |
73.42 |
-1.58% | src/Constrained/SumList.hs |
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 338.1 | 33 |
77.01 |
GitHub Action Run |
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|