Re: [PHP-DEV] Shut down gcov.php.net

2021-08-08 Thread Gabriel Caruso
On Wed, 4 Aug 2021, 14:25 Christoph M. Becker, wrote: > Hi all, > > I suggest to shut down altogether. It is barely > maintained for quite a while: PHP 7.4 builds are failing, and there are > no PHP 8.0 builds at all. We already run a coverage job on Azure[1], so > there

Re: [PHP-DEV] Shut down gcov.php.net

2021-08-04 Thread Sara Golemon
On Wed, Aug 4, 2021 at 7:43 AM Nikita Popov wrote: > On Wed, Aug 4, 2021 at 2:25 PM Christoph M. Becker > wrote: > > > I suggest to shut down altogether. It is barely > > maintained for quite a while: PHP 7.4 builds are failing, and there are > > no PHP 8.0 builds at all.

Re: [PHP-DEV] Shut down gcov.php.net

2021-08-04 Thread Joe Watkins
+1, this was always the long term plan. Cheers Joe On Wednesday, 4 August 2021, Nikita Popov wrote: > On Wed, Aug 4, 2021 at 2:25 PM Christoph M. Becker > wrote: > > > Hi all, > > > > I suggest to shut down altogether. It is barely > > maintained for quite a while: PHP

Re: [PHP-DEV] Shut down gcov.php.net

2021-08-04 Thread Nikita Popov
On Wed, Aug 4, 2021 at 2:25 PM Christoph M. Becker wrote: > Hi all, > > I suggest to shut down altogether. It is barely > maintained for quite a while: PHP 7.4 builds are failing, and there are > no PHP 8.0 builds at all. We already run a coverage job on Azure[1], so > th

[PHP-DEV] Shut down gcov.php.net

2021-08-04 Thread Christoph M. Becker
Hi all, I suggest to shut down altogether. It is barely maintained for quite a while: PHP 7.4 builds are failing, and there are no PHP 8.0 builds at all. We already run a coverage job on Azure[1], so there is no *need* for this site anymore, and we can't spent our time on