Remove remnants from Infection

Looks like it got lost when migrating to Github actions and removed from composer.json during a merge up. I think it would be hard to reintroduce it, and that that should not be done on the next major branch in any case.
doctrine · Aug 22, 2022 · e46e66e · e46e66e
1 parent 2452c8b
commit e46e66e
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 15 deletions.
diff --git a/.gitignore b/.gitignore
@@ -3,5 +3,4 @@
 /build
 /phpcs.xml
 /.phpcs-cache
-/infection.log
 /.phpunit.result.cache
diff --git a/infection.json.dist b/infection.json.dist