8
72%
master: 72%

Ran 27 Mar 2024 11:25AM UTC

Files 182

Run time 14s

Badge

Committed 27 Mar 2024 10:54AM UTC coverage: 70.315% (+0.05%) from 70.269%

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

10595 of 18780 branches covered (56.42%)

Branch coverage included in aggregate %.

41358 of 55106 relevant lines covered (75.05%)

104110.02 hits per line