3
89%
dev: 89%

Ran 08 Jan 2023 10:04AM UTC

Files 56

Run time 3s

Badge

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

Build Type

push

github

Committed by Francesco Witte

Commit Message

Add one more missing citation

Coverage Stats

2735 of 3293 branches covered (83.05%)

Branch coverage included in aggregate %.

6697 of 7662 relevant lines covered (87.41%)

0.87 hits per line