From ed0a3fd90845ebfa6a851c7c5d712a0ba0dcaa69 Mon Sep 17 00:00:00 2001 From: Andy Wilkinson Date: Thu, 23 May 2024 12:58:55 +0100 Subject: [PATCH] Update publish-to-sdkman job to make new candidates the default Closes gh-40882 --- .github/workflows/release.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 807b51b88440..1a91a38e5155 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -102,7 +102,7 @@ jobs: - name: Publish to SDKMAN! uses: ./.github/actions/publish-to-sdkman with: - make-default: false + make-default: true sdkman-consumer-key: ${{ secrets.SDKMAN_CONSUMER_KEY }} sdkman-consumer-token: ${{ secrets.SDKMAN_CONSUMER_TOKEN }} spring-boot-version: ${{ needs.build-and-stage-release.outputs.version }}