chore: split pre-pr quality gate (#3807)

This commit is contained in:
Zhengchao An
2026-06-24 08:43:05 +08:00
committed by GitHub
parent 5b6c486b13
commit 17ae335313
3 changed files with 15 additions and 4 deletions
+7
View File
@@ -67,6 +67,13 @@ Convert changes into independently verifiable outcomes. Prefer focused tests for
For code changes, run and pass the following before opening a PR:
```bash
make pre-pr
```
Before committing code changes, prefer focused verification for the touched
surface and use the faster local gate when a broad smoke check is needed:
```bash
make pre-commit
```