From dec802a73b726ef3cee60b4aef0c7dd79964b5b2 Mon Sep 17 00:00:00 2001 From: Jeff Epler Date: Sun, 13 Nov 2022 13:26:35 -0600 Subject: [PATCH] build docs when .github/workflows changes Closes: #7205 --- tools/ci_set_matrix.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/ci_set_matrix.py b/tools/ci_set_matrix.py index f22840fad7..2629942383 100755 --- a/tools/ci_set_matrix.py +++ b/tools/ci_set_matrix.py @@ -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):