From: Oto Šťáva Date: Wed, 15 May 2024 15:07:34 +0000 (+0200) Subject: .gitlab-ci: use Coverity Scan to analyze the manager as well X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fheads%2Fcoverity-manager;p=thirdparty%2Fknot-resolver.git .gitlab-ci: use Coverity Scan to analyze the manager as well --- diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index f86908d72..671d6023f 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -279,7 +279,10 @@ lint:coverity: - coverity@knot/knot-resolver script: - meson build_ci_cov --prefix=$PREFIX - - /opt/cov-analysis/bin/cov-build --dir cov-int ninja -C build_ci_cov + - /opt/cov-analysis/bin/cov-build + --dir cov-int + --fs-capture-search ./manager + ninja -C build_ci_cov - 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="knot-resolver@labs.nic.cz"