Shut down gcov.php.net View as Markdown

+1, this was always the long term plan.

Cheers
Joe

On Wed, Aug 4, 2021 at 2:25 PM Christoph M. Becker cmbecker69@gmx.de
wrote:

Hi all,

I suggest to shut down http://gcov.php.net/ 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
more useful things.

See also https://bugs.php.net/bug.php?id=78288.

Any objections?

[1] https://github.com/php/php-src/blob/master/azure/coverage_job.yml

+1 to shutting down this server. Coverage is now on azure and also
published to https://app.codecov.io/gh/php/php-src/, and valgrind has been
replaced by asan jobs. Newer PHP versions don't work on gcov because the OS
is too old.

Regards,
Nikita

On Wed, Aug 4, 2021 at 2:25 PM Christoph M. Becker cmbecker69@gmx.de
wrote:

I suggest to shut down http://gcov.php.net/ 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
more useful things.

+1 to shutting down this server. Coverage is now on azure and also
published to https://app.codecov.io/gh/php/php-src/, and valgrind has been
replaced by asan jobs. Newer PHP versions don't work on gcov because the OS
is too old.

+1; I've just checked my calendar and it's not 1999 anymore. Put 'er out
to pasture next to git.php.net

-Sara