From 80dcb3f8aa05ed3995261f9453d13385e5f53cf9 Mon Sep 17 00:00:00 2001
From: Marcel R <github.riga@icloud.com>
Date: Sun, 5 Nov 2023 11:47:09 +0100
Subject: [PATCH] Use input choice.

---
 .github/workflows/deploy_images_a9.yml | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/deploy_images_a9.yml b/.github/workflows/deploy_images_a9.yml
index ddfa85d9..d20fe6bc 100644
--- a/.github/workflows/deploy_images_a9.yml
+++ b/.github/workflows/deploy_images_a9.yml
@@ -4,9 +4,13 @@ on:
   workflow_dispatch:
     inputs:
       push_image:
-        description: "Push image to DockerHub? (true|false)"
-        required: false
+        description: "Push image to DockerHub?"
+        type: choice
+        required: true
         default: "false"
+        options:
+          - "true"
+          - "false"
 
       specific_job:
         description: "Run a specific job? (py37|py38|py39|py310|py311)"