jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/331791 )
Change subject: Use full paths for PHAN mwext job things
......................................................................
Use full paths for PHAN mwext job things
Also change to running on DebianJessie temporarily for
easier debugging.
Change-Id: I5f054f09f809d091bada4cf0202103c6b98aa5b3
---
M jjb/mediawiki-extensions.yaml
1 file changed, 4 insertions(+), 3 deletions(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/jjb/mediawiki-extensions.yaml b/jjb/mediawiki-extensions.yaml
index 0ebf950..455f4ff 100644
--- a/jjb/mediawiki-extensions.yaml
+++ b/jjb/mediawiki-extensions.yaml
@@ -435,7 +435,7 @@
# Phan! (T153039)
- job:
name: 'mwext-php70-phan-jessie'
- node: ci-jessie-wikimedia
+ node: DebianJessie
concurrent: true
properties:
- build-discarder:
@@ -448,9 +448,10 @@
- mw-fetch-composer-dev
- shell: |
cd $WORKSPACE/src
+ mkdir -p $WORKSPACE/log
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 ./extensions/$EXT_NAME -m
checkstyle
- mv ./extensions/$EXT_NAME/tests/phan/issues/latest
$WORKSPACE/log/phan-issues
+ 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:
- castor-save
- checkstyle:
--
To view, visit https://gerrit.wikimedia.org/r/331791
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I5f054f09f809d091bada4cf0202103c6b98aa5b3
Gerrit-PatchSet: 4
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Addshore <addshorew...@gmail.com>
Gerrit-Reviewer: Hashar <has...@free.fr>
Gerrit-Reviewer: Legoktm <lego...@member.fsf.org>
Gerrit-Reviewer: Paladox <thomasmulhall...@yahoo.com>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
