This is at least the second time I've seen this:
https://integration.wikimedia.org/ci/job/mediawiki-extensions-php53/738/consoleFull
Build timed out (after 30 minutes)
This is at least the second time I've seen this:
https://integration.wikimedia.org/ci/job/mediawiki-extensions-php53/738/consoleFull
Build timed out (after 30 minutes)
https://integration.wikimedia.org/ci/job/mediawiki-extensions-php55/buildTimeTrend averages ~10 minutes. The php53 variant which is only run for older branches is even slower.