2
89%
develop: 89%

Ran 11 Nov 2023 08:13PM UTC

Files 37

Run time 1s

Badge

Committed 11 Nov 2023 08:04PM UTC coverage: 86.489% (-0.2%) from 86.641%

Build Type

push

github

Committed by

Commit Message

Avoid boxing for some cases of Lists

Run Details

447 of 549 branches covered (0.0%)

Branch coverage included in aggregate %.

1147 of 1294 relevant lines covered (88.64%)

4626.36 hits per line