Merge pull request #1278 from bradh/coverity_ci_2024-08-21

ci: remove coverity from PR
strukturag · Aug 21, 2024 · 398c674 · 398c674
2 parents 9a82489 + e4a17fa
commit 398c674
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
@@ -2,9 +2,7 @@ name: coverity
 
 on:
   push:
-    branches: [ coverity ]
-  pull_request:
-    branches: [ master ]
+    branches: [ master, coverity ]
 
 jobs:
   scan: