17
72%
master: 72%

Ran 21 Aug 2024 10:26PM UTC

Files 184

Run time 45s

Badge

Committed 21 Aug 2024 12:49PM UTC coverage: 70.558% (+0.02%) from 70.54%

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

10897 of 19332 branches covered (56.37%)

Branch coverage included in aggregate %.

42974 of 57018 relevant lines covered (75.37%)

100581.23 hits per line