From 8ff1f311ca783c1acf19e05cd378724977c0e4b5 Mon Sep 17 00:00:00 2001 From: GITHUB_USERNAME Date: Thu, 19 Dec 2024 16:43:38 -0400 Subject: [PATCH] add partial results to index --- mkdocs.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/mkdocs.yml b/mkdocs.yml index 9c87c4891..69633606a 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -122,6 +122,7 @@ nav: - ResultSection Class: developer_manual/services/advanced/result_section.md - Service manifest: developer_manual/services/advanced/service_manifest.md - Exceptions: developer_manual/services/advanced/exceptions.md + - developer_manual/services/advanced/partial_results.md - Infrastructure: developer_manual/core/infrastructure.md - Frontend: developer_manual/frontend/frontend.md - Documentation: developer_manual/docs/docs.md