2
72%
master: 72%

Ran 27 Mar 2024 10:25PM UTC

Files 191

Run time 16s

Badge

Committed 27 Mar 2024 10:54AM UTC coverage: 44.146% (-0.03%) from 44.171%

Build Type

push

github

Committed by

Commit Message

Merge pull request #13969 from omoerbeek/rec-nod-threads

rec: use shared NOD (and/or UDR) DB, to avoid multiple copies in memory and on disk

Run Details

10919 of 43008 branches covered (25.39%)

Branch coverage included in aggregate %.

30890 of 51698 relevant lines covered (59.75%)

550700.76 hits per line