From 617609cbc5d9e1974d9e02accfae23bb29a05c74 Mon Sep 17 00:00:00 2001
From: Joachim Wiberg <troglobit@gmail.com>
Date: Sun, 23 Feb 2025 12:35:48 +0100
Subject: [PATCH] .github: allow running coverity scan on workflow dispatch

[skip ci]

Signed-off-by: Joachim Wiberg <troglobit@gmail.com>
---
 .github/workflows/coverity.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
index fe3c4a52..75e02296 100644
--- a/.github/workflows/coverity.yml
+++ b/.github/workflows/coverity.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - 'dev'
+  workflow_dispatch:
 
 env:
   PROJECT_NAME: finit