From f97925c66c20972c68e6eb96219342974eb2b62d Mon Sep 17 00:00:00 2001 From: Bernhard Bablok Date: Wed, 21 Dec 2022 13:27:23 +0100 Subject: [PATCH] ignore .devcontainer/* --- tools/ci_set_matrix.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/tools/ci_set_matrix.py b/tools/ci_set_matrix.py index 3ec3ba9b73..79ec5c7ace 100755 --- a/tools/ci_set_matrix.py +++ b/tools/ci_set_matrix.py @@ -58,6 +58,8 @@ IGNORE = [ "tools/ci_check_duplicate_usb_vid_pid.py", ] +IGNORE_DIRS = ["tests", "docs", ".devcontainer"] + if len(sys.argv) > 1: print("Using files list on commandline") changed_files = sys.argv[1:] @@ -150,7 +152,7 @@ def set_boards_to_build(build_all): continue # Boards don't run tests or docs so ignore those as well. - if p.startswith("tests") or p.startswith("docs"): + if any([p.startswith(d) for d in IGNORE_DIRS]): continue # As a (nearly) last resort, for some certain files, we compute the settings from the