18
73%
master: 73%

Ran 24 Jun 2024 09:33AM UTC

Files 183

Run time 7s

Badge

Committed 24 Jun 2024 09:10AM UTC coverage: 70.676% (+0.05%) from 70.626%

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

10907 of 19304 branches covered (56.5%)

Branch coverage included in aggregate %.

42931 of 56872 relevant lines covered (75.49%)

101190.34 hits per line