Use a phan version instead of master

Signed-off-by: Roeland Jago Douma <roeland@famdouma.nl>
This commit is contained in:
Roeland Jago Douma 2018-02-04 14:08:48 +01:00
parent 79e81c15c5
commit 1e75f007ac
No known key found for this signature in database
GPG key ID: F941078878347C0C

View file

@ -41,7 +41,7 @@ pipeline:
image: nextcloudci/php7.1:php7.1-16 image: nextcloudci/php7.1:php7.1-16
commands: commands:
- composer install - composer install
- composer require --dev "phan/phan:dev-master" - composer require --dev "phan/phan:0.11.1"
- ./lib/composer/phan/phan/phan -k build/.phan/config.php - ./lib/composer/phan/phan/phan -k build/.phan/config.php
- php ./build/.phan/plugin-checker.php - php ./build/.phan/plugin-checker.php
when: when: