1
83%
master: 83%

Ran 19 Jan 2020 08:30PM UTC

Files 3

Run time 0s

Badge

Committed 19 Jan 2020 08:28PM UTC coverage: 89.474% (-0.4%) from 89.912%

Job # 31.1

Build Type

push

travis-ci-com

Committed by Marc Coquand

Commit Message

Update docs and bump version

Run Details

62 of 73 branches covered (84.93%)

Branch coverage included in aggregate %.

142 of 155 relevant lines covered (91.61%)

2481.81 hits per line