Merge of #10978

Author: mergify[bot]

.github/mergify.yml

@@ -8,24 +8,28 @@ priority_rules:
       - 'label=priority: high :fire:'
     priority: 3000
 
+    allow_checks_interruption: true
   - name: priority for queue `default`
     conditions:
       - queue-name=default
     priority: 2500
 
+    allow_checks_interruption: true
   - name: priority for queue `squash-merge`
     conditions:
       - queue-name=squash-merge
     priority: 2500
 
   # The idea is we slightly prioritize those PRs because we're in
   # a release cycle if a PR matches.
+    allow_checks_interruption: true
   - name: release branch
     conditions:
       - 'base~=^3\.'
       - 'label!=backport'
     priority: 2750
 
+    allow_checks_interruption: true
 pull_request_rules:
 
   # implementing PR delay logic: apply a label after 2 days of inactivity