escape . and / in regex

This commit is contained in:
MicroDev 2023-01-11 20:56:53 +05:30
parent ad4357d152
commit 4a9d934008
No known key found for this signature in database
GPG Key ID: 2C0867BE60967730

View File

@ -235,7 +235,7 @@ def set_docs_to_build(build_doc: bool):
build_doc = True
else:
doc_pattern = re.compile(
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))$"
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))$"
)
github_workspace = os.environ.get("GITHUB_WORKSPACE") or ""
github_workspace = github_workspace and github_workspace + "/"