16372984763

Committed 18 Jul 2025 02:24PM UTC coverage: 65.747% (+0.01%) from 65.737%

Build Type

push

github

Committed by

Commit Message

Merge pull request #15871 from rgacogne/ddist-pool-unordered-map

dnsdist: Use an unordered map for pools

Coverage Stats

41911 of 92340 branches covered (45.39%)

Branch coverage included in aggregate %.

127546 of 165400 relevant lines covered (77.11%)

6643050.65 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

68.18

/modules/gpgsqlbackend/spgsql.cc