14
60%
master: 60%

Ran 24 Jun 2024 09:33AM UTC

Files 200

Run time 13s

Badge

Committed 24 Jun 2024 09:10AM UTC coverage: 23.546%. Remained the same

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

4138 of 24676 branches covered (16.77%)

Branch coverage included in aggregate %.

12996 of 48092 relevant lines covered (27.02%)

4739.33 hits per line