From 7631a90dce37a212ee85590d569f4872edfc62a1 Mon Sep 17 00:00:00 2001 From: UncleRus Date: Tue, 6 Feb 2024 12:11:33 +0500 Subject: [PATCH] chore: fix devtool, add examples check --- devtools/devtool.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/devtools/devtool.py b/devtools/devtool.py index b17c6801..d0fd1404 100755 --- a/devtools/devtool.py +++ b/devtools/devtool.py @@ -161,7 +161,7 @@ def cmd_ci(self): diff = tuple(l.split('/') for l in diff.stdout.strip().replace('\r', '').split('\n')) dirs = set((l[0] for l in diff)) - changed_components = set((l[1] for l in diff if len(l) > 1 and l[0] == 'components')) + changed_components = set((l[1] for l in diff if len(l) > 1 and l[0] in ('components', 'examples'))) all_components = {c.name: c for c in self.iter_components()} components_to_build = set()