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.

diff --git a/.github/workflows/quick.yaml b/.github/workflows/quick.yaml
index aad03461d4a26379b463351c7521e8ad48d9c9b0..2383244752a1795d91220eadc48c79ec00ad011b 100644 (file)
--- 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 728445b65608fd47aabbf2ae791fa5cd09ba02a8..4b723140504512926f30375773c3abd566ca90d5 100644 (file)
--- 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 }}