chore: harden repository quality gates

2026-08-03 14:17:46 +00:00 · 2026-05-02 03:55:45 +08:00
parent 16082ce4e1
commit 86e9f057df
13 changed files with 208 additions and 45 deletions
@@ -24,6 +24,8 @@ jobs:
      run: npm install -g markdownlint-cli
    - name: Run markdownlint
      run: markdownlint --config .github/lint_config.json --ignore .history --ignore tools/external --ignore scripts/backups/gz '**/*.md'
+    - name: Check local markdown links
+      run: python3 scripts/check-local-links.py

  link-checker:
    runs-on: ubuntu-latest