Re: coverage.postgresql.org not being refreshed

From: Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)org>
To: Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us>
Cc: Magnus Hagander <magnus(at)hagander(dot)net>, Peter Geoghegan <pg(at)bowt(dot)ie>, Andrew Dunstan <andrew(at)dunslane(dot)net>, PostgreSQL www <pgsql-www(at)postgresql(dot)org>
Subject: Re: coverage.postgresql.org not being refreshed
Date: 2021-01-24 00:45:44
Message-ID: 20210124004544.GA27657@alvherre.pgsql
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-www

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

In response to

Responses

Browse pgsql-www by date

  From Date Subject
Next Message Tom Lane 2021-01-24 01:24:38 Re: coverage.postgresql.org not being refreshed
Previous Message Tom Lane 2021-01-23 23:23:07 Re: coverage.postgresql.org not being refreshed