From 797964a3f7e4d540893f14c937d13cc5d3663201 Mon Sep 17 00:00:00 2001
From: "Zaiming (Stone) Shi" <zmstone@gmail.com>
Date: Sat, 18 Jun 2022 00:57:54 +0200
Subject: [PATCH] ci: add profile as input for build_packages workflow

---
 .github/workflows/build_packages.yaml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build_packages.yaml b/.github/workflows/build_packages.yaml
index f6bfee68a..f99184002 100644
--- a/.github/workflows/build_packages.yaml
+++ b/.github/workflows/build_packages.yaml
@@ -15,7 +15,9 @@ on:
     - e*
   workflow_dispatch:
     inputs:
-      which_branch:
+      branch_or_tag:
+        required: false
+      profile:
         required: false
 
 jobs: