Try to run Coverity Scan on demand

This way we can run the scan when the PR is still open and catch issues before merging. Signed-off-by: Simo Sorce <[email protected]>
latchset · Mar 25, 2024 · 46333f4 · 46333f4
1 parent f7d4da1
commit 46333f4
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/coverity-scan.yml b/.github/workflows/coverity-scan.yml
@@ -2,13 +2,15 @@
 name: Coverity Scan
 
 on:
-  push:
-    branches: ["main"]
+  pull_request:
+    types:
+      - labeled
   schedule:
     - cron: '41 3 * * 0'
 
 jobs:
   coverity:
+    if: github.event.label.name == 'covscan'
     name: Coverity Scan
     runs-on: ubuntu-22.04
     container: fedora:latest