increase msi, add log into file

patchlevel · Jan 29, 2021 · 4c14d26 · 4c14d26
1 parent 8ff736e
commit 4c14d26
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/.gitignore b/.gitignore
@@ -4,3 +4,4 @@ phpunit.xml
 .phpunit.result.cache
 .phpcs-cache
 phpstan.neon
+infection.log
diff --git a/infection.json.dist b/infection.json.dist
@@ -5,14 +5,14 @@
     ]
   },
   "logs": {
-    "text": "php:\/\/stderr",
+    "text": "infection.log",
     "badge": {
       "branch": "master"
     }
   },
   "mutators": {
     "@default": true
   },
-  "minMsi": 40,
-  "minCoveredMsi": 40
+  "minMsi": 52,
+  "minCoveredMsi": 76
 }