docs: 切换 DevHarness 新工作流 (#315)
This commit is contained in:
@@ -173,6 +173,10 @@ ARCHIVE_HEADINGS = (
|
||||
"## 测试",
|
||||
"## 相关提交",
|
||||
)
|
||||
LOCAL_ONLY_MARKDOWN = {
|
||||
# 历史链接兼容入口;真正模板在 .gitea/issue_template/。
|
||||
"docs/templates/task.md",
|
||||
}
|
||||
|
||||
|
||||
def check_required_files(errors: list[str]) -> None:
|
||||
@@ -425,7 +429,7 @@ def check_wiki_mirrors(errors: list[str]) -> None:
|
||||
path.relative_to(ROOT).as_posix() for path in (ROOT / "docs").rglob("*.md")
|
||||
if path.parent != ROOT / "docs" / "task"
|
||||
}
|
||||
for path in sorted(actual_paths - mapped_paths):
|
||||
for path in sorted(actual_paths - mapped_paths - LOCAL_ONLY_MARKDOWN):
|
||||
errors.append(f"docs 中存在未登记的 Wiki 镜像:{path}")
|
||||
|
||||
for mapping in config.mappings:
|
||||
|
||||
Reference in New Issue
Block a user