tidb-verify-profile
Installation
SKILL.md
TiDB Verification Profiles
Overview
Use this skill to decide how much local validation to run before and after code changes.
Policy requirements still come from AGENTS.md; this skill is the execution guide.
Profiles
WIP (coding loop)
Use while still iterating and not claiming the task is complete.
- Run only the smallest scoped checks that validate the changed behavior.
- Prefer targeted unit tests (
go test -run <TestName> -tags=intest,deadlock). - Avoid slow sweeps by default (
make lint, package-wide runs,realtikvtest).