13
72%
master: 72%

Ran 21 Aug 2024 10:26PM UTC

Files 195

Run time 59s

Badge

Committed 21 Aug 2024 12:49PM UTC coverage: 44.814% (-0.03%) from 44.847%

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

11152 of 43148 branches covered (25.85%)

Branch coverage included in aggregate %.

31738 of 52558 relevant lines covered (60.39%)

475990.37 hits per line