1234567891011121314151617181920212223242526272829303132333435363738394041 |
- language: php
- sudo: required
- matrix:
- fast_finish: true
- include:
- - php: "5.3"
- env: USE_PSALM=0
- dist: precise
- - php: "5.4"
- env: USE_PSALM=0
- - php: "5.5"
- env: USE_PSALM=0
- - php: "5.6"
- env: USE_PSALM=1
- - php: "7.0"
- env: USE_PSALM=1
- - php: "7.1"
- env: USE_PSALM=1
- - php: "7.2"
- env: USE_PSALM=1
- - php: "nightly"
- env: USE_PSALM=1
- - php: "master"
- env: USE_PSALM=1
- - php: "hhvm"
- env: USE_PSALM=1
- allow_failures:
- - php: "master"
- - php: "nightly"
- before_script:
- - travis_retry composer self-update
- - if [[ $USE_PSALM -eq 1 ]]; then composer require --dev "vimeo/psalm:dev-master"; fi
- - travis_retry composer install --prefer-source
- script:
- - make lint
- - make test
- - if [[ $USE_PSALM -eq 1 ]]; then make typecheck; fi
|