Legoktm has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/326005 )
Change subject: phan: Pin to 0.7
......................................................................
phan: Pin to 0.7
Change-Id: I851c1c1ae621830028fadda4f5015f7e90d1ba1e
---
M jjb/mediawiki.yaml
1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/integration/config
refs/changes/05/326005/1
diff --git a/jjb/mediawiki.yaml b/jjb/mediawiki.yaml
index 79bb9c0..8b0bc57 100644
--- a/jjb/mediawiki.yaml
+++ b/jjb/mediawiki.yaml
@@ -484,7 +484,7 @@
dir: '$WORKSPACE/src'
- shell: |
cd $WORKSPACE/src
- composer require etsy/phan:dev-master --prefer-dist --dev
--no-progress --ansi --profile -v # todo don't hardcode version here
+ composer require etsy/phan:0.7 --prefer-dist --dev --no-progress
--ansi --profile -v # todo don't hardcode version here
PHAN=vendor/bin/phan ./tests/phan/bin/phan
publishers:
- castor-save
--
To view, visit https://gerrit.wikimedia.org/r/326005
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I851c1c1ae621830028fadda4f5015f7e90d1ba1e
Gerrit-PatchSet: 1
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Legoktm <lego...@member.fsf.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
