Commit 3233f3dd authored by Simon Spannagel's avatar Simon Spannagel
Browse files

Merge branch 'b-coverity' into 'v3.0-stable' 

[v3.0-stable] Switch Coverity to CC9

See merge request allpix-squared/allpix-squared!1023
parents 3ae00976 a5f650dd

.gitlab-ci.yml

+4 −1
Original line number Diff line number Diff line
@@ -218,14 +218,17 @@ fmt:proselint: 
        - find . -name "*md" -not -path "./build/*" -print0 | xargs -0 proselint --config .proselint.json



fmt:coverity:

    image: gitlab-registry.cern.ch/sft/docker/centos9:latest

    extends: .format

    only:

        - schedules

    variables:

        COMPILER_TYPE: "gcc"

        SCHEDULE_TAG: "coverity"

    script:

        - wget --quiet https://scan.coverity.com/download/linux64 --post-data "token=$COVERITY_SCAN_TOKEN&project=$COVERITY_SCAN_PROJECT_NAME" -O /tmp/cov-analysis-linux64.tgz

        - wget https://scan.coverity.com/download/linux64 --post-data "token=$COVERITY_SCAN_TOKEN&project=$COVERITY_SCAN_PROJECT_NAME" -O /tmp/cov-analysis-linux64.tgz

        - tar xfz /tmp/cov-analysis-linux64.tgz

        - export CCACHE_DIR=`pwd`/ccache

        - cmake -DCMAKE_CXX_FLAGS="-Werror" -DBUILD_ALL_MODULES=ON -DCMAKE_BUILD_TYPE=RELEASE ..

        - cov-analysis-linux64-*/bin/cov-build --dir cov-int make

        - tar cfz cov-int.tar.gz cov-int