[DISCUSSION] Fast build process at GitHub

  101747
February 3, 2018 08:43 carusogabriel34@gmail.com (Gabriel Caruso)
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