build docs when .github/workflows changes

Closes: #7205
This commit is contained in:
Jeff Epler 2022-11-13 13:26:35 -06:00
parent b8f5def985
commit dec802a73b
No known key found for this signature in database
GPG Key ID: D5BF15AB975AB4DE

View File

@ -215,7 +215,7 @@ def set_docs_to_build(build_all):
doc_match = build_all
if not build_all:
doc_pattern = re.compile(
r"^(?:docs|extmod/ulab|(?:(?:ports/\w+/bindings|shared-bindings)\S+\.c|conf\.py|tools/extract_pyi\.py|requirements-doc\.txt)$)|(?:-stubs|\.(?:md|MD|rst|RST))$"
r"^(?:.github/workflows/|docs|extmod/ulab|(?:(?:ports/\w+/bindings|shared-bindings)\S+\.c|conf\.py|tools/extract_pyi\.py|requirements-doc\.txt)$)|(?:-stubs|\.(?:md|MD|rst|RST))$"
)
for p in changed_files:
if doc_pattern.search(p):