diff --git a/.github/workflows/boards_build.yml b/.github/workflows/boards_build.yml index 5c19e931c1374e1d18a128a9e922f87724174549..185c4f0d6b060776f109c600886219eb35f4d78a 100644 --- a/.github/workflows/boards_build.yml +++ b/.github/workflows/boards_build.yml @@ -2,14 +2,8 @@ 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: