From aa95791ea352fc6a6a7476c0c266719af677bd59 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 | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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