1391
100%

Ran 02 Mar 2019 12:03PM UTC

Jobs 3

Files 6

Run time 19s

Badge

Build # 1391

Build Type

push

travis-ci

Committed by

Commit Message

Upgrade `proof` to 7.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	1391.1	02 Mar 2019 12:03PM UTC	100.0	Travis Job 1391.1
2	1391.2	02 Mar 2019 12:03PM UTC	100.0	Travis Job 1391.2
3	1391.3	02 Mar 2019 12:03PM UTC	100.0	Travis Job 1391.3