diff --git a/.github/workflows/tools.yml b/.github/workflows/tools.yml index 0fddda49ec3..2f3ca8eaf53 100644 --- a/.github/workflows/tools.yml +++ b/.github/workflows/tools.yml @@ -6,6 +6,9 @@ on: - 'tools/**' - '.github/workflows/tools.yml' pull_request: + paths: + - 'tools/**' + - '.github/workflows/tools.yml' repository_dispatch: types: [run_build] workflow_dispatch: {}