From: Peter Eisentraut <peter.eisentraut@2ndquadrant.com>
To: Tom Lane <tgl@sss.pgh.pa.us>
Cc: Alvaro Herrera <alvherre@2ndquadrant.com>
Cc: Magnus Hagander <magnus@hagander.net>
Cc: PostgreSQL WWW <pgsql-www@lists.postgresql.org>
Subject: Re: Bogus reports from coverage.postgresql.org
Date: Tue, 24 Sep 2019 10:06:03 +0200
Message-ID: <8efa906c-6722-994d-b66d-8616e34653c7@2ndquadrant.com> (raw)
In-Reply-To: <11452.1568752337@sss.pgh.pa.us>
References: <20190530191650.GA24909@alvherre.pgsql>
<82447.1559409033@sss.pgh.pa.us>
<854d3409-87d0-fa44-430d-ce2babc58f1d@2ndquadrant.com>
<10512.1568751170@sss.pgh.pa.us>
<5d1b8859-3bca-9d98-31b7-e43a302446ec@2ndquadrant.com>
<11452.1568752337@sss.pgh.pa.us>
On 2019-09-17 22:32, Tom Lane wrote:
> Peter Eisentraut <peter.eisentraut@2ndquadrant.com> writes:
>> On 2019-09-17 22:12, Tom Lane wrote:
>>> But should we worry about any buildfarm members running old ccache
>>> versions? It'd probably be polite to notify the owners list about
>>> what the minimum ccache version is going to be.
>
>> Buildfarm members are not running coverage, are they?
>
> Ah, of course not. I'd forgotten the details of what we were
> concerned about. Objection withdrawn.
committed
--
Peter Eisentraut http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Reply to all the recipients using the --to and --cc options:
reply via email
To: pgsql-www@postgresql.org
Cc: peter.eisentraut@2ndquadrant.com, tgl@sss.pgh.pa.us, alvherre@2ndquadrant.com, magnus@hagander.net, pgsql-www@lists.postgresql.org
Subject: Re: Bogus reports from coverage.postgresql.org
In-Reply-To: <8efa906c-6722-994d-b66d-8616e34653c7@2ndquadrant.com>
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
This inbox is served by DDX for PostgreSQL; see mirroring instructions
for how to clone and mirror all data and code used for this inbox