ci: add 'workflow_dispath' to all workflows

.github/workflows/base.yml

@@ -4,6 +4,7 @@ on:
   push:
   schedule:
     - cron: '0 0 * * 5'
+  workflow_dispatch:
   repository_dispatch:
     types: [ base ]
 

.github/workflows/doc.yml

@@ -9,6 +9,7 @@ on:
       - 'graph/**'
   schedule:
     - cron: '0 0 * * 4'
+  workflow_dispatch:
   repository_dispatch:
     types: [ doc ]
 

.github/workflows/formal.yml

@@ -4,6 +4,7 @@ on:
   push:
   schedule:
     - cron: '0 0 * * 5'
+  workflow_dispatch:
   repository_dispatch:
     types: [ formal ]
 

.github/workflows/ghdl-yosys-plugin.yml

@@ -4,6 +4,7 @@ on:
   push:
   schedule:
     - cron: '0 0 * * 5'
+  workflow_dispatch:
   repository_dispatch:
     types: [ ghdl-yosys-plugin ]
 

.github/workflows/ghdl.yml

@@ -4,6 +4,7 @@ on:
   push:
   schedule:
     - cron: '0 0 * * 5'
+  workflow_dispatch:
   repository_dispatch:
     types: [ ghdl ]
 

.github/workflows/gtkwave.yml

@@ -4,6 +4,7 @@ on:
   push:
   schedule:
     - cron: '0 0 * * 5'
+  workflow_dispatch:
   repository_dispatch:
     types: [ gtkwave ]
 

.github/workflows/icestorm.yml

@@ -4,6 +4,7 @@ on:
   push:
   schedule:
     - cron: '0 0 * * 5'
+  workflow_dispatch:
   repository_dispatch:
     types: [ icestorm ]
 

.github/workflows/impl.yml

@@ -4,6 +4,7 @@ on:
   push:
   schedule:
     - cron: '0 0 * * 5'
+  workflow_dispatch:
   repository_dispatch:
     types: [ impl ]
 

.github/workflows/nextpnr.yml

@@ -4,6 +4,7 @@ on:
   push:
   schedule:
     - cron: '0 0 * * 5'
+  workflow_dispatch:
   repository_dispatch:
     types: [ nextpnr ]
 

.github/workflows/prjtrellis.yml

@@ -4,6 +4,7 @@ on:
   push:
   schedule:
     - cron: '0 0 * * 5'
+  workflow_dispatch:
   repository_dispatch:
     types: [ prjtrellis ]
 

.github/workflows/prog.yml

@@ -4,6 +4,7 @@ on:
   push:
   schedule:
     - cron: '0 0 * * 5'
+  workflow_dispatch:
   repository_dispatch:
     types: [ prog ]
 

.github/workflows/symbiyosys.yml

@@ -4,6 +4,7 @@ on:
   push:
   schedule:
     - cron: '0 0 * * 5'
+  workflow_dispatch:
   repository_dispatch:
     types: [ symbiyosys ]
 

.github/workflows/yosys.yml

@@ -4,6 +4,7 @@ on:
   push:
   schedule:
     - cron: '0 0 * * 5'
+  workflow_dispatch:
   repository_dispatch:
     types: [ yosys ]
 

.github/workflows/z3.yml

@@ -4,6 +4,7 @@ on:
   push:
   schedule:
     - cron: '0 0 * * 5'
+  workflow_dispatch:
   repository_dispatch:
     types: [ z3 ]