use uv to run coverage

Author: snopoke

.github/workflows/coverage.yml

@@ -19,12 +19,12 @@ jobs:
         uv sync --locked --dev
     - name: Run coverage
       run: |
-        coverage run -m pytest
+        uv run coverage run -m pytest
         # .coverage.* files are ignored by git
-        coverage report -m | tee .coverage.out
+        uv run coverage report -m | tee .coverage.out
         percent=$(grep -E '^TOTAL\s.+\s[0-9]{1,3}%$' .coverage.out \
                   | awk '{gsub("%$", "", $NF); print($NF)}')
-        python scripts/make-coverage-badge.py -o .coverage.svg "$percent"
+        uv run scripts/make-coverage-badge.py -o .coverage.svg "$percent"
     - name: Update coverage badge
       env:
         COVERAGE_BADGE_BRANCH: coverage-badge