aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarc-André Lureau <marcandre.lureau@redhat.com>2020-08-18 10:31:41 +0400
committerMarc-André Lureau <marcandre.lureau@redhat.com>2020-08-18 22:00:50 +0400
commit39f9a363eec082f04513413046321abd04163148 (patch)
tree5fc528830e7f16ec43c87b2f9baa3e9d9a2f73e1
parenta4e41a7e1d6a3a1aab972b36f8a6cdf570bb82b7 (diff)
downloadslirp-39f9a363eec082f04513413046321abd04163148.zip
slirp-39f9a363eec082f04513413046321abd04163148.tar.gz
slirp-39f9a363eec082f04513413046321abd04163148.tar.bz2
.gitlab-ci: add a Coverity stage
Signed-off-by: Marc-André Lureau <marcandre.lureau@redhat.com>
-rw-r--r--.gitlab-ci.yml18
1 files changed, 18 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0615d0f..0521944 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -25,3 +25,21 @@ build-mingw64:
build-qemu:
script:
- make BUILD_DIR=build
+
+Coverity:
+ only:
+ refs:
+ - master
+ - coverity
+ script:
+ - dnf update -y
+ - dnf install -y make curl clang
+ - curl -o /tmp/cov-analysis-linux64.tgz https://scan.coverity.com/download/linux64
+ --form project=$COVERITY_SCAN_PROJECT_NAME --form token=$COVERITY_SCAN_TOKEN
+ - tar xfz /tmp/cov-analysis-linux64.tgz
+ - cov-analysis-linux64-*/bin/cov-build --dir cov-int make -j4 CC=clang
+ - tar cfz cov-int.tar.gz cov-int
+ - curl https://scan.coverity.com/builds?project=$COVERITY_SCAN_PROJECT_NAME
+ --form token=$COVERITY_SCAN_TOKEN --form email=$GITLAB_USER_EMAIL
+ --form file=@cov-int.tar.gz --form version="`git describe --tags`"
+ --form description="`git describe --tags` / $CI_COMMIT_TITLE / $CI_COMMIT_REF_NAME:$CI_PIPELINE_ID "