From 46333f4940fba2734702082f919542754b4f001c Mon Sep 17 00:00:00 2001
From: Simo Sorce <simo@redhat.com>
Date: Mon, 25 Mar 2024 08:47:52 -0400
Subject: [PATCH] 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 <simo@redhat.com>
---
 .github/workflows/coverity-scan.yml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/coverity-scan.yml b/.github/workflows/coverity-scan.yml
index 521487f5..e8c089ef 100644
--- 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