From e688b4f05550d385497018e4a48f6874a9709a99 Mon Sep 17 00:00:00 2001
From: Andreas Textor <textor.andreas@googlemail.com>
Date: Mon, 25 Sep 2023 06:02:53 +0200
Subject: [PATCH] Update build JDK to 17.0.8-graal in actions

---
 .github/workflows/build.yml   | 14 +++++++-------
 .github/workflows/release.yml | 14 +++++++-------
 2 files changed, 14 insertions(+), 14 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index c9c67973..c7fedeaf 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -46,8 +46,8 @@ jobs:
           sudo apt-get install -y graphviz
           sudo apt-get install -y build-essential libz-dev
           sdk list java
-          sdk install java 22.3.1.r17-grl || true
-          sdk use java 22.3.1.r17-grl
+          sdk install java 17.0.8-graal || true
+          sdk use java 17.0.8-graal
           gu install native-image
           unset _JAVA_OPTIONS
           echo Path settings: $PATH
@@ -119,8 +119,8 @@ jobs:
           sdk update
           brew install graphviz
           sdk list java
-          sdk install java 22.3.1.r17-grl || true
-          sdk use java 22.3.1.r17-grl
+          sdk install java 17.0.8-graal || true
+          sdk use java 17.0.8-graal
           gu install native-image
           unset _JAVA_OPTIONS
           echo Path settings: $PATH
@@ -186,11 +186,11 @@ jobs:
           source $HOME/.sdkman/bin/sdkman-init.sh
           sdk update
           sdk list java
-          sdk install java 22.3.1.r17-grl || true
-          sdk use java 22.3.1.r17-grl
+          sdk install java 17.0.8-graal || true
+          sdk use java 17.0.8-graal
           echo Path settings: $PATH
           export PATH=$HOME/.sdkman/candidates/java/current/lib/installer/bin:$PATH
-          export GRAALVM_HOME=$HOME/.sdkman/candidates/java/22.3.1.r17-grl
+          export GRAALVM_HOME=$HOME/.sdkman/candidates/java/17.0.8-graal
           gu install native-image
           find $HOME/.sdkman -type f -name '*native-image*'
           unset _JAVA_OPTIONS
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 95a2e1a0..1b88a833 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -39,8 +39,8 @@ jobs:
           sudo apt-get install -y graphviz
           sudo apt-get install -y build-essential libz-dev
           sdk list java
-          sdk install java 22.3.1.r17-grl || true
-          sdk use java 22.3.1.r17-grl
+          sdk install java 17.0.8-graal || true
+          sdk use java 17.0.8-graal
           gu install native-image
           unset _JAVA_OPTIONS
           echo Path settings: $PATH
@@ -101,8 +101,8 @@ jobs:
           sdk update
           brew install graphviz
           sdk list java
-          sdk install java 22.3.1.r17-grl || true
-          sdk use java 22.3.1.r17-grl
+          sdk install java 17.0.8-graal || true
+          sdk use java 17.0.8-graal
           gu install native-image
           unset _JAVA_OPTIONS
           echo Path settings: $PATH
@@ -158,11 +158,11 @@ jobs:
           source $HOME/.sdkman/bin/sdkman-init.sh
           sdk update
           sdk list java
-          sdk install java 22.3.1.r17-grl || true
-          sdk use java 22.3.1.r17-grl
+          sdk install java 17.0.8-graal || true
+          sdk use java 17.0.8-graal
           echo Path settings: $PATH
           export PATH=$HOME/.sdkman/candidates/java/current/lib/installer/bin:$PATH
-          export GRAALVM_HOME=$HOME/.sdkman/candidates/java/22.3.1.r17-grl
+          export GRAALVM_HOME=$HOME/.sdkman/candidates/java/17.0.8-graal
           gu install native-image
           find $HOME/.sdkman -type f -name '*native-image*'
           unset _JAVA_OPTIONS