From e94bd61c950f66dbaab890963ee4672da8ffee6e Mon Sep 17 00:00:00 2001
From: Jaifroid <egk10@cam.ac.uk>
Date: Wed, 5 Jul 2023 02:13:22 +0100
Subject: [PATCH] Specify choices as dropdown in workflows

---
 .github/workflows/build-electron.yml  | 5 +++++
 .github/workflows/publish-docker.yaml | 4 ++++
 2 files changed, 9 insertions(+)

diff --git a/.github/workflows/build-electron.yml b/.github/workflows/build-electron.yml
index 58793b87..039345dc 100644
--- a/.github/workflows/build-electron.yml
+++ b/.github/workflows/build-electron.yml
@@ -13,8 +13,13 @@ on:
         required: false
         default: ''
       target:
+        type: choice
         description: Do you wish to build for "release", "nightly", or "artefacts" for testing? Artefacts will appear under the workflow run.
         required: false
+        options:
+          - release
+          - nightly
+          - artefacts
         default: 'artefacts'
 env:
   INPUT_VERSION: ${{ github.event.inputs.version }}
diff --git a/.github/workflows/publish-docker.yaml b/.github/workflows/publish-docker.yaml
index 4cb8c0f6..a6960b77 100644
--- a/.github/workflows/publish-docker.yaml
+++ b/.github/workflows/publish-docker.yaml
@@ -24,7 +24,11 @@ on:
         default: ''
       target:
         description: 'Set the target to update: "ghpages" or "docker" (will update GitHub Pages by default)'
+        type: choice
         required: false
+        options:
+          - ghpages
+          - docker
         default: ghpages  
 
 jobs: