11
67%
master: 67%

Ran 31 Oct 2023 03:53PM UTC

Files 207

Run time 19s

Badge

Committed 31 Oct 2023 03:19PM UTC coverage: 23.198% (-0.02%) from 23.219%

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

3895 of 24568 branches covered (0.0%)

Branch coverage included in aggregate %.

12797 of 47387 relevant lines covered (27.01%)

4799.76 hits per line