(chore) add PHP 7.2
This commit is contained in:
parent
f5168114d0
commit
588ab030d7
@ -13,6 +13,8 @@ matrix:
|
||||
env: WITH_PHPUNIT=true
|
||||
- php: 7.1
|
||||
env: WITH_PHPUNIT=true WITH_COVERAGE=true
|
||||
- php: 7.2
|
||||
env: WITH_PHPUNIT=true
|
||||
|
||||
cache:
|
||||
directories:
|
||||
|
Loading…
x
Reference in New Issue
Block a user