From cf5b6903f1f18dad7d19622e7e5fa00d9f39041b Mon Sep 17 00:00:00 2001
From: zkldi <20380519+zkldi@users.noreply.github.com>
Date: Thu, 18 Aug 2022 02:33:02 +0100
Subject: [PATCH] ci: workflow should deploy for server

this might be a footgun in the future, who knows.
I feel like having a dedicated button for "deploy" disguised as "run
workflow" might result in an accidental deploy. ah well.
---
 .github/workflows/server.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/server.yml b/.github/workflows/server.yml
index 9d4ee8d09..64f060500 100644
--- a/.github/workflows/server.yml
+++ b/.github/workflows/server.yml
@@ -72,7 +72,7 @@ jobs:
     defaults:
       run:
         working-directory: ./server
-    if: github.event_name == 'push'
+    if: ${{ github.event_name == 'push' || github.event_name == 'workflow_dispatch' }}
     steps:
       - name: Checkout
         uses: actions/checkout@v2
@@ -114,7 +114,7 @@ jobs:
     defaults:
       run:
         working-directory: ./server
-    if: github.event_name == 'push'
+    if: ${{ github.event_name == 'push' || github.event_name == 'workflow_dispatch' }}
     steps:
       - name: Deploy to staging
         if: github.ref == 'refs/heads/staging'