From 5066a441321f233748694525b0eafe6cbd3b512e Mon Sep 17 00:00:00 2001
From: vit9696 <vit9696@users.noreply.github.com>
Date: Sun, 29 Nov 2020 16:57:32 +0300
Subject: [PATCH] Disable coverity for pull requests

---
 .github/workflows/main.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 487dabb..cb84dfa 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -141,6 +141,7 @@ jobs:
     env:
       PROJECT_TYPE: TOOL
       JOB_TYPE: COVERITY
+    if: github.event_name != 'pull_request'
     name: Analyze Coverity
     runs-on: macos-10.15
     steps: