Add workflow_dispatch option to github actions (#192)

emgarten · Apr 19, 2024 · fa5460b · fa5460b
1 parent 6566326
commit fa5460b
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/.github/workflows/dotnet.yml b/.github/workflows/dotnet.yml
@@ -14,6 +14,12 @@ on:
     paths-ignore:
       - 'doc/**'
       - '*.md'
+  workflow_dispatch:
+    inputs:
+      branch:
+        description: 'Branch to run on'
+        required: true
+        default: 'main'
 
 jobs:
   build-linux:

diff --git a/.github/workflows/functional.yml b/.github/workflows/functional.yml
@@ -11,6 +11,12 @@ on:
     paths-ignore:
       - 'doc/**'
       - '*.md'
+  workflow_dispatch:
+    inputs:
+      branch:
+        description: 'Branch to run on'
+        required: true
+        default: 'main'
 
 jobs:
   build-linux: