17
60%
master: 60%

Ran 24 Jun 2024 09:33AM UTC

Files 200

Run time 9s

Badge

Committed 24 Jun 2024 09:10AM UTC coverage: 22.672% (+0.003%) from 22.669%

Build Type

push

github

Committed by

Commit Message

Merge pull request #14363 from omoerbeek/rec-rename-new-udr-settings

rec: make names of new udr settings consistent with existing scheme

Run Details

3798 of 24676 branches covered (15.39%)

Branch coverage included in aggregate %.

12700 of 48092 relevant lines covered (26.41%)

4833.95 hits per line