Dbarratt has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/385416 )

Change subject: Enforce Code Coverage at 100%
......................................................................

Enforce Code Coverage at 100%

The code coverage should always remain at 100%

Bug: T178704
Change-Id: Ibdc5dea206b813c001d38c5a5c225e934cc5d16e
---
M composer.json
M phpunit.xml
2 files changed, 8 insertions(+), 2 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/libs/Equivset 
refs/changes/16/385416/1

diff --git a/composer.json b/composer.json
index f3a4d76..9686b22 100644
--- a/composer.json
+++ b/composer.json
@@ -25,7 +25,8 @@
        },
        "require": {
                "php": ">=5.5.9",
-               "wikimedia/utfnormal": "^1.1.0"
+               "wikimedia/utfnormal": "^1.1.0",
+               "rregeer/phpunit-coverage-check": "~0.1.4"
        },
        "require-dev": {
                "mediawiki/mediawiki-codesniffer": "^13.0.0",
@@ -43,7 +44,8 @@
                "fix": "phpcbf",
                "test": [
                        "@lint",
-                       "phpunit"
+                       "phpunit",
+                       "coverage-check ./coverage/clover.xml 100"
                ]
        }
 }
diff --git a/phpunit.xml b/phpunit.xml
index fde5403..67e9cda 100644
--- a/phpunit.xml
+++ b/phpunit.xml
@@ -13,6 +13,10 @@
         <ini name="error_reporting" value="-1" />
     </php>
 
+               <logging>
+                       <log type="coverage-clover" 
target="./coverage/clover.xml" />
+               </logging>
+
     <testsuites>
       <testsuite name="Wikimedia">
           <directory>./tests</directory>

-- 
To view, visit https://gerrit.wikimedia.org/r/385416
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Ibdc5dea206b813c001d38c5a5c225e934cc5d16e
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/libs/Equivset
Gerrit-Branch: master
Gerrit-Owner: Dbarratt <dbarr...@wikimedia.org>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to