From 0a349cb0f031adeb82c0f983d165b0711aa56e6d Mon Sep 17 00:00:00 2001
From: Bart Geesink <bart.geesink@surf.nl>
Date: Mon, 15 Jan 2024 16:44:32 +0100
Subject: [PATCH] GHA: Add workflow dispatch option to the build action. Allows
 for a SNAPSHOT build to be triggered from the github cli or the github
 webinterface

---
 .github/workflows/deploy.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index 109f18db6..482cd973b 100644
--- a/.github/workflows/deploy.yml
+++ b/.github/workflows/deploy.yml
@@ -4,6 +4,7 @@ on:
   push:
     tags:
       - "*"
+  workflow_dispatch:
 
 jobs:
   deployment: