diff --git a/.gitlab/coverity.yml b/.gitlab/coverity.yml index 714059b236..32794a9a86 100644 --- a/.gitlab/coverity.yml +++ b/.gitlab/coverity.yml @@ -18,7 +18,7 @@ include: BRIDGE_COVERITY_LOCAL: true BRIDGE_BREAK: false BRIDGE_COVERITY_CLEAN_COMMAND: make clean - # INCLUDE_DIAGNOSTICS: 'true' + INCLUDE_DIAGNOSTICS: $COVERITY_ENABLE_DIAGNOSTICS rules: - if: $CI_COMMIT_REF_PROTECTED && $CI_COMMIT_TAG variables: