From 55ed38220373b84373dd691d1a2abf80b2a2c77a Mon Sep 17 00:00:00 2001
From: Andreas Billmann <andreas@billmann.de>
Date: Mon, 20 Oct 2025 21:25:04 +0200
Subject: [PATCH] Update JDK version from 17 to 25 in workflow

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

diff --git a/.github/workflows/build-and-test.yml b/.github/workflows/build-and-test.yml
index 4bd274f..e372742 100644
--- a/.github/workflows/build-and-test.yml
+++ b/.github/workflows/build-and-test.yml
@@ -9,10 +9,10 @@ jobs:
 
     steps:
     - uses: actions/checkout@v2
-    - name: Set up JDK 17
+    - name: Set up JDK 25
       uses: actions/setup-java@v1
       with:
-        java-version: 17
+        java-version: 25
     - name: Grant execute permission for gradlew
       run: chmod +x gradlew
     - name: Build with Gradle