On Wed, 4 Aug 2021, 14:25 Christoph M. Becker, <cmbecke...@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> > > -- > Christoph M. Becker > > -- > PHP Internals - PHP Runtime Development Mailing List > To unsubscribe, visit: https://www.php.net/unsub.php > > > As the author of the bug, I've gotta say: yes, let's do it! Thanks for taking care of this one!
