From d24a49ef0356ad8049d59d8b3269a86984850f46 Mon Sep 17 00:00:00 2001
From: Abdul Rabbani <abdulrabbani00@gmail.com>
Date: Thu, 31 Mar 2022 14:14:34 -0400
Subject: [PATCH] Add Workflow dispatch for docker builds

---
 .github/workflows/on-master.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/on-master.yaml b/.github/workflows/on-master.yaml
index 1e0a2bd69..7f2108af1 100644
--- a/.github/workflows/on-master.yaml
+++ b/.github/workflows/on-master.yaml
@@ -1,6 +1,7 @@
 name: Docker Build and publish to Github
 
 on:
+  workflow_dispatch:
   push:
     branches:
       - statediff