Add CI workflow auto-cancelation for irrelevant commits, which still run

[MaxGraey]

Github Actions already provide built-in mechanics for this:
https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#concurrency

[tlively]

This was just landed: #7269