From 06fc95ec5b2e0e2e5ad188b44c06667df53f6255 Mon Sep 17 00:00:00 2001
From: Jesse Y Lin <jesseyounglin@gmail.com>
Date: Wed, 26 Jul 2023 16:09:32 +0200
Subject: [PATCH] ci: add necessary input to workflow dispatch

---
 .github/workflows/build-images.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/build-images.yml b/.github/workflows/build-images.yml
index c4c2c10..171ff57 100644
--- a/.github/workflows/build-images.yml
+++ b/.github/workflows/build-images.yml
@@ -2,6 +2,10 @@ name: Build container images
 
 on:
   workflow_dispatch:
+    inputs:
+      push-images:
+        required: true
+        type: boolean
   pull_request:
   workflow_call:
     inputs: