16
72%
master: 72%

Ran 27 Mar 2024 11:25AM UTC

Files 200

Run time 10s

Badge

Committed 27 Mar 2024 10:54AM UTC coverage: 32.401% (-0.005%) from 32.406%

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

5697 of 24658 branches covered (23.1%)

Branch coverage included in aggregate %.

17819 of 47920 relevant lines covered (37.18%)

325926.1 hits per line