[MediaWiki-commits] [Gerrit] Generalise cdb-coverage into phpunit-coverage-publish - change (integration/config)

2015-06-25 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Generalise cdb-coverage into phpunit-coverage-publish .. Generalise cdb-coverage into phpunit-coverage-publish Change-Id:

[MediaWiki-commits] [Gerrit] Generalise cdb-coverage into phpunit-coverage-publish - change (integration/config)

2015-06-24 Thread Krinkle (Code Review)
Krinkle has uploaded a new change for review. https://gerrit.wikimedia.org/r/220705 Change subject: Generalise cdb-coverage into phpunit-coverage-publish .. Generalise cdb-coverage into phpunit-coverage-publish Change-Id: