Add manual button for publishing site (#6000)

line · Nov 22, 2024 · c4e8fed · c4e8fed
1 parent 40beab1
commit c4e8fed
Showing 1 changed file with 11 additions and 1 deletion.
diff --git 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