216
88%

Ran 12 Aug 2022 03:12PM CUT

Jobs 1

Files 4

Run time 1s

Badge

Build # 216

Build Type

push

github-actions

Committed by GitHub

Commit Message

remove Hackage CI badge

Run Details

955 of 1085 relevant lines covered (88.02%)

0.88 hits per line

Lines	Coverage	∆	File
1	87.2	0.47%	src/Data/DecisionDiagram/ZDD.hs
3	88.93	0.55%	src/Data/DecisionDiagram/BDD.hs

ID	Job ID	Ran	Files	Coverage
1	216.1	12 Aug 2022 03:12PM CUT	4	88.02

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
35.71	src/Data/DecisionDiagram/BDD/Internal/ItemOrder.hs	92	14	5	9	1.0
87.2	src/Data/DecisionDiagram/ZDD.hs	1024	422	368 + 2	54 - 2	1.0
88.93	src/Data/DecisionDiagram/BDD.hs	1072	542	482 + 3	60 - 3	1.0
93.46	src/Data/DecisionDiagram/BDD/Internal/Node.hs	267	107	100	7	1.0