travis: runs code coverage on PHP 7.2 because fails on 7.1

dg · dg · commit 707fe7d7f0d7 · 2017-08-29T15:56:12.000+02:00
diff --git a/.travis.yml b/.travis.yml
@@ -38,6 +38,7 @@ jobs:
 
 
         -   stage: Code Coverage
+            php: 7.2
             script:
                 - vendor/bin/tester -p phpdbg tests -s --coverage ./coverage.xml --coverage-src ./src
             after_script:
