Skip to content

Commit 39fe0e0

Browse files
committed
fix
1 parent 0c451bc commit 39fe0e0

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

0 commit comments

Comments
 (0)