ci: Add workflow_dispatch

Author: Mizux

.github/workflows/docker.yml

@@ -1,6 +1,6 @@
 name: Docker
 
-on: [push, pull_request]
+on: [push, pull_request, workflow_dispatch]
 
 jobs:
   build:

.github/workflows/linux.yml

@@ -1,6 +1,6 @@
 name: Linux
 
-on: [push, pull_request]
+on: [push, pull_request, workflow_dispatch]
 
 jobs:
   # Building using the github runner environement directly.

.github/workflows/macos.yml

@@ -1,6 +1,6 @@
 name: MacOS
 
-on: [push, pull_request]
+on: [push, pull_request, workflow_dispatch]
 
 jobs:
   # Building using the github runner environement directly.

.github/workflows/windows.yml

@@ -1,6 +1,6 @@
 name: Windows
 
-on: [push, pull_request]
+on: [push, pull_request, workflow_dispatch]
 
 jobs:
   # Building using the github runner environement directly.