12
73%
master: 73%

Ran 24 Jun 2024 09:33AM UTC

Files 174

Run time 13s

Badge

Committed 24 Jun 2024 09:10AM UTC coverage: 70.938% (+0.002%) from 70.936%

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

10830 of 19104 branches covered (56.69%)

Branch coverage included in aggregate %.

42539 of 56129 relevant lines covered (75.79%)

87706.62 hits per line