1379
100%

Ran 26 Nov 2018 08:50AM UTC

Jobs 3

Files 6

Run time 26s

Badge

Build # 1379

Build Type

push

travis-ci

Committed by

Commit Message

Upgrade `proof` to 5.0.x.

Run Details

294 of 294 branches covered (100.0%)

620 of 620 relevant lines covered (100.0%)

363.65 hits per line

ID	Job ID	Ran	Coverage
1	1379.1	26 Nov 2018 08:51AM UTC	100.0	Travis Job 1379.1
2	1379.2	26 Nov 2018 08:50AM UTC	100.0	Travis Job 1379.2
3	1379.3	26 Nov 2018 08:51AM UTC	100.0	Travis Job 1379.3