diff options
author | elsid <elsid.mail@gmail.com> | 2022-08-08 22:04:56 +0200 |
---|---|---|
committer | elsid <elsid.mail@gmail.com> | 2022-08-08 22:04:56 +0200 |
commit | 4a2be64e920081780b846655cf269e21883a7adf (patch) | |
tree | 188ee103bf72d688ca62e47e36c9bbe07d545966 | |
parent | 00112aec77a3d1ac0364199418297c9490a4d549 (diff) |
Debug coveritycheck_span
-rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 1cf1e5e1f2..03d7f89c54 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -68,8 +68,8 @@ Coverity: - linux image: ubuntu:20.04 stage: build - rules: - - if: $CI_PIPELINE_SOURCE == "schedule" +# rules: +# - if: $CI_PIPELINE_SOURCE == "schedule" cache: key: Coverity.ubuntu_20.04.v1 paths: |