Disable coverage where not needed

tvdijen · tvdijen · commit b8386fd422a3 · 2023-03-12T12:56:34.000+01:00
diff --git a/.github/workflows/build-release.yml b/.github/workflows/build-release.yml
@@ -20,6 +20,7 @@ jobs:
           php-version: '8.0'
           tools: composer:v2
           extensions: mbstring, xml
+          coverage: none
 
       - name: Setup problem matchers for PHP
         run: echo "::add-matcher::${{ runner.tool_cache }}/php.json"
diff --git a/.github/workflows/php.yml b/.github/workflows/php.yml
@@ -48,6 +48,7 @@ jobs:
           php-version: '8.2'
           tools: composer:v2
           extensions: ctype, date, dom, hash, intl, json, mbstring, mysql, openssl, pcre, pdo, pdo_sqlite, spl, xml
+          coverage: none
 
       - name: Setup problem matchers for PHP
         run: echo "::add-matcher::${{ runner.tool_cache }}/php.json"
