|
Ran
|
Jobs
1
|
Files
4
|
Run time
21min
|
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/200a45ff88b6c9d90ec57773b2968782b5ef9cac">200a45ff8<a href="https://github.com/msakai/haskell-decision-diagrams/commit/200a45ff88b6c9d90ec57773b2968782b5ef9cac">">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/31d5001563d84e62fe94dc90071ffaf7ed39537c">31d500156</a>">31d500156</a><a href="https://github.com/msakai/haskell-decision-diagrams/commit/200a45ff88b6c9d90ec57773b2968782b5ef9cac"> into 0f4e99149">0f4e99149</a>
954 of 1085 relevant lines covered (87.93%)
0.88 hits per line
| Lines | Coverage | ∆ | File |
|---|---|---|---|
| 1 |
100.0 |
src/Data/DecisionDiagram/ZDD.hs | |
| 2 |
100.0 |
src/Data/DecisionDiagram/BDD.hs |
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | 206.1 | 0 |
87.93 |
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|