Merge remote-tracking branch 'github/pr/443' into v1.1

This commit is contained in:
Daniele Alessandri
2017-07-12 10:59:41 +02:00
+9 -8
View File
@@ -1,13 +1,5 @@
language: php
sudo: false
php:
- 5.3
- 5.4
- 5.5
- 5.6
- 7.0
- 7.1
- hhvm
branches:
except:
- v0.5
@@ -22,3 +14,12 @@ script:
- vendor/bin/phpunit -c phpunit.xml.travisci
matrix:
fast_finish: true
include:
- php: 5.3
- php: 5.4
- php: 5.5
- php: 5.6
- php: 7.0
- php: 7.1
- php: hhvm
dist: trusty