diff --git a/.gitlab/coverity.yml b/.gitlab/coverity.yml index b39285ec12..c4186aa3cd 100644 --- a/.gitlab/coverity.yml +++ b/.gitlab/coverity.yml @@ -16,6 +16,7 @@ include: BRIDGE_COVERITY_CONNECT_USER_PASSWORD: $COVERITY_PASSPHRASE BRIDGE_GITLAB_USER_TOKEN: $GITLAB_API_KEY_EXTERNAL BRIDGE_COVERITY_LOCAL: true + BRIDGE_COVERITY_CLEAN_COMMAND: make clean # INCLUDE_DIAGNOSTICS: 'true' rules: - if: ($CI_COMMIT_REF_NAME =~ $SCAN_BRANCHES && $CI_PIPELINE_SOURCE != 'merge_request_event') @@ -23,6 +24,7 @@ include: BRIDGE_COVERITY_CONNECT_POLICY_VIEW: Outstanding Issues - if: ($CI_MERGE_REQUEST_TARGET_BRANCH_NAME =~ $SCAN_BRANCHES && $CI_PIPELINE_SOURCE == 'merge_request_event') before_script: + - export BRIDGE_COVERITY_BUILD_COMMAND="make -j $(nproc)" - apt-get -qq update && apt-get install -y curl file unzip - touch .build_failed - mkdir -p logs diff --git a/coverity.yml b/coverity.yml deleted file mode 100644 index 9841ff05c6..0000000000 --- a/coverity.yml +++ /dev/null @@ -1,4 +0,0 @@ -capture: - build: - clean-command: make clean - build-command: make -j16