Explicitly set SDKman's make-default to false

2024-05-23 11:06:27 +02:00
parent 86c206a849
commit dffdd6d67c
1 changed files with 1 additions and 0 deletions
--- 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 }}