diff --git a/.github/workflows/check_diffs.yml b/.github/workflows/check_diffs.yml index 61c921c03b9e4..8e3bdadff8861 100644 --- a/.github/workflows/check_diffs.yml +++ b/.github/workflows/check_diffs.yml @@ -5,6 +5,7 @@ on: push: branches: [master] pull_request: + merge_group: # If another push to the same PR or branch happens while this workflow is still running, # cancel the earlier run in favor of the next run.