Disable Coverity

ARM-software · Nov 7, 2023 · b81ab71 · b81ab71
1 parent aea1081
commit b81ab71
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/jenkins/release.Jenkinsfile b/jenkins/release.Jenkinsfile
@@ -30,6 +30,9 @@ pipeline {
       parallel {
         /* Run static analysis on Linux */
         stage('Coverity') {
+          when {
+            expression { false }
+          }
           agent {
             kubernetes {
               yaml '''