17
87%

Ran 03 Sep 2021 07:32PM UTC

Jobs 1

Files 8

Run time 2s

Badge

Build # 17

Build Type

push

github-actions

Committed by GitHub

Commit Message

Merge pull request #30 from marcosh/fix-relate-boundary-comparison

Run Details

12 of 12 new or added lines in 1 file covered. (100.0%)

978 of 1132 relevant lines covered (86.4%)

0.86 hits per line

Lines	Coverage	∆	File
1	100.0		src/Data/IntegerInterval/Internal.hs
2	100.0		src/Data/IntervalSet.hs

ID	Job ID	Ran	Files	Coverage
1	17.1	03 Sep 2021 07:32PM UTC	0	86.4