Remove Infection as we do not use it (yet)

sebastianbergmann · May 12, 2021 · d52b5a7 · d52b5a7
1 parent 0edfb7f
commit d52b5a7
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 13 deletions.
diff --git a/.phive/phars.xml b/.phive/phars.xml
@@ -2,6 +2,5 @@
 <phive xmlns="https://phar.io/phive">
   <phar name="php-cs-fixer" version="^3.0" installed="3.0.0" location="./tools/php-cs-fixer" copy="true"/>
   <phar name="psalm" version="^4.0" installed="4.7.1" location="./tools/psalm" copy="true"/>
-  <phar name="infection" version="^0.16.3" installed="0.21.5" location="./tools/infection" copy="true"/>
   <phar name="composer" version="^2.0.3" installed="2.0.13" location="./tools/composer" copy="true"/>
 </phive>
diff --git a/infection.json b/infection.json
diff --git a/tools/infection b/tools/infection