11
60%
master: 60%

Ran 24 Jun 2024 09:33AM UTC

Files 200

Run time 14s

Badge

Committed 24 Jun 2024 09:10AM UTC coverage: 14.302% (-0.001%) from 14.303%

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

2328 of 24676 branches covered (9.43%)

Branch coverage included in aggregate %.

8077 of 48078 relevant lines covered (16.8%)

14309.23 hits per line