From 7d226e13e249f72ec8154cf8974ecbf1696ed7e2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Petr=20=C5=A0tetiar?= Date: Tue, 23 May 2023 14:27:05 +0200 Subject: [PATCH] ci: tools: run the job on changes in include directory as well MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit In order to prevent regressions like with #12617. Signed-off-by: Petr Štetiar (cherry picked from commit 71ca2a31546d5f14faac03838bf700cf22f85215) --- .github/workflows/tools.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/tools.yml b/.github/workflows/tools.yml index b9d712c2a69..76ebdc664b8 100644 --- a/.github/workflows/tools.yml +++ b/.github/workflows/tools.yml @@ -3,11 +3,13 @@ name: Build host tools on: pull_request: paths: + - 'include/**' - 'tools/**' - '.github/workflows/build-tools.yml' - '.github/workflows/tools.yml' push: paths: + - 'include/**' - 'tools/**' - '.github/workflows/build-tools.yml' - '.github/workflows/tools.yml'