diff options
author | elsid <elsid.mail@gmail.com> | 2022-08-08 21:56:14 +0200 |
---|---|---|
committer | elsid <elsid.mail@gmail.com> | 2022-08-08 21:56:14 +0200 |
commit | 3d322a6b2d961f78bdb628999f7b9e74388263df (patch) | |
tree | a5d8f6088f6730740f0985ad0a95f944e8fac1ab | |
parent | 9c8e20a1eb84f32805ee5dfb06bca320a12930f9 (diff) |
Debug coverityconcepts_and_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: |