From 53d1079282ca1f9855366cee31ffe23fcc1bdbc9 Mon Sep 17 00:00:00 2001
From: Marc Philipp <mail@marcphilipp.de>
Date: Tue, 2 Jan 2024 15:00:53 +0100
Subject: [PATCH] Use graalvm-community distribution

---
 .github/workflows/main.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index dca956b18bdf..11bf219fd541 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -30,8 +30,10 @@ jobs:
     - name: Install GraalVM
       uses: graalvm/setup-graalvm@v1
       with:
+        distribution: graalvm-community
         version: 'latest'
         java-version: '21'
+        set-java-home: false
         github-token: ${{ secrets.GITHUB_TOKEN }}
     - name: Build
       uses: ./.github/actions/main-build