Legoktm has uploaded a new change for review. (
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(-)
git pull ssh://gerrit.wikimedia.org:29418/integration/config
refs/changes/76/405576/1
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: newchange
Gerrit-Change-Id: I7b5e244cf5fcb618bc46540f2a6bda9338942b3d
Gerrit-PatchSet: 1
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Legoktm <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
