<quote name="Antoine Musso" date="2015-12-01" time="22:49:05
+0100">
Beside CI overhead, most of the delay was from
mediawiki-phpunit-zend
which runs the whole PHPUnit tests under Zend PHP 5.3 and takes 10+
minutes. Earlier today, I have split the job in two part and the merges
should happens ~ 3 minutes earlier.
\o/
That's about a 33% speed increase! Well done Antoine (and team).
Greg
--
| Greg Grossmeier GPG: B2FA 27B1 F7EB D327 6B8E |
| identi.ca: @greg A18D 1138 8E47 FAC8 1C7D |