Use Github Actions Concurrency Groups #1276
Description
https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#concurrency
This speeds up the ci by canceling pending jobs on repushes to PRs.
{{ message }}
https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#concurrency
This speeds up the ci by canceling pending jobs on repushes to PRs.