Skip to content

Commit 7362671

Browse files
committed
fix
1 parent 715d07e commit 7362671

File tree

2 files changed

+13
-10
lines changed

2 files changed

+13
-10
lines changed

.gitignore

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,8 @@
44
/conf/config.local.yml
55
/build-cs
66
/build-infection
7+
/infection.json5
8+
/infection.phar
79
/vendor
810
/.idea/*
911
!.idea/icon.png

Makefile

Lines changed: 11 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -170,16 +170,17 @@ infection:
170170
git -C build-infection pull || git clone https://github.com/phpstan/build-infection.git
171171
git -C build-infection fetch origin && git -C build-infection reset --hard origin/1.x
172172
composer install --working-dir build-infection --no-interaction --no-progress
173-
php build-infection/bin/infection-config.php --source-directory='build/PHPStan/Build'> tmp/infection.json5
173+
php build-infection/bin/infection-config.php --source-directory='build/PHPStan/Build'> infection.json5
174174
XDEBUG_MODE=coverage php tests/vendor/bin/paratest \
175175
--coverage-xml=tmp/coverage/coverage-xml \
176176
--log-junit=tmp/coverage/junit.xml
177-
baseBranch=$(shell git symbolic-ref refs/remotes/${remote:-origin}/HEAD | sed 's,.*/,,') \
178-
php build-infection/vendor/bin/infection \
179-
--configuration=tmp/infection.json5 \
180-
--git-diff-base=origin/$$baseBranch \
181-
--git-diff-lines \
182-
--coverage=tmp/coverage \
183-
--skip-initial-tests \
184-
--ignore-msi-with-no-mutations \
185-
--logger-text=php://stdout
177+
version=$(shell jq -r '.packages[] | select(.name == "infection/infection") | .version' build-infection/composer.lock); \
178+
wget https://github.com/infection/infection/releases/download/$$version/infection.phar --no-clobber;
179+
php infection.phar \
180+
--configuration=infection.json5 \
181+
--git-diff-base=origin/2.1.x \
182+
--git-diff-lines \
183+
--coverage=tmp/coverage \
184+
--skip-initial-tests \
185+
--ignore-msi-with-no-mutations \
186+
--logger-text=php://stdout;

0 commit comments

Comments
 (0)