From 71d8e6e4a9b9021a8b9598547b6160312bd27190 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Tue, 23 Jun 2026 13:57:45 +0000
Subject: [PATCH 1/4] Initial plan


From 759db6c8452cd9c7a9dc9e58d498e02a697c22d8 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Tue, 23 Jun 2026 14:01:14 +0000
Subject: [PATCH 2/4] Fix build workflow to run Gradle project build

---
 .github/workflows/makefile.yml | 19 ++++++++-----------
 1 file changed, 8 insertions(+), 11 deletions(-)

diff --git a/.github/workflows/makefile.yml b/.github/workflows/makefile.yml
index 8789c17..5ad0446 100644
--- a/.github/workflows/makefile.yml
+++ b/.github/workflows/makefile.yml
@@ -1,4 +1,4 @@
-name: Makefile CI
+name: Gradle CI
 
 on:
   push:
@@ -14,14 +14,11 @@ jobs:
     steps:
     - uses: actions/checkout@v4
 
-    - name: configure
-      run: ./configure
+    - name: Set up JDK 21
+      uses: actions/setup-java@v4
+      with:
+        distribution: temurin
+        java-version: "21"
 
-    - name: Install dependencies
-      run: make
-
-    - name: Run check
-      run: make check
-
-    - name: Run distcheck
-      run: make distcheck
+    - name: Build with Gradle
+      run: gradle build --no-daemon

From 44076ee2143f9be5c81e194842950b00bdd93452 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Tue, 23 Jun 2026 14:02:34 +0000
Subject: [PATCH 3/4] Fix CI workflow to build with Gradle

---
 .github/workflows/makefile.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/makefile.yml b/.github/workflows/makefile.yml
index 5ad0446..1687aff 100644
--- a/.github/workflows/makefile.yml
+++ b/.github/workflows/makefile.yml
@@ -19,6 +19,7 @@ jobs:
       with:
         distribution: temurin
         java-version: "21"
+        cache: gradle
 
     - name: Build with Gradle
       run: gradle build --no-daemon

From 514af015e5d4263d8b6f7f9241f186a2b51f0a2d Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Tue, 23 Jun 2026 14:06:36 +0000
Subject: [PATCH 4/4] fix(ci): use JDK 25 for Gradle build workflow

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

diff --git a/.github/workflows/makefile.yml b/.github/workflows/makefile.yml
index 1687aff..0f0c785 100644
--- a/.github/workflows/makefile.yml
+++ b/.github/workflows/makefile.yml
@@ -14,11 +14,11 @@ jobs:
     steps:
     - uses: actions/checkout@v4
 
-    - name: Set up JDK 21
+    - name: Set up JDK 25
       uses: actions/setup-java@v4
       with:
         distribution: temurin
-        java-version: "21"
+        java-version: "25"
         cache: gradle
 
     - name: Build with Gradle