14
72%
master: 72%

Ran 24 May 2020 01:04PM UTC

Files 50

Run time 4s

Badge

Committed 24 May 2020 01:02PM UTC coverage: 82.39% (+0.08%) from 82.307%

Build Type

push

github-actions

Committed by Unrud

Commit Message

Update NEWS.md

Coverage Stats

1283 of 1627 branches covered (78.86%)

Branch coverage included in aggregate %.

2867 of 3410 relevant lines covered (84.08%)

0.84 hits per line