Would it be suitable to make the installation of SDKMAN optional?
Then it wouldn't re-install it again, and could thus be faster, in cases like:
- I have a self-hosted runner with SDKMAN already pre-installed
- I have already installed SDKMAN via
asdf
(or similar)