Cancel the previous run when a new push arrives
Five pushes to a branch in five minutes queue five CI runs, and only the last one matters.
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: trueOne group per branch per workflow. Leave it off for deploy workflows, where cancelling halfway is worse than waiting.
ci