aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarc-André Lureau <marcandre.lureau@gmail.com>2020-08-31 08:01:45 +0000
committerMarc-André Lureau <marcandre.lureau@gmail.com>2020-08-31 08:01:45 +0000
commit2fc963326df7d39a83ea768416329a27b9fd6e1c (patch)
treeac5607a117c0e7e50fe98969ba80c7a5519e16be
parentc4c62b0d720268808f8eeb9b38d70b1582295c04 (diff)
parent39f9a363eec082f04513413046321abd04163148 (diff)
downloadslirp-2fc963326df7d39a83ea768416329a27b9fd6e1c.zip
slirp-2fc963326df7d39a83ea768416329a27b9fd6e1c.tar.gz
slirp-2fc963326df7d39a83ea768416329a27b9fd6e1c.tar.bz2
Merge branch 'coverity' into 'master'
.gitlab-ci: add a Coverity stage See merge request slirp/libslirp!51
-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 "