From 7775f0cdae409b10dc6872b2a1f534a908daf2a4 Mon Sep 17 00:00:00 2001
From: Michael Rittmeister <michael@rittmeister.in>
Date: Mon, 26 Aug 2024 17:13:10 +0200
Subject: [PATCH] Deploy gradle plugin with workflow_dispatch

---
 .github/workflows/gradle_plugin_ci.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/gradle_plugin_ci.yml b/.github/workflows/gradle_plugin_ci.yml
index 68acb7861..321dfcac8 100644
--- a/.github/workflows/gradle_plugin_ci.yml
+++ b/.github/workflows/gradle_plugin_ci.yml
@@ -6,12 +6,15 @@ on:
       - main
     paths:
       - gradle/libs.versions.toml
+      - gradle-plugin
   pull_request:
     paths:
       - gradle-plugin/**
     types:
       - opened
       - synchronize
+  workflow_dispatch:
+
 
 env:
   BUILD_PLUGIN_CI: true
@@ -37,5 +40,5 @@ jobs:
       - name: Update dependency list
         run: ./rebuild-plugin-dependency-list.sh
       - name: Gradle Publish
-        if: "github.event_name == 'push'"
+        if: "github.event_name == 'push' || github.event_name == 'workflow_dispatch'"
         run: ./gradlew :gradle-plugin:publishPlugins