13
73%
master: 73%

Ran 24 Jun 2024 09:33AM UTC

Files 194

Run time 11s

Badge

Committed 24 Jun 2024 09:10AM UTC coverage: 42.529% (+0.009%) from 42.52%

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

9425 of 30176 branches covered (31.23%)

Branch coverage included in aggregate %.

23523 of 47296 relevant lines covered (49.74%)

343379.02 hits per line