gian/phpmyadmin
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge branch 'QA_5_2'

Browse Source 
Signed-off-by: William Desportes <williamdes@wdes.fr>
This commit is contained in:
William Desportes 2023-01-12 14:35:51 +04:00
commit 4f9e2f8a6c
No known key found for this signature in database
GPG Key ID: 90A0EF1B8251A889
1 changed files with 3 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
.github/workflows/mutation-tests.yml vendored
View File

@ -43,11 +43,7 @@ jobs:
php-version: ${{ matrix.php-version }}
coverage: pcov
ini-values: memory_limit=-1
tools: composer:v2, phive
- name: Install Infection
# The GPG key can be found at https://infection.github.io/guide/installation.html
run: phive --no-progress install --target ./build/tools --trust-gpg-keys C5095986493B4AA0 infection
tools: composer:v2, infection
- name: Install Composer dependencies
uses: ramsey/composer-install@v2
@ -61,7 +57,7 @@ jobs:
if: github.event_name == 'pull_request'
run: |
git fetch --depth=1 origin $GITHUB_BASE_REF
./build/tools/infection -j$(nproc) --git-diff-lines --git-diff-base=origin/$GITHUB_BASE_REF \
infection -j$(nproc) --git-diff-lines --git-diff-base=origin/$GITHUB_BASE_REF \
--logger-github --ignore-msi-with-no-mutations --only-covered \
--skip-initial-tests --coverage=build/logs --no-interaction --no-progress
@ -69,4 +65,4 @@ jobs:
if: github.event_name == 'push'
env:
INFECTION_BADGE_API_KEY: ${{ secrets.INFECTION_BADGE_API_KEY }}
run: ./build/tools/infection -j$(nproc) --skip-initial-tests --coverage=build/logs --no-interaction --no-progress
run: infection -j$(nproc) --skip-initial-tests --coverage=build/logs --no-interaction --no-progress