From 159a211bf582f2248926d71e32ca8f1e992ebd1f Mon Sep 17 00:00:00 2001
From: Gerard Paligot <gerard.paligot@gmail.com>
Date: Tue, 31 Oct 2023 15:55:18 +0100
Subject: [PATCH] chore(github): use Java 17 to build with GA.

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

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 15c8cee..f2a8f95 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -11,10 +11,10 @@ jobs:
 
     steps:
       - uses: actions/checkout@v2
-      - name: set up JDK 11
+      - name: set up JDK 17
         uses: actions/setup-java@v1
         with:
-          java-version: 11
+          java-version: 17
       - name: Build with Gradle
         run: |
           ./gradlew build -Dorg.gradle.jvmargs=-Xmx1g