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 · aa95791 · aa95791
1 parent f7d4da1
commit aa95791
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/coverity-scan.yml b/.github/workflows/coverity-scan.yml
@@ -2,13 +2,14 @@
 name: Coverity Scan
 
 on:
-  push:
-    branches: ["main"]
+  pull_request:
+    type: [ labeled ]
   schedule:
     - cron: '41 3 * * 0'
 
 jobs:
   coverity:
+    if: ${{ contains(github.event.*.labels.*.name, 'covscan') }}
     name: Coverity Scan
     runs-on: ubuntu-22.04
     container: fedora:latest