15
73%
master: 73%

Ran 24 Jun 2024 09:33AM UTC

Files 194

Run time 15s

Badge

Committed 24 Jun 2024 09:10AM UTC coverage: 20.598% (+0.08%) from 20.514%

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

4206 of 30176 branches covered (13.94%)

Branch coverage included in aggregate %.

11736 of 47221 relevant lines covered (24.85%)

4982903.53 hits per line