diff options
| author | Petr Štetiar <ynezz@true.cz> | 2023-05-23 14:27:05 +0200 |
|---|---|---|
| committer | Petr Štetiar <ynezz@true.cz> | 2023-05-23 21:41:44 +0200 |
| commit | 7d226e13e249f72ec8154cf8974ecbf1696ed7e2 (patch) | |
| tree | 46674532beecd74b02187fb1d5d237f66ca7cf72 /.github | |
| parent | 56ffc5a86676b105e806734e722f581f8ccb2a2a (diff) | |
| download | upstream-7d226e13e249f72ec8154cf8974ecbf1696ed7e2.tar.gz upstream-7d226e13e249f72ec8154cf8974ecbf1696ed7e2.tar.bz2 upstream-7d226e13e249f72ec8154cf8974ecbf1696ed7e2.zip | |
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)
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/tools.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/tools.yml b/.github/workflows/tools.yml index b9d712c2a6..76ebdc664b 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' |