[DISCUSSION] Fast build process at GitHub

Hello Internals,

I would like to announce a PR that I did in our GitHub, speeding up in
almost 75% our tests there.

PR: https://github.com/php/php-src/pull/3058

Thanks for your time,

Gabriel Caruso