See if this fixes CI by naively swapping 'pages' with 'nav'.

This commit is contained in:
Sebastian Thiel
2022-09-25 08:32:27 +08:00
parent 7c045d7a25
commit fedf48445f

View File

@@ -14,7 +14,7 @@ repo_url: ${util.github_source_root_url()}
docs_dir: ${mkdocs.docs_dir}
site_dir: ${mkdocs.site_dir}
pages:
nav:
- ['index.md', 'Home']
% for resource in sorted(c.rta_map.keys()):
% for method in sorted(c.rta_map[resource]):