8000
We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents dbd8d32 + 868a983 commit 5a2eb22Copy full SHA for 5a2eb22
tools/ci_set_matrix.py
@@ -58,6 +58,9 @@
58
"tools/ci_check_duplicate_usb_vid_pid.py",
59
]
60
61
+# Files in these directories never influence board builds
62
+IGNORE_DIRS = ["tests", "docs", ".devcontainer"]
63
+
64
if len(sys.argv) > 1:
65
print("Using files list on commandline")
66
changed_files = sys.argv[1:]
@@ -149,8 +152,7 @@ def get_settings(board):
149
152
if p in IGNORE:
150
153
continue
151
154
- # Boards don't run tests or docs so ignore those as well.
- if p.startswith("tests") or p.startswith("docs"):
155
+ if any([p.startswith(d) for d in IGNORE_DIRS]):
156
157
158
# As a (nearly) last resort, for some certain files, we compute the settings from the
0 commit comments