1
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.475% (-0.2%) from 86.626%

Build Type

push

github

Committed by

Commit Message

Avoid boxing for some cases of Lists

Run Details

445 of 547 branches covered (0.0%)

Branch coverage included in aggregate %.

1147 of 1294 relevant lines covered (88.64%)

4625.25 hits per line