[ci] Add workflow_dispatch in the "on" property

vvaltchev · Jun 4, 2024 · 910ae5a · 910ae5a
1 parent bc4acfe
commit 910ae5a
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -1,5 +1,5 @@
 name: Coverage
-on: [pull_request, push]
+on: [pull_request, push, workflow_dispatch]
 
 env:
   BUILD_TYPE: Debug

diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml
@@ -1,5 +1,5 @@
 name: Linux
-on: [pull_request, push]
+on: [pull_request, push, workflow_dispatch]
 
 jobs:
   build:

diff --git a/.github/workflows/macos.yml b/.github/workflows/macos.yml
@@ -1,5 +1,5 @@
 name: MacOSX
-on: [pull_request, push]
+on: [pull_request, push, workflow_dispatch]
 
 env:
   BUILD_TYPE: Debug

diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml
@@ -1,5 +1,5 @@
 name: Windows
-on: [pull_request, push]
+on: [pull_request, push, workflow_dispatch]
 
 jobs:
   build: