Adding concurrency to cancel current workflow if one commits on the same branch. (#424)

* Adding concurrency to cancel current workflow if one commits on the same branch.
This commit is contained in:
Jeremy B 2022-07-01 15:47:50 +02:00 committed by GitHub
parent 1ae6b71c5f
commit 066a96c0ae
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,4 +1,7 @@
name: Diff
concurrency:
group: ${{ github.head_ref }}
cancel-in-progress: true
on:
push: