74
87%
master: 87%

Ran 07 Jun 2025 02:25PM UTC

Jobs 1

Files 8

Run time 1min

Badge

Committed 07 Jun 2025 02:12PM UTC coverage: 86.789% (-0.05%) from 86.837%

Build # 74

Build Type

push

github

Committed by

Commit Message

Merge 0e36d5686 into 8f4ec0ead

Run Details

992 of 1143 relevant lines covered (86.79%)

0.87 hits per line

Lines	Coverage	File
1	96.88	src/Data/IntervalMap/Strict.hs
6	80.85	src/Data/IntegerInterval/Internal.hs
6	88.62	src/Data/Interval/Internal.hs
19	84.0	src/Data/IntervalSet.hs
21	85.85	src/Data/IntegerInterval.hs
22	82.93	src/Data/IntervalMap/Base.hs
41	88.94	src/Data/Interval.hs

ID	Job ID	Ran	Files	Coverage
1	74.1	07 Jun 2025 02:25PM UTC	8	86.79	GitHub Action Run