File tree Expand file tree Collapse file tree 1 file changed +1
-4
lines changed
Expand file tree Collapse file tree 1 file changed +1
-4
lines changed Original file line number Diff line number Diff line change @@ -172,14 +172,11 @@ infection:
172172 git -C build-infection fetch origin && git -C build-infection reset --hard origin/1.x
173173 composer install --working-dir build-infection --no-interaction --no-progress
174174 php build-infection/bin/infection-config.php --source-directory=' build/PHPStan/Build' > tmp/infection.json5
175- version=$(shell jq -r '.packages[] | select(.name == "infection/infection") | .version' build-infection/composer.lock); \
176- wget -P tmp/ https://github.com/infection/infection/releases/download/$$ version/infection.phar --no-clobber;
177- chmod +x tmp/infection.phar
178175 XDEBUG_MODE=coverage php tests/vendor/bin/paratest \
179176 --coverage-xml=tmp/coverage/coverage-xml \
180177 --log-junit=tmp/coverage/junit.xml
181178 baseBranch=$(shell git symbolic-ref refs/remotes/${remote:-origin}/HEAD | sed 's,.* /,,') \
182- php infection.phar \
179+ php build- infection/vendor/bin/infection \
183180 --configuration=tmp/infection.json5
184181 --git-diff-base=origin/$$ baseBranch \
185182 --git-diff-lines \
You can’t perform that action at this time.
0 commit comments