1
90%
dev: 90%

Ran 08 Jan 2023 10:04AM UTC

Files 56

Run time 2s

Badge

Committed 08 Jan 2023 10:04AM UTC coverage: 86.062% (-0.07%) from 86.134%

Build Type

push

github

Committed by Francesco Witte

Commit Message

Add one more missing citation

Coverage Stats

2721 of 3280 branches covered (82.96%)

Branch coverage included in aggregate %.

6695 of 7661 relevant lines covered (87.39%)

0.87 hits per line