Allow draft releases from manual workflow

.github/workflows/release.yml

@@ -2,6 +2,11 @@ name: release
 
 on:
   workflow_dispatch:
+    inputs:
+      draft:
+        description: Create as a draft release
+        type: boolean
+        default: false
 
 concurrency:
   group: interview-release
@@ -96,6 +101,10 @@ jobs:
       - name: Create release and upload assets
         run: |
           TAG="${{ steps.version.outputs.version }}"
+          release_options=()
+          if [[ "$DRAFT" == "true" ]]; then
+            release_options+=(--draft)
+          fi
           NOTES_FILE="$(mktemp)"
           {
             echo "Auto-generated interview assets."
@@ -131,9 +140,11 @@ jobs:
             --target "$GITHUB_SHA" \
             --title "Implementations $TAG" \
             --notes-file "$NOTES_FILE" \
+            "${release_options[@]}" \
             release-assets/*
         env:
           GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          DRAFT: ${{ inputs.draft }}
         shell: bash
 
       - name: Delete interview releases older than 100 days