update actions

.github/workflows/build-on-pr.yml

@@ -11,11 +11,11 @@ jobs:
 
     steps:
     - uses: actions/checkout@v4
-    - name: Set up JDK 21
+    - name: Set up JDK
       uses: actions/setup-java@v4
       with:
-        distribution: 'temurin'
+        distribution: microsoft
-        java-version: 21
+        java-version: 25
         cache: 'gradle'
     - name: Grant execute permission to gradlew
       run: chmod +x gradlew

.github/workflows/devbuild.yml

@@ -12,11 +12,11 @@ jobs:
 
     steps:
     - uses: actions/checkout@v4
-    - name: Set up JDK 21
+    - name: Set up JDK
       uses: actions/setup-java@v4
       with:
-        distribution: 'temurin'
+        distribution: microsoft
-        java-version: 21
+        java-version: 25
         cache: 'gradle'
     - name: Grant execute permission to gradlew
       run: chmod +x gradlew

.github/workflows/publish-release.yml

@@ -81,11 +81,11 @@ jobs:
         uses: actions/checkout@v4
         with:
           ref: ${{ steps.getbranchinfo.outputs.branchname }}
-      - name: Set up JDK 21
+      - name: Set up JDK
         uses: actions/setup-java@v4
         with:
-          distribution: 'temurin'
+          distribution: microsoft
-          java-version: 21
+          java-version: 25
           cache: 'gradle'
       - name: Grant execute permission to gradlew
         run: chmod +x gradlew
@@ -167,11 +167,11 @@ jobs:
     steps:
       - name: Checkout Carpet sources
         uses: actions/checkout@v4
-      - name: Set up JDK 21
+      - name: Set up JDK
         uses: actions/setup-java@v4
         with:
-          distribution: 'temurin'
+          distribution: microsoft
-          java-version: 21
+          java-version: 25
           cache: 'gradle'
       - name: Checkout wiki
         uses: actions/checkout@v4