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",