8
72%
master: 72%

Ran 31 Oct 2023 03:53PM UTC

Files 139

Run time 18s

Badge

Committed 31 Oct 2023 03:19PM UTC coverage: 59.685% (+0.008%) from 59.677%

Build Type

push

github

Committed by

Commit Message

Merge pull request #13385 from omoerbeek/assorted-delint20231017

Assorted delinting, mark do while loops as ok

Run Details

3845 of 9050 branches covered (0.0%)

Branch coverage included in aggregate %.

19096 of 29387 relevant lines covered (64.98%)

3099939.08 hits per line