diff --git a/mkdocs.yml b/mkdocs.yml
index a90ca9c236..0cfa65fb6b 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -89,6 +89,7 @@ nav:
       - Overview: workflow/overview.md
       - Getting Started: workflow/getting_started.md
       - Development: workflow/development.md
+      - Automated Checks: workflow/checks.md
       - Competition: workflow/competition.md
       - Engineering: workflow/engineering.md
       - GitHub Webhooks: workflow/github_webhooks.md