From e4a04f32e321ae59b88703c6dee201be9587ae64 Mon Sep 17 00:00:00 2001 From: quotentiroler Date: Mon, 9 Feb 2026 13:58:41 -0800 Subject: [PATCH] docs: add ci.md to Contributing navigation --- docs/docs.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/docs.json b/docs/docs.json index 39c4306dbd..4a50c5d74b 100644 --- a/docs/docs.json +++ b/docs/docs.json @@ -1263,7 +1263,7 @@ }, { "group": "Contributing", - "pages": ["help/submitting-a-pr", "help/submitting-an-issue"] + "pages": ["help/submitting-a-pr", "help/submitting-an-issue", "ci"] }, { "group": "Docs meta",