|
|
@ -68,8 +68,8 @@ Coverity:
|
|
|
|
- linux
|
|
|
|
- linux
|
|
|
|
image: ubuntu:20.04
|
|
|
|
image: ubuntu:20.04
|
|
|
|
stage: build
|
|
|
|
stage: build
|
|
|
|
rules:
|
|
|
|
# rules:
|
|
|
|
- if: $CI_PIPELINE_SOURCE == "schedule"
|
|
|
|
# - if: $CI_PIPELINE_SOURCE == "schedule"
|
|
|
|
cache:
|
|
|
|
cache:
|
|
|
|
key: Coverity.ubuntu_20.04.v1
|
|
|
|
key: Coverity.ubuntu_20.04.v1
|
|
|
|
paths:
|
|
|
|
paths:
|
|
|
|