4
98%
master: 98%

Ran 18 Aug 2017 11:38AM UTC

Files 79

Run time 4s

Badge

Committed 18 Aug 2017 11:33AM UTC coverage: 96.159% (-0.07%) from 96.228%

Build Type

push

travis-ci

Committed by

Commit Message

No functional changes, just merge point for "PR #1867 cherry picked into 0.10".

Coverage Stats

3697 of 4110 branches covered (89.95%)

12541 of 13042 relevant lines covered (96.16%)

0.96 hits per line