From 76770215b7ced67a70c9762dc6ebb9489b715ecc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Claus=20R=C3=B8rbech?= <claus.rorbech@gmail.com>
Date: Wed, 7 Aug 2024 11:51:32 +0200
Subject: [PATCH] Use Java 17 for setting up Android SDK

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

diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
index c95abf5716..bf138c4591 100644
--- a/.github/workflows/pr.yml
+++ b/.github/workflows/pr.yml
@@ -484,7 +484,7 @@ jobs:
       - name: Install NDK
         run: sdkmanager --install "ndk;${{ env.NDK_VERSION }}"
         env:
-          JAVA_HOME: ${{ env.JAVA_HOME_17_X64 }}
+          JAVA_HOME: ${{ env.JAVA_HOME_17_ARM64 }}
 
       # We cannot use artifacts as they cannot be shared between workflows, so use cache instead.
       - name: Setup build cache