Add workflow_dispatch trigger to GHA workflows (GH-27873)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index ec3acf77563f7edf7ac9340657111849cdc93735..a11a368fd8311f0babf3b34693a4fbb53d80c351 100644 (file)
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -4,6 +4,7 @@ name: Tests
 # it prevents to mark a job as mandatory. A PR cannot be merged if a job is
 # mandatory but not scheduled because of "paths-ignore".
 on:
+  workflow_dispatch:
   push:
     branches:
     - 'main'

diff --git a/.github/workflows/build_msi.yml b/.github/workflows/build_msi.yml
index db5eaa17573f27e7e0679c6332f4ae7eb6edf8e5..476a0b1bc07385db7c6b62cee354e66a296fb591 100644 (file)
--- a/.github/workflows/build_msi.yml
+++ b/.github/workflows/build_msi.yml
@@ -1,6 +1,7 @@
 name: TestsMSI
 
 on:
+  workflow_dispatch:
   push:
     branches:
     - 'main'

diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml
index ca4476c5090129915a2eb8d3eaddd5ef608a909c..755a4d5e173ee31fa66b0653b04fbc80f1c5f466 100644 (file)
--- a/.github/workflows/doc.yml
+++ b/.github/workflows/doc.yml
@@ -1,6 +1,7 @@
 name: Docs
 
 on:
+  workflow_dispatch:
   #push:
   #  branches:
   #  - 'main'