add a way to manually trigger interop runs via the GitHub interface (#483)

* add a way to manually trigger interop runs via the GitHub interface

* use boolean type for upload_results workflow_dispatch input (#484)

* Initial plan

* fix: use boolean type for upload_results input and drop redundant required

Co-authored-by: marten-seemann <1478487+marten-seemann@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: marten-seemann <1478487+marten-seemann@users.noreply.github.com>

---------

Co-authored-by: Copilot <198982749+Copilot@users.noreply.github.com>
Co-authored-by: marten-seemann <1478487+marten-seemann@users.noreply.github.com>

Author: marten-seemann

.github/workflows/interop-manual.yml

@@ -0,0 +1,26 @@
+name: Interop Manual
+on:
+  workflow_dispatch:
+    inputs:
+      protocol:
+        description: Protocol to run
+        required: true
+        type: choice
+        options:
+          - quic
+          - webtransport
+      upload_results:
+        description: Upload results to interop.seemann.io
+        type: boolean
+        default: false
+
+jobs:
+  run:
+    uses: ./.github/workflows/interop.yml
+    with:
+      protocol: ${{ inputs.protocol }}
+      implementations_file: ${{ inputs.protocol == 'quic' && 'implementations_quic.json' || 'implementations_webtransport.json' }}
+      upload_dir: ${{ inputs.protocol == 'quic' && vars.LOG_DIR_QUIC || vars.LOG_DIR_WEBTRANSPORT }}
+      upload_results: ${{ inputs.upload_results }}
+      run_measurements: ${{ inputs.protocol == 'quic' }}
+    secrets: inherit