40
100%

Ran 04 Aug 2017 04:39AM UTC

Jobs 4

Files 1

Run time 12s

Badge

Build # 40

Build Type

push

travis-ci

Committed by

Commit Message

Upgrade `proof` to 3.0.x.

Run Details

2 of 2 branches covered (100.0%)

8 of 8 relevant lines covered (100.0%)

6.5 hits per line

ID	Job ID	Ran	Coverage
1	40.1	04 Aug 2017 04:39AM UTC	100.0	Travis Job 40.1
2	40.2	04 Aug 2017 04:39AM UTC	100.0	Travis Job 40.2
3	40.3	04 Aug 2017 04:39AM UTC	100.0	Travis Job 40.3
5	40.5	04 Aug 2017 04:39AM UTC	100.0	Travis Job 40.5