build: Change GitHub workflow to only test publishing

.github/workflows/gradle.yml

@@ -1,28 +1,18 @@
 # This workflow will build a Java project with Gradle
 # For more information see: https://help.github.com/actions/language-and-framework-guides/building-and-testing-java-with-gradle
 
-name: Java CI with Gradle
+name: Test publishing with a hardcoded version
 
-on:
-  push:
-    branches:
-      # Only on push events on master and mps branches
-      - master
-      - mps/*
-  workflow_dispatch:
+on: [push]
 jobs:
   build:
-
     runs-on: ubuntu-latest
-
     steps:
       - uses: actions/checkout@v4
-      - name: Set up JDK 11
+      - name: Set up JDK
         uses: actions/setup-java@v4
         with:
-          java-version: '11'
-          distribution: 'adopt'
-      - name: Grant execute permission for gradlew
-        run: chmod +x gradlew
-      - name: Build with Gradle
-        run: ./gradlew publishAllPublicationsToGitHubPackagesRepository -Pgpr.user=${{github.actor}} -Pgpr.token=${{ secrets.GITHUB_TOKEN }}
+          java-version: '17'
+          distribution: 'temurin'
+      - name: Test publishing
+        run: ./gradlew publishToMavenLocal -Pjdk_version=21.0.4 -Pjdk_build=b631.2