1
90%
dev: 90%

Ran 14 Jul 2021 10:10AM UTC

Files 55

Run time 1min

Badge

Committed 14 Jul 2021 10:10AM UTC coverage: 87.069% (-0.08%) from 87.149%

Build Type

push

github

Committed by Francesco Witte

Commit Message

Merge branch 'dev' into main

Run Details

2712 of 3233 branches covered (83.88%)

Branch coverage included in aggregate %.

6647 of 7516 relevant lines covered (88.44%)

0.88 hits per line