1
97%
develop: 98%

Ran 19 May 2022 06:56PM UTC

Files 354

Run time 47s

Badge

Committed 19 May 2022 06:56PM UTC coverage: 95.991%. First build

Build Type

push

github

Committed by Jonas Nyrup

Commit Message

More use of pattern matching and lifted operators

Run Details

3836 of 4140 branches covered (92.66%)

Branch coverage included in aggregate %.

12278 of 12647 relevant lines covered (97.08%)

53967.39 hits per line