Update AGENTS.md

Author: D3Hunter

AGENTS.md

@@ -28,7 +28,7 @@ This file provides guidance to agents working in this repository.
 | RealTiKV tests | MUST start playground in background, run tests, then clean up playground/data (see `docs/agents/testing-flow.md`). |
 | Bug fix | MUST add a regression test and verify it fails before fix and passes after fix. |
 | Fmt-only PR | MUST NOT run costly `realtikvtest`; local compilation is enough. |
-| Before finishing | SHOULD self-review diff quality before finishing. |
+ Before finishing | MUST run `make lint` if there are code changes. SHOULD self-review diff quality before finishing. |
 
 ### Skills