From cca0864911d9b90f1d1a39993ca4c8573bde55b1 Mon Sep 17 00:00:00 2001
From: Cameron Pettit <71421099+cameronpettit@users.noreply.github.com>
Date: Tue, 14 May 2024 08:28:47 -0700
Subject: [PATCH] NOBUG - Allowing manual deploy of dev.

Dev will deploy on PR merge still. Now can redeploy dev manually as well.
---
 .github/workflows/deploy_dev.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/deploy_dev.yaml b/.github/workflows/deploy_dev.yaml
index 215f0f8..07f8d30 100644
--- a/.github/workflows/deploy_dev.yaml
+++ b/.github/workflows/deploy_dev.yaml
@@ -3,6 +3,7 @@ name: Deploy Dev
 on:
   push:
     branches: [main]
+  workflow_dispatch:
 
 env:
   TF_VERSION: 0.14.7