Change the default version of your SDK in SDKMAN! using GitHub Actions - View it on GitHub