<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