.github: allow running coverity scan on workflow dispatch

[skip ci] Signed-off-by: Joachim Wiberg <troglobit@gmail.com>
2026-10-01 05:22:48 +07:00 · 2025-02-23 12:35:48 +01:00
parent b022916758
commit 617609cbc5
1 changed files with 1 additions and 0 deletions
@@ -4,6 +4,7 @@ on:
  push:
    branches:
      - 'dev'
+  workflow_dispatch:

 env:
  PROJECT_NAME: finit