diff options
Diffstat (limited to '.github/workflows/core-build-pch.yml')
| -rw-r--r-- | .github/workflows/core-build-pch.yml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.github/workflows/core-build-pch.yml b/.github/workflows/core-build-pch.yml index 4da23908a1..f6c989346d 100644 --- a/.github/workflows/core-build-pch.yml +++ b/.github/workflows/core-build-pch.yml @@ -4,7 +4,10 @@ on: branches: - 'master' pull_request: - types: ['opened', 'synchronize', 'reopened'] + types: + - opened + - reopened + - synchronize concurrency: group: ${{ github.head_ref }} || concat(${{ github.ref }}, ${{ github.workflow }}) |