From dffdd6d67ca0f1b46cf2645439a3552fa6c5f5d2 Mon Sep 17 00:00:00 2001
From: Moritz Halbritter <moritz.halbritter@broadcom.com>
Date: Thu, 23 May 2024 11:06:27 +0200
Subject: [PATCH] Explicitly set SDKman's make-default to false

---
 .github/workflows/release.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 7f5a952c59e1..807b51b88440 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -102,6 +102,7 @@ jobs:
       - name: Publish to SDKMAN!
         uses: ./.github/actions/publish-to-sdkman
         with:
+          make-default: false
           sdkman-consumer-key: ${{ secrets.SDKMAN_CONSUMER_KEY }}
           sdkman-consumer-token: ${{ secrets.SDKMAN_CONSUMER_TOKEN }}
           spring-boot-version: ${{ needs.build-and-stage-release.outputs.version }}