Publish 17.0.10-b1087.23 (#23)

* Publish 17.0.10-b1087.23 * add workflow_dispatch to gradle.yml
mbeddr · May 15, 2024 · 0474517 · 0474517
1 parent 6f15c20
commit 0474517
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
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:
 

diff --git a/gradle.properties b/gradle.properties
@@ -1,2 +1,2 @@
 jdk_version = 17.0.10
-jdk_build   = b1000.50
+jdk_build   = b1087.23