From 60ffff0168e05679161da7d44b6e8a3526c7901a Mon Sep 17 00:00:00 2001 From: Marius Ciepluch <11855163+norandom@users.noreply.github.com> Date: Mon, 12 Oct 2026 14:52:42 +0200 Subject: [PATCH] fix(docs): add the two orphaned pages to mkdocs nav `pre-push-for-developers.md` and `use-case-fix-and-reverify.md` (authored 2026-10-07) were in docs/ but absent from nav, so `mkdocs build --strict` errored and test_docs_site::test_site_builds_strictly failed. File both under "Using it", restoring the strict build. Co-Authored-By: Claude Opus 4.8 --- mkdocs.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/mkdocs.yml b/mkdocs.yml index 0c1d08a..bf459c0 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -62,6 +62,8 @@ nav: - Token ergonomics: token-ergonomics.md - Evaluation: evaluation.md - Using it: + - Pre-push security for developers: pre-push-for-developers.md + - 'Use case: catch, prove, fix, re-verify': use-case-fix-and-reverify.md - Examples: examples.md - Threat model: threat-model.md - Operations (maintainers):