Re: coverage.postgresql.org not being refreshed

On 2021-Jan-23, Tom Lane wrote:

> Or we could just flush the test.  It's not very clear to me what
> coverage it's adding.

Hmm, I know I enabled it because it did cover something, though I no
longer remember what that is.


Is there a convenient way to compare two coverage runs?

-- 
Álvaro Herrera       Valdivia, Chile