Skip to content

Commit 4f9e2f8

Browse files
committed
Merge branch 'QA_5_2'
Signed-off-by: William Desportes <williamdes@wdes.fr>
2 parents 07bfdd4 + f7d9321 commit 4f9e2f8

1 file changed

Lines changed: 3 additions & 7 deletions

File tree

.github/workflows/mutation-tests.yml

Lines changed: 3 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -43,11 +43,7 @@ jobs:
4343
php-version: ${{ matrix.php-version }}
4444
coverage: pcov
4545
ini-values: memory_limit=-1
46-
tools: composer:v2, phive
47-
48-
- name: Install Infection
49-
# The GPG key can be found at https://infection.github.io/guide/installation.html
50-
run: phive --no-progress install --target ./build/tools --trust-gpg-keys C5095986493B4AA0 infection
46+
tools: composer:v2, infection
5147

5248
- name: Install Composer dependencies
5349
uses: ramsey/composer-install@v2
@@ -61,12 +57,12 @@ jobs:
6157
if: github.event_name == 'pull_request'
6258
run: |
6359
git fetch --depth=1 origin $GITHUB_BASE_REF
64-
./build/tools/infection -j$(nproc) --git-diff-lines --git-diff-base=origin/$GITHUB_BASE_REF \
60+
infection -j$(nproc) --git-diff-lines --git-diff-base=origin/$GITHUB_BASE_REF \
6561
--logger-github --ignore-msi-with-no-mutations --only-covered \
6662
--skip-initial-tests --coverage=build/logs --no-interaction --no-progress
6763
6864
- name: Run Infection
6965
if: github.event_name == 'push'
7066
env:
7167
INFECTION_BADGE_API_KEY: ${{ secrets.INFECTION_BADGE_API_KEY }}
72-
run: ./build/tools/infection -j$(nproc) --skip-initial-tests --coverage=build/logs --no-interaction --no-progress
68+
run: infection -j$(nproc) --skip-initial-tests --coverage=build/logs --no-interaction --no-progress

0 commit comments

Comments
 (0)