fix(CI): make tools build able to run on PRs again (#20831)

This commit is contained in:
sudlud 2024-12-04 07:53:48 +01:00 committed by GitHub
parent 7f0a178c4e
commit 63bf4058fc
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -4,6 +4,11 @@ on:
branches:
- 'master'
pull_request:
types:
- labeled
- opened
- reopened
- synchronize
concurrency:
group: ${{ github.head_ref }} || concat(${{ github.ref }}, ${{ github.workflow }})