Merge pull request #48 from localheinz/feature/coverage

Enhancement: Collect coverage on PHP 7.2
ergebnis · Feb 15, 2018 · 4f5e578 · 4f5e578
2 parents 39c3a43 + 7d15f49
commit 4f5e578
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -67,7 +67,7 @@ jobs:
 
       php: 7.1
 
-      env: WITH_LOCKED=true WITH_COVERAGE=true
+      env: WITH_LOCKED=true
 
     - <<: *TEST
 
@@ -85,7 +85,7 @@ jobs:
 
       php: 7.2
 
-      env: WITH_LOCKED=true
+      env: WITH_LOCKED=true WITH_COVERAGE=true
 
     - <<: *TEST