djsundog
/
circuitpython
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge remote-tracking branch 'origin/main'

This commit is contained in:
Hosted Weblate 2021-10-25 23:54:32 +02:00
parent e0460e03e0 9dea5ec724
commit 67794e0b9d
No known key found for this signature in database
GPG Key ID: A3FAAA06E6569B4C
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tools/ci_set_matrix.py
View File

@ -62,8 +62,8 @@ def set_boards_to_build(build_all):
if not build_all:
boards_to_build = set()
board_pattern = re.compile(r"^ports\/\w+\/boards\/(\w+)\/")
port_pattern = re.compile(r"^ports\/(\w+)\/")
board_pattern = re.compile(r"^ports\/[^/]+\/boards\/([^/]+)\/")
port_pattern = re.compile(r"^ports\/([^/]+)\/")
for p in changed_files:
# See if it is board specific
board_matches = board_pattern.search(p)