4
67%
master: 67%

Ran 21 Aug 2024 10:26PM UTC

Files 195

Run time 18s

Badge

Committed 21 Aug 2024 12:49PM UTC coverage: 21.095% (+0.006%) from 21.089%

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

4283 of 30218 branches covered (14.17%)

Branch coverage included in aggregate %.

12093 of 47410 relevant lines covered (25.51%)

5187846.22 hits per line