ci: fix infection error

b2pweb · Aug 1, 2023 · 2a4cb47 · 2a4cb47
1 parent 17247dc
commit 2a4cb47
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -30,9 +30,9 @@ infection.phar:
 	wget --no-check-certificate "https://github.com/infection/infection/releases/download/$(INFECTION_VERSION)/infection.phar.asc"
 	chmod +x infection.phar
 
-infection: infection.phar test-server run-infection kill-test-server
+infection: infection.phar run-infection
 
-infection-ci: INFECTION_ARGS=--logger-github --git-diff-filter=AM
+infection-ci: INFECTION_ARGS=--logger-github --git-diff-filter=AM --min-msi=80
 infection-ci: INFECTION_VERSION=0.23.0
 infection-ci: infection