Fix publish-sdkman for hotfix release. Don't set release as default a…

…nd use fixed DOTTY_VERSION

.github/workflows/scripts/publish-sdkman.sh

@@ -10,7 +10,7 @@
 set -u
 
 # latest stable dotty version
-DOTTY_VERSION=$(curl -s https://api.github.com/repos/scala/scala3/releases/latest  | grep '"tag_name":' | sed -E 's/.*"([^"]+)".*/\1/')
+DOTTY_VERSION=3.4.3
 DOTTY_URL="https://github.com/scala/scala3/releases/download/$DOTTY_VERSION/scala3-$DOTTY_VERSION.zip"
 
 # checking if dotty version is available
@@ -34,17 +34,17 @@ if [[ $? -ne 0 ]]; then
   exit 1
 fi
 
-# Set DOTTY_VERSION as Default for Candidate
-curl --silent --show-error --fail \
-    -X PUT \
-    -H "Consumer-Key: $SDKMAN_KEY" \
-    -H "Consumer-Token: $SDKMAN_TOKEN" \
-    -H "Content-Type: application/json" \
-    -H "Accept: application/json" \
-    -d '{"candidate": "scala", "version": "'"$DOTTY_VERSION"'"}' \
-    https://vendors.sdkman.io/default
-
-if [[ $? -ne 0 ]]; then
-  echo "Fail sending PUT request to announcing the release of scala on SDKMAN."
-  exit 1
-fi
+# # Set DOTTY_VERSION as Default for Candidate
+# curl --silent --show-error --fail \
+#     -X PUT \
+#     -H "Consumer-Key: $SDKMAN_KEY" \
+#     -H "Consumer-Token: $SDKMAN_TOKEN" \
+#     -H "Content-Type: application/json" \
+#     -H "Accept: application/json" \
+#     -d '{"candidate": "scala", "version": "'"$DOTTY_VERSION"'"}' \
+#     https://vendors.sdkman.io/default
+
+# if [[ $? -ne 0 ]]; then
+#   echo "Fail sending PUT request to announcing the release of scala on SDKMAN."
+#   exit 1
+# fi