ci: tools: run the job on changes in include directory as well
authorPetr Štetiar <ynezz@true.cz>
Tue, 23 May 2023 12:27:05 +0000 (14:27 +0200)
committerPetr Štetiar <ynezz@true.cz>
Tue, 23 May 2023 15:49:57 +0000 (17:49 +0200)
commit71ca2a31546d5f14faac03838bf700cf22f85215
treea10acc88c295983ebee04987bff369336fd1c666
parent7855378fcd7ed7cb0a223238a99bac0b8e46c380
ci: tools: run the job on changes in include directory as well

In order to prevent regressions like with #12617.

Signed-off-by: Petr Štetiar <ynezz@true.cz>
.github/workflows/tools.yml