From 0d6a9eb5310468bd84d7edc6793fd1c5c62b3297 Mon Sep 17 00:00:00 2001 From: arpan Date: Tue, 15 Sep 2026 06:08:56 +0530 Subject: [PATCH] The deleted pages were still in the navigation #43 removed `protect-my-agent.mdx` and `risk-check.mdx`, cleaned the navbar and added redirects, and left both in `docs.json`'s `navigation`. The site rebuilt with two sidebar entries pointing at pages that no longer exist. Nothing caught it. `links.py` reads Markdown links in page bodies and the `check` job validates the schema, so a navigation entry naming a missing page is outside both. I found it by fetching the deployed home page and grepping for the words that were supposed to be gone, which is the only check that was ever going to see it. Signed-off-by: arpan --- docs.json | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/docs.json b/docs.json index 215a0fc..aa438b0 100644 --- a/docs.json +++ b/docs.json @@ -41,9 +41,7 @@ "tab": "CTRLRun", "pages": [ "index", - "execution-boundary", - "risk-check", - "protect-my-agent" + "execution-boundary" ] }, {