PR metadata edits can cancel same-commit CI runs
In GitHub Actions, a workflow that subscribes to pull_request edited events and uses a per-PR concurrency group with cancel-in-progress can cancel an active validation run when only the PR description changes. The replacement run may validate exactly the same commit, so an unchan…