jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/405576 )
Change subject: Bump phpunit-patch-coverage version
......................................................................
Bump phpunit-patch-coverage version
Change-Id: I7b5e244cf5fcb618bc46540f2a6bda9338942b3d
---
M jjb/mediawiki.yaml
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/jjb/mediawiki.yaml b/jjb/mediawiki.yaml
index 8dbc5ab..f2b4e17 100644
--- a/jjb/mediawiki.yaml
+++ b/jjb/mediawiki.yaml
@@ -402,7 +402,7 @@
. "/srv/deployment/integration/slave-scripts/bin/mw-set-env.sh"
cd $MW_INSTALL_PATH
- composer require mediawiki/phpunit-patch-coverage 0.0.3 --no-progress
+ composer require mediawiki/phpunit-patch-coverage 0.0.4 --no-progress
# FIXME This is terrible, but composer require creates a dirty diff.
git checkout composer.json
./vendor/bin/phpunit-patch-coverage check --command \
--
To view, visit https://gerrit.wikimedia.org/r/405576
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I7b5e244cf5fcb618bc46540f2a6bda9338942b3d
Gerrit-PatchSet: 2
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Legoktm <lego...@member.fsf.org>
Gerrit-Reviewer: Hashar <has...@free.fr>
Gerrit-Reviewer: Legoktm <lego...@member.fsf.org>
Gerrit-Reviewer: Paladox <thomasmulhall...@yahoo.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
