Merge pull request micropython#5473 from microDev1/patch

jepler · web-flow · commit 9dea5ec7248a · 2021-10-25T16:54:27.000-05:00
Allow any character except / in port or board name
diff --git a/tools/ci_set_matrix.py b/tools/ci_set_matrix.py
@@ -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)
