fix: run CI on PR branches with identical names (#569)

This commit is contained in:
Less/Rikki 2023-10-09 01:20:28 -04:00 committed by GitHub
parent 4a6abab453
commit aff36de66a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,7 +2,7 @@ name: CI
on: [ pull_request, push, workflow_dispatch ]
concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.ref }}
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
env: