Also trigger the CI workflows for PRs when new commits are added.

This commit is contained in:
Yamagi 2024-08-12 15:43:40 +02:00
parent 8cb26f6f8e
commit 679c2d5509
3 changed files with 6 additions and 3 deletions

View file

@ -6,8 +6,9 @@ on:
- 'master' - 'master'
pull_request: pull_request:
types: types:
- opened
- edited - edited
- opened
- synchronize
concurrency: concurrency:
# Cancel concurrent workflows for the same PR or commit hash. # Cancel concurrent workflows for the same PR or commit hash.
group: ${{github.workflow}}-${{github.event_name == 'pull_request' && github.head_ref || github.sha}} group: ${{github.workflow}}-${{github.event_name == 'pull_request' && github.head_ref || github.sha}}

View file

@ -6,8 +6,9 @@ on:
- 'master' - 'master'
pull_request: pull_request:
types: types:
- opened
- edited - edited
- opened
- synchronize
concurrency: concurrency:
# Cancel concurrent workflows for the same PR or commit hash. # Cancel concurrent workflows for the same PR or commit hash.
group: ${{github.workflow}}-${{github.event_name == 'pull_request' && github.head_ref || github.sha}} group: ${{github.workflow}}-${{github.event_name == 'pull_request' && github.head_ref || github.sha}}

View file

@ -6,8 +6,9 @@ on:
- 'master' - 'master'
pull_request: pull_request:
types: types:
- opened
- edited - edited
- opened
- synchronize
concurrency: concurrency:
# Cancel concurrent workflows for the same PR or commit hash. # Cancel concurrent workflows for the same PR or commit hash.
group: ${{github.workflow}}-${{github.event_name == 'pull_request' && github.head_ref || github.sha}} group: ${{github.workflow}}-${{github.event_name == 'pull_request' && github.head_ref || github.sha}}