1
0
Fork 0

Merge pull request #8773 from villfa/ci/lint

Check syntax of PHP files in src
pull/8820/head
Jordi Boggiano 2020-04-21 15:36:25 +02:00 committed by GitHub
commit 125b3136d1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions

View File

@ -13,6 +13,8 @@ matrix:
include:
- php: 5.3
dist: precise
env:
- PHP_LINT=1
- php: 5.4
dist: trusty
- php: 5.5
@ -71,6 +73,7 @@ before_script:
- git config --global user.email travis@example.com
script:
- if [[ "$PHP_LINT" == "1" ]]; then find src/ -type f -name '*.php' -print0 | xargs -0 -L1 -P4 -- php -l -f; fi
- if [[ $PHPSTAN == "1" ]]; then
bin/composer require --dev phpstan/phpstan:^0.12 phpunit/phpunit:^7.5 --no-update &&
bin/composer update phpstan/* phpunit/* sebastian/* --with-all-dependencies &&