From 1997ab948ed20fb63c8fd92308b4c5ad964f21ce Mon Sep 17 00:00:00 2001
From: rdk <rdk@users.noreply.github.com>
Date: Sat, 21 Mar 2026 18:42:22 +0100
Subject: [PATCH] switch CI Java distribution from temurin to oracle

---
 .github/workflows/develop.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/develop.yml b/.github/workflows/develop.yml
index 1e52a07e..b53730ba 100644
--- a/.github/workflows/develop.yml
+++ b/.github/workflows/develop.yml
@@ -28,7 +28,7 @@ jobs:
       uses: actions/setup-java@v5
       with:
         java-version: ${{ matrix.java-version }}
-        distribution: 'temurin'
+        distribution: 'oracle'
         cache: 'gradle'
 
     - name: Check dependencies