Merge branch 'main' into ci/168-helm-chart-ci-gate

2026-09-18 12:55:28 +00:00
parent 70de3d0a4d 17f1f2f809
commit 421597851a
5 changed files with 68 additions and 2 deletions
@@ -64,6 +64,9 @@ frontend:
 ## lint: verify formatting (no changes)
 lint:
 	dotnet format $(SLN) --verify-no-changes
+	# Only pages in mkdocs.yml's nav are published, and mkdocs keeps a build green
+	# when one is missing — so the nav is checked here rather than not at all.
+	python3 infra/check-docs-nav.py

 ## build: release build
 build: