From cdb90c9a8d20d7b354daf5a5115ac72159d0ed07 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rg=20Prante?= <joergprante@gmail.com>
Date: Mon, 7 Nov 2022 19:53:29 +0100
Subject: [PATCH] switch to zulu 17 in codeql

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

diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
index 9c6a0fb..1491bb7 100644
--- a/.github/workflows/codeql.yml
+++ b/.github/workflows/codeql.yml
@@ -43,7 +43,7 @@ jobs:
     - name: Setup Java JDK
       uses: actions/setup-java@v3.5.1
       with:
-        distribution: 'temurin'
+        distribution: 'zulu'
         java-version: '17'
 
     # Initializes the CodeQL tools for scanning.