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