Skip to content

Add local coverage tooling#19

Merged
dbroeglin merged 1 commit into
mainfrom
dbroeglin-coverage-tooling
Jun 21, 2026
Merged

Add local coverage tooling#19
dbroeglin merged 1 commit into
mainfrom
dbroeglin-coverage-tooling

Conversation

@dbroeglin

Copy link
Copy Markdown
Owner

Why

The repository already has pytest and CI quality checks, but it did not have a local-first way to analyze test coverage. This adds lightweight coverage reporting that stays in developer workflows and GitHub Actions without introducing a hosted coverage service.

Approach

  • Documents ADR-0018 choosing pytest-cov over coverage.py for local coverage analysis.
  • Adds pytest-cov to the dev dependency group and configures branch coverage scoped to copilot_experiments.
  • Updates CI to run pytest with coverage while keeping the pre-push hook on plain pytest for speed.
  • Documents the explicit local coverage command and ignores generated coverage artifacts.

There is intentionally no initial coverage threshold. The first run establishes a baseline, currently 73% total coverage, before deciding whether a gate is useful.

Validation

  • uv run ruff check --fix .
  • uv run ruff format .
  • uv run ruff check .
  • uv run pytest --cov=copilot_experiments --cov-report=term-missing:skip-covered

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@dbroeglin dbroeglin merged commit 34a8766 into main Jun 21, 2026
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant