cancel-in-progress is gated to pull_request events so merge_group and push runs always complete — only redundant CI from rapid PR pushes gets cancelled.
cancel-in-progress is gated to pull_request events so merge_group and push runs always complete — only redundant CI from rapid PR pushes gets cancelled.