Add minimum coverage threshold

Author: marijnvanwezel

.github/workflows/main.yml

@@ -16,10 +16,12 @@ jobs:
     strategy:
       matrix:
         os: [ "ubuntu-latest", "windows-latest" ]
-        php-version: [ "7.4", "8.0", "8.1", "8.2" ]
+        php-version: [ "7.4", "8.0", "8.1" ]
 
     env:
       COMPOSER_VERSION: 2
+      MINIMUM_COVERAGE_PERCENTAGE: 80
+      MINIMUM_MSI_PERCENTAGE: 80
 
     steps:
       - name: Checkout repository
@@ -55,5 +57,8 @@ jobs:
       - name: Run unit tests
         run: XDEBUG_MODE=coverage php vendor/bin/phpunit --testsuite unit
 
+      - name: Checkout coverage report
+        run: php vendor/bin/coverage-check coverage/clover.xml ${{ env.MINIMUM_COVERAGE_PERCENTAGE }}
+
       - name: Run mutation tests
-        run: XDEBUG_MODE=coverage php vendor/bin/infection --show-mutations
+        run: XDEBUG_MODE=coverage php vendor/bin/infection --show-mutations --min-msi=${{ env.MINIMUM_MSI_PERCENTAGE }} --threads=4

.gitignore

@@ -5,3 +5,4 @@ vendor/
 *.idea
 .phpunit.result.cache
 .php-cs-fixer.cache
+coverage/

composer.json

@@ -53,7 +53,8 @@
   "require-dev": {
     "phpunit/phpunit": "~9.0",
     "infection/infection": "^0.25.5",
-    "friendsofphp/php-cs-fixer": "^3.0"
+    "friendsofphp/php-cs-fixer": "^3.0",
+    "rregeer/phpunit-coverage-check": "^0.3.1"
   },
   "autoload": {
     "psr-4": {
@@ -65,12 +66,6 @@
       "WikibaseSolutions\\CypherDSL\\Tests\\": "tests/"
     }
   },
-  "scripts": {
-    "test": "phpunit tests/",
-    "infect": "XDEBUG_MODE=coverage infection --show-mutations",
-    "php-cs-fixer":
-       "php-cs-fixer fix --verbose --rules=@PSR12,align_multiline_comment,array_indentation,blank_line_before_statement,no_unused_imports,no_useless_else,no_useless_return,ordered_imports,phpdoc_scalar,return_assignment,simplified_if_return,trailing_comma_in_multiline"
-  },
   "config": {
     "allow-plugins": {
       "infection/extension-installer": true

phpunit.xml.dist

@@ -9,4 +9,12 @@
             <directory>tests/Unit</directory>
         </testsuite>
     </testsuites>
+    <coverage processUncoveredFiles="true" cacheDirectory="coverage/cache" pathCoverage="true">
+        <report>
+            <clover outputFile="coverage/clover.xml" />
+        </report>
+        <include>
+            <directory suffix=".php">src</directory>
+        </include>
+    </coverage>
 </phpunit>