Skip to content

ci: shared repo tooling, pyright baseline, coverage floor - #20

Merged
alexeybe1kin merged 4 commits into
mainfrom
chore/repo-tooling
Nov 12, 2026
Merged

alexeybe1kin merged 4 commits into
mainfrom
chore/repo-tooling

Conversation

@alexeybe1kin

Copy link
Copy Markdown
Collaborator

Lane C items 1-3 (context/briefs/queue-2026-11-12.md). No behaviour change.

  • Same in every Conker repo: .editorconfig, .pre-commit-config.yaml (local hooks running the CI checks with the pinned tools), .github/CODEOWNERS, renovate.json (weekly grouped minor/patch, majors one by one, 7-day release age, no automerge; needs the Renovate GitHub app on the org to act).
  • ruff format: adopted: one style-only commit, 11 files.
  • Types: pyright 1.1.414 basic mode (pyrightconfig.json, Linux platform) via check_types.py: 4 errors; 3 fixed by annotating _invalid as NoReturn (it always raises), 1 baselined. Per-file counts in type-baseline.txt may only go down (same pattern as the file-size allowlist).
  • Coverage: pytest --cov --cov-fail-under=93 (measured locally on the full suite, rounded down; .coveragerc).

Local evidence in the session; CI is the gate.

ruff format is AST-checked: the tree before and after is the same. CI now runs
ruff format --check, as Pi does.
- .editorconfig, .pre-commit-config.yaml (the CI checks, same pins), CODEOWNERS and a
  renovate.json (weekly grouped minor/patch, majors one by one, 7-day release age, no
  automerge), the same in every Conker repository.
- pyright basic mode (pyrightconfig.json) in CI through scripts/check_types.py: errors that
  existed when it arrived are counted per file in type-baseline.txt and may only go down.
- pytest --cov with a floor at the measured coverage, rounded down (.coveragerc).
@alexeybe1kin
alexeybe1kin merged commit 093ffad into main Nov 12, 2026
3 checks passed
@alexeybe1kin
alexeybe1kin deleted the chore/repo-tooling branch November 12, 2026 19:25
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