Skip to content

Commit 506d4ae

Browse files
committed
Install infection using shivammathur/setup-php
Signed-off-by: William Desportes <williamdes@wdes.fr>
1 parent 9306568 commit 506d4ae

File tree

1 file changed

+3
-8
lines changed

1 file changed

+3
-8
lines changed

.github/workflows/mutation-tests.yml

Lines changed: 3 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -32,12 +32,7 @@ jobs:
3232
php-version: ${{ matrix.php-version }}
3333
coverage: pcov
3434
ini-values: memory_limit=-1
35-
tools: composer:v2, phive
36-
37-
- name: Install Infection
38-
# The GPG key can be found at https://infection.github.io/guide/installation.html
39-
run: |
40-
phive --no-progress install --target ./build/tools --trust-gpg-keys C5095986493B4AA0 infection
35+
tools: composer:v2, infection
4136

4237
- name: Get Composer cache directory
4338
id: composer-cache
@@ -63,7 +58,7 @@ jobs:
6358
if: ${{ github.base_ref != '' }}
6459
run: |
6560
CHANGED_FILES=$(git diff origin/$GITHUB_BASE_REF --diff-filter=AM --name-only | grep src/ | paste -sd "," -);
66-
./build/tools/infection -j$(nproc) --skip-initial-tests --no-interaction --no-progress --coverage=build/logs \
61+
infection -j$(nproc) --skip-initial-tests --no-interaction --no-progress --coverage=build/logs \
6762
--ignore-msi-with-no-mutations \
6863
--filter=$CHANGED_FILES
6964
env:
@@ -72,6 +67,6 @@ jobs:
7267
- name: Infection
7368
if: ${{ github.base_ref == '' }}
7469
run: |
75-
./build/tools/infection -j$(nproc) --skip-initial-tests --no-interaction --no-progress --coverage=build/logs
70+
infection -j$(nproc) --skip-initial-tests --no-interaction --no-progress --coverage=build/logs
7671
env:
7772
INFECTION_BADGE_API_KEY: ${{ secrets.INFECTION_BADGE_API_KEY }}

0 commit comments

Comments
 (0)