WMDE-leszek has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/371033 )

Change subject: Use PHAN 0.8.5
......................................................................

Use PHAN 0.8.5

Change-Id: I4b73f389549740a259948f9b9290f2ed51db7abd
---
M jjb/mediawiki-extensions.yaml
M jjb/mediawiki.yaml
2 files changed, 2 insertions(+), 2 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/integration/config 
refs/changes/33/371033/1

diff --git a/jjb/mediawiki-extensions.yaml b/jjb/mediawiki-extensions.yaml
index c9f549b..5a7f2e6 100644
--- a/jjb/mediawiki-extensions.yaml
+++ b/jjb/mediawiki-extensions.yaml
@@ -394,7 +394,7 @@
      - 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
+        composer require etsy/phan:0.8.5 --prefer-dist --dev --no-progress 
--ansi --profile -v # todo don't hardcode version here
         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:
diff --git a/jjb/mediawiki.yaml b/jjb/mediawiki.yaml
index ae24e87..d234fa8 100644
--- a/jjb/mediawiki.yaml
+++ b/jjb/mediawiki.yaml
@@ -455,7 +455,7 @@
         dir: '$WORKSPACE/src'
      - shell: |
         cd $WORKSPACE/src
-        composer require etsy/phan:0.8 --prefer-dist --dev --no-progress 
--ansi --profile -v # todo don't hardcode version here
+        composer require etsy/phan:0.8.5 --prefer-dist --dev --no-progress 
--ansi --profile -v # todo don't hardcode version here
         PHAN=vendor/bin/phan ./tests/phan/bin/phan -m checkstyle
     publishers:
      - castor-save

-- 
To view, visit https://gerrit.wikimedia.org/r/371033
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I4b73f389549740a259948f9b9290f2ed51db7abd
Gerrit-PatchSet: 1
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: WMDE-leszek <leszek.mani...@wikimedia.de>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to