(chore) add PHP 7.2

2017-11-20 22:24:01 +01:00
1 parent f5168114d0
commit 5b1bcc1303
@@ -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: