docs: harden docs navigation gates

This commit is contained in:
tukuaiai
2026-05-03 22:21:18 +08:00
parent 75c82f6154
commit 7ab504b055
10 changed files with 166 additions and 13 deletions
+2
View File
@@ -26,6 +26,8 @@ jobs:
run: markdownlint --config .github/lint_config.json --ignore .history --ignore tools/external '**/*.md'
- name: Check local markdown links and anchors
run: python3 scripts/check-local-links.py
- name: Check markdown details and summaries
run: python3 scripts/check-markdown-details.py
link-checker:
runs-on: ubuntu-latest