1
88%
master: 88%

Ran 24 Jul 2023 05:41PM UTC

Files 490

Run time 12s

Badge

Committed 24 Jul 2023 05:33PM UTC coverage: 86.089% (-0.004%) from 86.093%

Build Type

push

github

Committed by

Commit Message

config: introduce bootstrap_leader option

Part of #8861

NO_DOC=Was already described before.

Coverage Stats

63475 of 115292 branches covered (55.06%)

95147 of 110522 relevant lines covered (86.09%)

2868918.67 hits per line