changes in ports/unix don't trigger any board builds

2021-11-12 13:09:33 -06:00 · 2021-11-12 13:09:33 -06:00 · 6afe732151
commit 6afe732151
parent 167665f8b7
1 changed files with 2 additions and 1 deletions
--- a/tools/ci_set_matrix.py
+++ b/tools/ci_set_matrix.py
@ -76,7 +76,8 @@ def set_boards_to_build(build_all):
            port_matches = port_pattern.search(p)
            if port_matches:
                port = port_matches.group(1)
-                boards_to_build.update(port_to_boards[port])
+                if port != "unix":
+                    boards_to_build.update(port_to_boards[port])
                continue

            # Otherwise build it all