From ed1ae0d636de340eeac3dd3f1797ed5f3e2eb0e6 Mon Sep 17 00:00:00 2001
From: imccyu <276526105+imccyu@users.noreply.github.com>
Date: Thu, 30 Jul 2026 00:12:03 +0800
Subject: [PATCH] fix: docs budget

---
 scripts/doc-budgets.manifest.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/doc-budgets.manifest.json b/scripts/doc-budgets.manifest.json
index 563dacde8b..0682f78640 100644
--- a/scripts/doc-budgets.manifest.json
+++ b/scripts/doc-budgets.manifest.json
@@ -1,5 +1,5 @@
 {
-  "AGENTS.md": 1750,
+  "AGENTS.md": 1755,
   "docs/AGENTS.md": 1150,
   "docs/architecture.md": 1920,
   "docs/cordis-primer.md": 600,