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

Remove Infection cli option that skips initial tests

Browse Source 
Let the Infection collect the code coverage data.

Signed-off-by: Maurício Meneghini Fauth <mauricio@fauth.dev>
This commit is contained in:
Maurício Meneghini Fauth 2023-07-07 20:43:03 -03:00
parent 10ec8d898b
commit 1756956963
No known key found for this signature in database
GPG Key ID: 6A16FD38AFC89CC8
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

@ -60,22 +60,18 @@ jobs:
with:
dependency-versions: highest
- name: Collect coverage report
run: composer run phpunit -- --testsuite unit --stop-on-failure
- name: Run Infection for changed files only
if: github.event_name == 'push' || github.event_name == 'pull_request'
run: |
if [ "$GITHUB_EVENT_NAME" = "push" ]; then \
INFECTION_GIT_DIFF_BASE="origin/$GITHUB_REF_NAME^"; else \
INFECTION_GIT_DIFF_BASE="origin/$GITHUB_BASE_REF"; fi
infection -j$(nproc) --git-diff-lines --git-diff-base="$INFECTION_GIT_DIFF_BASE" \
--logger-github --ignore-msi-with-no-mutations --only-covered \
--skip-initial-tests --coverage=build/logs --no-interaction --no-progress
infection --threads=max --git-diff-lines --git-diff-base="$INFECTION_GIT_DIFF_BASE" \
--logger-github --ignore-msi-with-no-mutations --only-covered --no-interaction --no-progress
- name: Run Infection for all files
if: github.event_name == 'schedule'
timeout-minutes: 360
env:
INFECTION_BADGE_API_KEY: ${{ secrets.INFECTION_BADGE_API_KEY }}
run: infection -j$(nproc) --skip-initial-tests --coverage=build/logs --no-interaction --no-progress --only-covering-test-cases
run: infection --threads=max --no-interaction --no-progress --only-covering-test-cases