CLI-1171: Home directory errors on Windows #1902

	name: Mutation Testing

	on:
	push:
	# Prevent duplicate jobs on Dependabot PRs that interfere with automerge.
	branches-ignore:
	- 'dependabot/**'
	pull_request:

	jobs:
	tests:
	runs-on: ubuntu-22.04

	name: Mutation Testing
	steps:
	- name: Checkout code
	uses: actions/checkout@v3

	- name: Setup PHP
	uses: shivammathur/setup-php@v2
	with:
	php-version: 8.0
	tools: composer:v2
	coverage: pcov

	- name: Install dependencies
	run: \|
	composer install --no-progress --no-suggest --no-interaction

	- name: Run Infection for added files only
	if: github.event_name == 'pull_request'
	run: \|
	git fetch --depth=1 origin $GITHUB_BASE_REF
	# Explicitly specify GitHub logger since our Stryker reporting will otherwise disable it.
	php vendor/bin/infection -j8 --git-diff-lines --git-diff-base=origin/$GITHUB_BASE_REF --logger-github --only-covered

	- name: Run Infection for all files
	if: github.event_name == 'push'
	env:
	INFECTION_DASHBOARD_API_KEY: ${{ secrets.INFECTION_DASHBOARD_API_KEY }}
	run: \|
	php vendor/bin/infection -j8 --only-covered

Provide feedback