chore: use Java 17 when building the scaladoc

Author: hamzaremmal

.github/workflows/ci.yaml

@@ -719,6 +719,9 @@ jobs:
       - name: Cleanup
         run: .github/workflows/cleanup.sh
 
+      - name: Set JDK 17 as default
+        run: echo "/usr/lib/jvm/java-17-openjdk-amd64/bin" >> $GITHUB_PATH
+
       - name: Git Checkout
         uses: actions/checkout@v5
 
@@ -859,7 +862,7 @@ jobs:
           scala3-${{ env.RELEASE_TAG }}*.zip \
           scala3-${{ env.RELEASE_TAG }}*.tar.gz \
           scala3-${{ env.RELEASE_TAG }}*.sha256 \
-          scala3-${{ env.RELEASE_TAG }}.msi 
+          scala3-${{ env.RELEASE_TAG }}.msi
 
       - name: Publish Release
         run: ./project/scripts/sbtPublish ";project scala3-bootstrapped ;publishSigned ;sonaUpload"