16
67%
master: 67%

Ran 21 Aug 2024 01:10PM UTC

Files 175

Run time 9s

Badge

Committed 21 Aug 2024 12:49PM UTC coverage: 70.842% (+0.04%) from 70.801%

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

10834 of 19132 branches covered (56.63%)

Branch coverage included in aggregate %.

42586 of 56275 relevant lines covered (75.67%)

87431.54 hits per line