[MediaWiki-commits] [Gerrit] Coverage now ignore phpunit ignores - change (integration/jenkins-job-builder-config)
Hashar has uploaded a new change for review. https://gerrit.wikimedia.org/r/116093 Change subject: Coverage now ignore phpunit ignores .. Coverage now ignore phpunit ignores phpunit segfault (bug 43972) which in turns
[MediaWiki-commits] [Gerrit] Coverage now ignore phpunit ignores - change (integration/jenkins-job-builder-config)
jenkins-bot has submitted this change and it was merged. Change subject: Coverage now ignore phpunit ignores .. Coverage now ignore phpunit ignores phpunit segfault (bug 43972) which in turns prevents the Jenkins Clover PHP