From a321fce234bfdac8c04c4fb62502d2b79d11805a Mon Sep 17 00:00:00 2001
From: banteg <4562643+banteg@users.noreply.github.com>
Date: Mon, 29 Dec 2025 18:09:41 +0400
Subject: [PATCH] chore: agents

---
 .codex/AGENTS.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.codex/AGENTS.md b/.codex/AGENTS.md
index cc8e5d4..3830f87 100644
--- a/.codex/AGENTS.md
+++ b/.codex/AGENTS.md
@@ -1,3 +1,3 @@
 after you finish work, commit with a conventional message. only commit the files you edited.
-run `make lint` and fix any errors before committing.
+run `make check` and fix any errors before committing.