We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent c303255 commit d8d7ccdCopy full SHA for d8d7ccd
contrib/jenkins_tests/cov.sh
@@ -4,7 +4,7 @@ source $(dirname $0)/globals.sh
4
5
do_check_filter "Checking for coverity ..." "on"
6
7
-do_module "tools/cov-latest"
+do_module "tools/cov-2020.06"
8
9
cd $WORKSPACE
10
@@ -71,7 +71,7 @@ fi
71
echo Coverity report: $cov_url
72
printf "%s\t%s\n" Coverity $cov_url >> jenkins_sidelinks.txt
73
74
-module unload "tools/cov-latest"
+module unload "tools/cov-2020.06"
75
76
do_archive "$( find ${cov_build}/output -type f -name "*.txt" -or -name "*.html" -or -name "*.xml" )"
77
0 commit comments