button

ORNL · Nov 29, 2023 · b7dbf57 · b7dbf57
1 parent fd3d082
commit b7dbf57
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/pre_commit.yaml b/.github/workflows/pre_commit.yaml
@@ -3,6 +3,10 @@ name: pre-commit GitHub Action
 # Won't run on develop/main directly
 on:
  workflow_dispatch: 
+    inputs:
+      branch:
+        description: 'The branch to build'
+        required: true
 
 jobs:
   pre-commit: