From 7808677fb91f269dcbd6703214dbc5aec56fae37 Mon Sep 17 00:00:00 2001
From: tomvahl <49593485+tomvahl@users.noreply.github.com>
Date: Tue, 3 Mar 2020 14:49:08 +0100
Subject: [PATCH] change JDK in CI

---
 .github/workflows/gradle.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/gradle.yml b/.github/workflows/gradle.yml
index 57e19e7..0fbb061 100644
--- a/.github/workflows/gradle.yml
+++ b/.github/workflows/gradle.yml
@@ -14,10 +14,10 @@ jobs:
 
     steps:
     - uses: actions/checkout@v2
-    - name: Set up JDK 11
+    - name: Set up JDK 13
       uses: actions/setup-java@v1
       with:
-        java-version: 11
+        java-version: 13
     - name: Grant execute permission for gradlew
       run: chmod +x gradlew
     - name: Build with Gradle