Use PHP 7.0 for code coverage

Hopefully this will avoid the frequent core dump
seen on Travis.
This commit is contained in:
Adrien Crivelli 2017-04-21 17:15:42 +09:00
parent 870d8640f5
commit 2ad559639e
No known key found for this signature in database
GPG Key ID: B182FD79DC6DE92E
1 changed files with 1 additions and 1 deletions

View File

@ -10,7 +10,7 @@ php:
matrix:
include:
- php: 7.1
- php: 7.0
env: COVERAGE=1
allow_failures:
- php: hhvm