Stop running stale CI: GitHub Actions concurrency groups and cancel-in-progress, explained

You push three commits to a pull request and get three full CI runs, and the first two are checking code you've already replaced. GitHub Actions' concurrency key lets a newer run cancel the older ones