Increase infection timeout

.github/workflows/mutation.yml

@@ -32,11 +32,11 @@ jobs:
         run: |
           git fetch --depth=1 origin $GITHUB_BASE_REF
           # Explicitly specify GitHub logger since our Stryker reporting will otherwise disable it.
-          php vendor/bin/infection -j8 --git-diff-lines --git-diff-base=origin/$GITHUB_BASE_REF --logger-github --only-covered
+          php vendor/bin/infection --threads=max --git-diff-lines --git-diff-base=origin/$GITHUB_BASE_REF --logger-github --only-covered
 
       - name: Run Infection for all files
         if: github.event_name == 'push'
         env:
           INFECTION_DASHBOARD_API_KEY: ${{ secrets.INFECTION_DASHBOARD_API_KEY }}
         run: |
-          php vendor/bin/infection -j8 --only-covered
+          php vendor/bin/infection --threads=max --only-covered

composer.json

@@ -130,7 +130,7 @@
             "php var/box.phar compile"
         ],
         "infection": [
-            "php -d pcov.enabled=1 vendor/bin/infection --threads=8"
+            "php -d pcov.enabled=1 vendor/bin/infection --threads=max"
         ],
         "cs": "phpcs",
         "cbf": "phpcbf",

infection.json → infection.json5

@@ -1,5 +1,5 @@
 {
-    "$schema": "https://raw.githubusercontent.com/infection/infection/0.26.13/resources/schema.json",
+    "$schema": "vendor/infection/infection/resources/schema.json",
     "source": {
         "directories": [
             "src"
@@ -10,6 +10,7 @@
             "report": "main"
         }
     },
+    "timeout": 30,
     "mutators": {
         "@default": true
     }