From c4e8fed525d5a0d12824c7c008e3314dc6c911a6 Mon Sep 17 00:00:00 2001
From: minux <minu.song@linecorp.com>
Date: Fri, 22 Nov 2024 18:24:08 +0900
Subject: [PATCH] Add manual button for publishing site (#6000)

---
 .github/workflows/publish-site.yml | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/publish-site.yml b/.github/workflows/publish-site.yml
index 67e34bcb5b7..9311acb3874 100644
--- a/.github/workflows/publish-site.yml
+++ b/.github/workflows/publish-site.yml
@@ -1,6 +1,12 @@
 name: Publish Armeria site
 
 on:
+  workflow_dispatch:
+    inputs:
+      version:
+        description: 'Release Version'
+        required: true
+        type: string
   push:
     tags:
       - armeria-*
@@ -32,7 +38,11 @@ jobs:
 
       - name: Build the site
         run: |
-          ./gradlew --no-daemon --stacktrace  --max-workers=2 --parallel -PgithubToken=${{ secrets.GITHUB_TOKEN }} site
+          if [ "${{ github.event_name }}" == "workflow_dispatch" ]; then
+            ./gradlew --no-daemon --stacktrace --max-workers=2 --parallel -PgithubToken=${{ secrets.GITHUB_TOKEN }} -Pversion=${{ inputs.version }} site
+          else
+            ./gradlew --no-daemon --stacktrace --max-workers=2 --parallel -PgithubToken=${{ secrets.GITHUB_TOKEN }} site
+          fi
 
       - name: Deploy the site
         uses: peaceiris/actions-gh-pages@v4