From b33ceddd1c5e48a53b3a0a1c80e4044070a9ee38 Mon Sep 17 00:00:00 2001
From: Benedikt Schesch <bschesch@amazon.com>
Date: Mon, 6 May 2024 23:18:56 -0700
Subject: [PATCH] More finetuned java version

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

diff --git a/.github/workflows/check-reproducibility.yml b/.github/workflows/check-reproducibility.yml
index 28c375937e..beda1d6489 100644
--- a/.github/workflows/check-reproducibility.yml
+++ b/.github/workflows/check-reproducibility.yml
@@ -13,7 +13,7 @@ jobs:
     - uses: actions/setup-java@v4
       with:
         distribution: 'zulu'
-        java-version: 17
+        java-version: 17.0.7
     - run: echo "JAVA17_HOME=$JAVA_HOME" >> $GITHUB_ENV
     - run: java -version
     - uses: actions/checkout@v4