ignore .devcontainer/*
This commit is contained in:
parent
2a1bb72797
commit
f97925c66c
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user