Update dev tools (#1053)

Author: kubawerlos

.dev-tools/composer.json

@@ -16,7 +16,7 @@
         "shipmonk/phpstan-rules": "^4.1.4",
         "squizlabs/php_codesniffer": "^3.13.2",
         "tomasvotruba/type-coverage": "^2.0.2",
-        "vimeo/psalm": "^6.12"
+        "vimeo/psalm": "^6.12.1"
     },
     "autoload": {
         "psr-4": {
@@ -54,7 +54,7 @@
             "phpcbf || exit 0"
         ],
         "infection": [
-            "infection run --min-msi=100 --logger-github --no-progress --threads=16"
+            "infection run"
         ]
     }
 }

.dev-tools/composer.lock

@@ -6,6 +6,7 @@
         ]
     },
     "timeout": 10,
+    "threads": "max",
     "logs": {
         "text": "php://stdout",
         "github": true,
@@ -194,5 +195,6 @@
         "While_": true,
         "YieldValue": true,
         "Yield_": true
-    }
+    },
+    "minMsi": 100
 }

.dev-tools/infection.json

@@ -43,6 +43,7 @@ public function build(): array
             '$schema' => './vendor/infection/infection/resources/schema.json',
             'source' => ['directories' => ['../src']],
             'timeout' => 10,
+            'threads' => 'max',
             'logs' => [
                 'text' => 'php://stdout',
                 'github' => true,
@@ -53,6 +54,7 @@ public function build(): array
                 'customPath' => '../vendor/phpunit/phpunit/phpunit',
             ],
             'mutators' => [],
+            'minMsi' => 100,
         ];
 
         $mutators = \array_keys(ProfileList::ALL_MUTATORS);