add workflow_dispatch to gradle.yml

mbeddr · May 15, 2024 · fd03b49 · fd03b49
1 parent 8c7817f
commit fd03b49
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/gradle.yml b/.github/workflows/gradle.yml
@@ -9,7 +9,7 @@ on:
       # Only on push events on master and mps branches
       - master
       - mps/*
-
+  workflow_dispatch:
 jobs:
   build: