.github: allow manual start of workflow

Signed-off-by: Joachim Wiberg <troglobit@gmail.com>
troglobit · Sep 29, 2024 · 1b548b7 · 1b548b7
1 parent 0b7bb20
commit 1b548b7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - 'dev'
+  workflow_dispatch:
 
 env:
   PROJECT_NAME: smcroute