From ece18b18ddd83b790da525c7f76933df92606ee1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Stephan=20A=C3=9Fmus?= <stephan.assmus@sap.com>
Date: Mon, 9 Oct 2023 09:52:27 +0200
Subject: [PATCH] Force Java 17 for CodeQL, same as in normal CI workflow (#88)

---
 .github/workflows/build-sanity.yaml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.github/workflows/build-sanity.yaml b/.github/workflows/build-sanity.yaml
index b18acdb08..8119ae288 100644
--- a/.github/workflows/build-sanity.yaml
+++ b/.github/workflows/build-sanity.yaml
@@ -207,6 +207,13 @@ jobs:
       - name: Checkout repository
         uses: actions/checkout@v3
 
+      # Force Java 17
+      - name: Setup Java
+        uses: actions/setup-java@v3
+        with:
+          distribution: "temurin"
+          java-version: 17
+
       # Initializes the CodeQL tools for scanning.
       - name: Initialize CodeQL
         uses: github/codeql-action/init@v2