6
3%
master: 3%

Ran 19 Oct 2017 08:20PM UTC

Files 176

Run time 7s

Badge

Committed 19 Oct 2017 08:20PM UTC coverage: 77.172% (+0.08%) from 77.095%

Build Type

push

travis-ci

Committed by

Commit Message

Merge pull request #1173 from lmohrmann/fix-obs-index-times

Fix readout of times from obs-index file

Coverage Stats

15737 of 20392 relevant lines covered (77.17%)

0.77 hits per line