3
87%
devel: 87%

Ran 13 May 2016 12:41AM UTC

Files 168

Run time 7s

Badge

Committed 13 May 2016 12:37AM UTC coverage: 84.907% (-0.2%) from 85.1%

Build Type

push

travis-ci

Committed by Martin K. Scherer

Commit Message

[travis] disable git submodules (we dont do anything with it right now). (#801)

Run Details

12303 of 14490 relevant lines covered (84.91%)

0.85 hits per line