|
Ran
|
Jobs
1
|
Files
4
|
Run time
0s
|
Badge
README BADGES
|
push
github-actions
<a href="https://github.com/msakai/haskell-decision-diagrams/commit/<a class=hub.com/msakai/haskell-decision-diagrams/commit/cc1e0e39f56da56af765dc7c70b620298ac0f10a">cc1e0e39f<a href="https://github.com/msakai/haskell-decision-diagrams/commit/cc1e0e39f56da56af765dc7c70b620298ac0f10a">">Merge </a><a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/<a class="double-link" href="https://github.com/msakai/haskell-decision-diagrams/commit/c2fa1353452f8ebf02118d5207ee7a5607f1e26c">c2fa13534</a>">c2fa13534</a><a href="https://github.com/msakai/haskell-decision-diagrams/commit/cc1e0e39f56da56af765dc7c70b620298ac0f10a"> into 6f63a2c87">6f63a2c87</a>
950 of 1085 relevant lines covered (87.56%)
0.88 hits per line
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 2 |
100.0 |
src/Data/DecisionDiagram/ZDD.hs | |
| 6 |
100.0 |
src/Data/DecisionDiagram/BDD.hs |
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 224.1 | 0 |
87.56 |
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|