From 0ac3b5b992456f55dc887b71c408d0daf0f0d1da Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E5=AE=89=E6=AD=A3=E8=B6=85?= Date: Fri, 3 Apr 2026 22:51:29 +0800 Subject: [PATCH] docs: remind agents to clean build artifacts (#2387) --- AGENTS.md | 1 + 1 file changed, 1 insertion(+) diff --git a/AGENTS.md b/AGENTS.md index eb0310381..7b52de3e1 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -52,6 +52,7 @@ make pre-commit If `make` is unavailable, run the equivalent checks defined under `.config/make/`. Documentation-only or instruction-only changes are exempt from the verification commands above (including the `.config/make/` equivalents), though any installed git pre-commit hooks (for example, from `make setup-hooks`) may still run on commit unless explicitly skipped. +After build-based verification completes, clean generated build artifacts before wrapping up to avoid unnecessary disk usage. Do not open a PR with code changes when the required checks fail. ## Git and PR Baseline