github workflow: Add optional ssh session.

mtwebster · mtwebster · commit 93fc7272d605 · 2023-05-08T19:47:18.000-04:00
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -8,6 +8,12 @@ on:
     branches:
       - master
   workflow_dispatch:
+    inputs:
+      debug_enabled:
+        type: boolean
+        description: 'Start an SSH server on failure.'
+        required: false
+        default: false
 
 jobs:
   build:
