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 19:41:44 +0000 (21:41 +0200)
commit7d226e13e249f72ec8154cf8974ecbf1696ed7e2
tree46674532beecd74b02187fb1d5d237f66ca7cf72
parent56ffc5a86676b105e806734e722f581f8ccb2a2a
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>
(cherry picked from commit 71ca2a31546d5f14faac03838bf700cf22f85215)
.github/workflows/tools.yml