diff --git a/jenkins/release.Jenkinsfile b/jenkins/release.Jenkinsfile
index 8b03d04e5..383a1e6f5 100644
--- 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 '''