diff --git a/.github/workflows/boards_build.yml b/.github/workflows/boards_build.yml index 185c4f0..ef71f42 100644 --- a/.github/workflows/boards_build.yml +++ b/.github/workflows/boards_build.yml @@ -2,6 +2,9 @@ name: Build supported boards on: push: + paths: + - 'patches/tock/*' + - 'third_party/tock/**' pull_request: types: [opened, synchronize, reopened]