From b81ab710d2815f432abae7046216bdf8c6f3e2d8 Mon Sep 17 00:00:00 2001
From: Peter Harris <peter.harris@arm.com>
Date: Tue, 7 Nov 2023 11:11:50 +0000
Subject: [PATCH] Disable Coverity

---
 jenkins/release.Jenkinsfile | 3 +++
 1 file changed, 3 insertions(+)

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 '''