diff options
| author | Kitzunu <24550914+Kitzunu@users.noreply.github.com> | 2023-11-26 22:45:58 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-11-26 18:45:58 -0300 |
| commit | 18797430e415800ca10acaa253e232aae8b73385 (patch) | |
| tree | 2c15cfa7dac03fb1b22ecf268876322bc455f931 /.github | |
| parent | c9b42d6d6c7bb8c45239f587ba4aa2108a3ce4dc (diff) | |
Update core_modules_build.yml (#17872)
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/core_modules_build.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/core_modules_build.yml b/.github/workflows/core_modules_build.yml index a465e589f5..093e43fb42 100644 --- a/.github/workflows/core_modules_build.yml +++ b/.github/workflows/core_modules_build.yml @@ -28,6 +28,8 @@ jobs: && !github.event.pull_request.draft && ( github.ref == 'refs/heads/master' + || contains(github.event.pull_request.labels.*.name, 'file-cpp' + || github.event.label.name == 'file-cpp' || contains(github.event.pull_request.labels.*.name, 'run-build') || github.event.label.name == 'run-build') ) |