Skip to content

Commit 59a7be9

Browse files
committed
fix
1 parent 0de3459 commit 59a7be9

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

0 commit comments

Comments
 (0)