20
87%
master: 87%

Ran 25 Oct 2021 11:11PM CUT

Jobs 1

Files 8

Run time 2s

Badge

Build # 20

Build Type

push

github-actions

Committed by Bodigrim

Commit Message

Add documentation for Relation

Run Details

982 of 1132 relevant lines covered (86.75%)

0.87 hits per line

Lines	Coverage	∆	File
1	88.45	-0.25%	src/Data/Interval.hs

ID	Job ID	Ran	Files	Coverage
1	20.1	25 Oct 2021 11:11PM CUT	8	86.75

Coverage	File	Lines	Relevant	Covered	Missed	Hits/Line
80.85	src/Data/IntegerInterval/Internal.hs	119	47	38	9	1.0
83.44	src/Data/IntervalMap/Base.hs	567	163	136	27	1.0
83.67	src/Data/IntervalSet.hs	448	147	123 + 1	24 - 1	1.0
85.93	src/Data/IntegerInterval.hs	554	199	171	28	1.0
88.45	src/Data/Interval.hs	884	407	360 - 1	47 + 1	1.0
89.34	src/Data/Interval/Internal.hs	226	122	109	13	1.0
93.33	src/Data/IntervalRelation.hs	79 + 20	15	14	1	1.0
96.88	src/Data/IntervalMap/Strict.hs	252	32	31	1	1.0