chore: update concurrency to use PR number (#8853)

This commit is contained in:
Muhammad Atif Ali
2023-08-02 10:04:39 +03:00
committed by GitHub
parent 1472cce6c3
commit f48e8dcf88
+1 -1
View File
@@ -29,7 +29,7 @@ permissions:
pull-requests: write
concurrency:
group: ${{ github.workflow }}-${{ github.repository }}-${{ github.ref }}
group: ${{ github.workflow }}-PR-${{ (github.event.issue.number) || (github.event.inputs.pr_number) }}
cancel-in-progress: true
jobs: