Addshore has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/371097 )
Change subject: Get phan version from composer.json
......................................................................
Get phan version from composer.json
Change-Id: Ie2c2e0fd5b880ab73d9d7dab0686361304d56558
---
M jjb/mediawiki-extensions.yaml
1 file changed, 4 insertions(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/integration/config
refs/changes/97/371097/1
diff --git a/jjb/mediawiki-extensions.yaml b/jjb/mediawiki-extensions.yaml
index c9f549b..971d3cf 100644
--- a/jjb/mediawiki-extensions.yaml
+++ b/jjb/mediawiki-extensions.yaml
@@ -394,7 +394,10 @@
- shell: |
cd $WORKSPACE/src
mkdir -p $WORKSPACE/log
- composer require etsy/phan:0.8 --prefer-dist --dev --no-progress
--ansi --profile -v # todo don't hardcode version here
+ cd $WORKSPACE/src/extensions/$EXT_NAME
+ PHANVERSION=
"$(/srv/deployment/integration/slave-scripts/bin/mw-get-phan-version.py)"
+ cd $WORKSPACE/src
+ composer require etsy/phan:$PHANVERSION --prefer-dist --dev
--no-progress --ansi --profile -v
PHAN=$WORKSPACE/src/vendor/bin/phan ./tests/phan/bin/phan
./extensions/$EXT_NAME -m checkstyle
mv $WORKSPACE/src/extensions/$EXT_NAME/tests/phan/issues/latest
$WORKSPACE/log/phan-issues
publishers:
--
To view, visit https://gerrit.wikimedia.org/r/371097
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ie2c2e0fd5b880ab73d9d7dab0686361304d56558
Gerrit-PatchSet: 1
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Addshore <addshorew...@gmail.com>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
