diff --git a/.github/workflows/boards_build.yml b/.github/workflows/boards_build.yml index 61d1b5a4094c121ea66fd799e59e7e75cc6b1a53..5231b92797f5cfdcfeb7a79a1a6890c546786fd6 100644 --- a/.github/workflows/boards_build.yml +++ b/.github/workflows/boards_build.yml @@ -2,8 +2,14 @@ name: Build supported boards on: push: + paths: + - 'patches/tock/**' + - 'third_party/**' pull_request: types: [opened, synchronize, reopened] + paths: + - 'patches/tock/**' + - 'third_party/**' jobs: build_boards: