From b56774dd09224b6aa8513e24cdb7634be297a88e Mon Sep 17 00:00:00 2001
From: Francesco Chemolli <5175948+kinkie@users.noreply.github.com>
Date: Tue, 31 Dec 2024 23:18:39 +0000
Subject: [PATCH] CI: Add workflow_dispatch to workflows that still lack it
 (#1976)

Manually triggering a workflow rerun is handy when troubleshooting. Our
coverity-scan.yaml workflow already has a workflow_dispatch trigger.
---
 .github/workflows/quick.yaml | 3 +++
 .github/workflows/slow.yaml  | 3 +++
 2 files changed, 6 insertions(+)

diff --git a/.github/workflows/quick.yaml b/.github/workflows/quick.yaml
index aad03461d4..2383244752 100644
--- a/.github/workflows/quick.yaml
+++ b/.github/workflows/quick.yaml
@@ -16,6 +16,9 @@ on:
     # test PRs targeting this branch code
     branches: [ "master" ]
 
+  # allows to run this workflow manually from the Actions tab
+  workflow_dispatch:
+
 concurrency:
   # Cancel ongoing tests in case of push to the same PR or staging branch,
   # but let previous master commit tests complete.
diff --git a/.github/workflows/slow.yaml b/.github/workflows/slow.yaml
index 728445b656..4b72314050 100644
--- a/.github/workflows/slow.yaml
+++ b/.github/workflows/slow.yaml
@@ -14,6 +14,9 @@ on:
   push:
     branches: [ "auto" ]
 
+  # allows to run this workflow manually from the Actions tab
+  workflow_dispatch:
+
 concurrency:
   # Cancel ongoing tests in case of push to staging branch.
   group: ${{ github.workflow }}-${{ github.ref }}
-- 
2.47.2