10
67%
master: 67%

Ran 21 Aug 2024 10:26PM UTC

Files 202

Run time 53s

Badge

Committed 21 Aug 2024 12:49PM UTC coverage: 13.327% (-0.005%) from 13.332%

Build Type

push

github

Committed by

Commit Message

Merge pull request #14575 from rgacogne/ddist-rm-server-from-default-pool

dnsdist: Handle a non-existent default pool when removing a server

Run Details

2268 of 24700 branches covered (9.18%)

Branch coverage included in aggregate %.

7446 of 48187 relevant lines covered (15.45%)

14245.54 hits per line