Disable Coverity

solidpixel · solidpixel · commit b81ab710d281 · 2023-11-07T11:11:50.000Z
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 '''
