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 71ca2a3154)
This commit is contained in:
Petr Štetiar 2023-05-23 14:27:05 +02:00
parent 56ffc5a866
commit 7d226e13e2
No known key found for this signature in database
GPG Key ID: 58EE120F30CC02D3

View File

@ -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'