diff options
| author | Yehonal <yehonal.azeroth@gmail.com> | 2020-05-07 10:34:40 +0200 |
|---|---|---|
| committer | Yehonal <yehonal.azeroth@gmail.com> | 2020-05-07 10:35:19 +0200 |
| commit | 4266d1f764ca4036e114826b6851a7d01121783c (patch) | |
| tree | fd2054dcc23575f28d2ea7d7f2faaa2210d39615 /.github | |
| parent | 9ca9194d9b7d961e6464b04f840219ba9c1c389a (diff) | |
fix(CI): core_build on coverity_scan is not needed
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/core_build.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/workflows/core_build.yml b/.github/workflows/core_build.yml index e2a5085740..cad1df409e 100644 --- a/.github/workflows/core_build.yml +++ b/.github/workflows/core_build.yml @@ -1,6 +1,9 @@ name: core-build on: push: + branches: + - '**' # matches every branch + - '!coverity_scan' # excludes coverity_scan pull_request: jobs: |