From b83a0adb19a4f89b2ad965c7b82fcd368a5f8769 Mon Sep 17 00:00:00 2001
From: Irmen de Jong <irmen@razorvine.net>
Date: Tue, 12 Oct 2021 18:17:50 +0200
Subject: [PATCH] Update gradle.yml

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

diff --git a/.github/workflows/gradle.yml b/.github/workflows/gradle.yml
index cb0ca6de6..48678d125 100644
--- a/.github/workflows/gradle.yml
+++ b/.github/workflows/gradle.yml
@@ -1,7 +1,7 @@
 # This workflow will build a Java project with Gradle and cache/restore any dependencies to improve the workflow execution time
 # For more information see: https://help.github.com/actions/language-and-framework-guides/building-and-testing-java-with-gradle
 
-name: Java CI with Gradle
+name: CI with Gradle
 
 on:
   push:
@@ -9,6 +9,10 @@ on:
   pull_request:
     branches: [ master v7.1 ]
 
+  # Allows you to run this workflow manually from the Actions tab
+  workflow_dispatch:
+  
+
 jobs:
   build: