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