4
74%
master: 74%

Ran 08 Dec 2020 03:19AM UTC

Files 30

Run time 3s

Badge

Committed 08 Dec 2020 02:40AM UTC coverage: 62.153% (-0.4%) from 62.524%

Build Type

push

travis-ci

Committed by

Commit Message

Fixing Ubuntu 20.10 build on OBS (#1049)

Fix building of Ubuntu 20.10 on OBS

Also, add documentation for OBS.

Work for hire

Coverage Stats

3667 of 5900 relevant lines covered (62.15%)

0.62 hits per line