diff --git a/mkdocs.yml b/mkdocs.yml index aa46a4aafa3..84d88cd8272 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -38,8 +38,6 @@ nav: - Configuring your development environment: "dev/env.md" - Configuring img2mml: "dev/eqn2mml.md" - Building documentation: "dev/docs.md" - - Test coverage reports: "coverage/index.md" - - Code2fn coverage reports: "coverage/code2fn_coverage/report.html" - Building docker images: "dev/docker.md" - Publishing an incremental release: "dev/creating-an-incremental-release.md" - Adding a new model: "dev/adding_new_model.md" @@ -47,6 +45,11 @@ nav: - Generating code2fn model coverage reports: "dev/generating_code2fn_model_coverage.md" - Using code ingestion frontends: "dev/using_code_ingestion_frontends.md" - Using tree-sitter preprocessor: "dev/using_tree_sitter_preprocessor.md" + - Coverage: + - Code2fn coverage reports: "coverage/code2fn_coverage/report.html" + - TA1 Integration Dashboard: "https://integration-dashboard.terarium.ai/TA1" + - Test coverage reports: "coverage/index.md" + #- Getting Started: getting-started.md # - User Guide: # - Installation: install.md