chore(deps-dev): bump ovsx from 0.10.12 to 1.0.0 #54

	# Remove the per-PR coverage report directory from gh-pages when a PR closes.
	name: Cleanup Coverage Preview

	on:
	pull_request:
	types: [closed]

	# Serialize against any other workflow that mutates gh-pages (notably
	# cleanup_pwa_preview.yml fires on the same event) so concurrent pushes
	# don't fail with non-fast-forward errors.
	concurrency:
	group: gh-pages-mutation
	cancel-in-progress: false

	permissions:
	contents: write

	jobs:
	cleanup-coverage:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout gh-pages branch
	uses: actions/checkout@v6
	with:
	ref: gh-pages
	fetch-depth: 0

	- name: Remove PR coverage directory
	run: \|
	PR_DIR="coverage/pr-${{ github.event.pull_request.number }}"
	if [ ! -d "$PR_DIR" ]; then
	echo "Coverage directory $PR_DIR does not exist, nothing to clean up"
	exit 0
	fi
	git config user.name 'github-actions[bot]'
	git config user.email 'github-actions[bot]@users.noreply.github.com'
	# --ignore-unmatch tolerates the case where the directory exists in the
	# working tree but contains no tracked files (already removed in a prior run).
	git rm -rf --ignore-unmatch "$PR_DIR"
	if git diff --cached --quiet; then
	echo "Nothing staged for $PR_DIR (already untracked), skipping commit"
	else
	git commit -m "Remove coverage report for closed PR #${{ github.event.pull_request.number }}"
	git push
	echo "Removed coverage directory: $PR_DIR"
	fi

Provide feedback